|
一、中心思想
1、令赋值操作符返回一个*this的引用；
2、确保“自我赋值”时，operator=有良好行为（特别是异常安全）。。包括比较“来源对象”和“目标对象”的地址、精心周到的语句顺序、以及copy-and-swap;
3、拷贝函数（拷贝构造函数和拷贝操作符）应该确保复制“对象内的所有成员变量”以及“所有基类成分”；
4、不要师徒用某个拷贝函数实现另外一个拷贝函数。。。。应该将共同机能的代码放进第三个函数，并由两个拷贝函数共同调用
二、内容简介
1、如何处理自我赋值，特别是行为像指针的类
（1）几种潜在的自我赋值
1）a[i] = a[j];//i=j的时候，就是自我赋值
2）*px = *py；//当两个指针指向同一个内容时
3）两个对象来自同一个继承体系，不需要声明为相同类型就可能造成别名。
e.g
class Base｛......｝;
class Derived: publilc Base ｛......｝;
void dosomething(const Base& rb, Derived* pd）；//rb和*pd有可能是同一个对象
（2）几种“自我赋值”的处理方式
e.g
考虑如下的类
class Bitmap ｛...｝;
class Widget｛...
......
private:
Bitmap* pb;
｝;
1）不安全的实现版本
Widget& Widget::operator=(const Widget& rhs)
{
delete pb;
pb = new Bitmap(*rhs.pb);
return *this;
}
note:
1、赋值符号右边的对象保持不变；
2、若rhs与*this是同一个对象，那么执行后的this指针可能会指向一个没有内容的对象，即已经被删除的对象。
2）加上证同测试的不安全版本（异常安全问题）
Widget& Widget::operator=(const Widget& rhs)
{
if（this == &rhs） return *this; //证同测试
delete pb;
pb = new Bitmap(*rhs.pb);
return *this;
}
note：
此代码可以避免1）中2的问题。。。
但是，若new Bitmap 出现了问题（分配时内存不足或因为Bitmap的拷贝构造函数抛出异常），不同对象进行赋值时，就会出现问题，导致最终this指针会指向一个被删除的对象。
3）安全版本
Widget& Widget::operator=(const Widget& rhs)
{
Bitmap* cpb = pb; //记住原先的pb；
pb = new Bitmep(*rhs.pb);
delete cpb;
return *this;
}
note：
即使此时new Bitmap 发生异常抛出，原来的pb仍然可以保持原样。。。
3）两种使用swap（）函数的较佳版本
class Widget{
......
void swap(Widget& rhs); //定义自己的swap函数；
......
};
Widget& Widget::operator=(const Widget& rhs)
{
Widget temp（rhs）;
swap(temp);
return *this;
}
或者：
Widget& Widget::operator=( Widget rhs)
{
swap(rhs);
return *this;
}
note:
后者和前者相比：
1、优点：
将复制动作从“函数本体”移至“函数参数构造阶段”可以提高代码的效率；
2、缺点：
可读性没有那么强。
2、拷贝对象时，不要忘记每一个成分（特别是继承体系中）
（1）拷贝函数包括：拷贝构造函数、拷贝操作符函数。。。。对比两者：
1）拷贝构造函数：
进行直接初始化新构造的一个对象；
2）拷贝操作符函数：
只作用于已经初始化的对象，进行赋值操作。符号右边的对象保持不变。。
（2）继承体系中的拷贝操作
note：由于成员变量通常是private， 所以派生类常常无法直接调用，所以通常调用基类的相应拷贝函数。
e.g
PriorityCustomer::PriorityCustomer(const PriorityCustomer& rhs)
：Customer（rhs）, priority(rhs. priority) //调用基类的拷贝函数
{
......
}
PriorityCustomer& PriorityCustomer::operator=(const PriorityCustomer& rhs)
{
. .....
Customer：：operator=(rhs); //调用基类成分进行赋值
priority = rhs.priority;
return *this;
}
| 
转播
