1、潜在的自我赋值
a[i] = a[j];
*px = *py;
当两个对象来自同一个继承体系时,他们甚至不需要声明为相同类型就可能造成别名。
现在担心的问题是:假如指向同一个对象,当其中一个对象被删,另一个也被删,这会造成不想要的结果。
该怎么办?
比如:
widget& widget:: operator+ (const widget& rhs)
{
delete pd;
pd = new bitmap(*rhs.pb);
return *this; //这里假如*this与rhs是同一个对象。则不好处理。
}
解决方案:
1、证同测试
判断是不是同一个对象,如果是同一个对象,则是自我赋值,不用做任何事。
if(this = &rhs) return *this;
2、记住原先的pb,就是在开辟一个空间存放其原来的地址。我们只需记住在复制pb所指东西前别删除pb;
Bitmap * pOrig = pb; //记住原先的pb
pb = new Bitmap(*rhs.pb); //令pb指向*pb的一个副本
delete pOrig; //删除原先的pb
return *this;
3、直接制作一个副本(引用传递)
widget temp(rhs); //为rhs数据制作一个副本
swap(temp);
4、值传递
swap(rhs);
记住:
1、确保党对象自我赋值时,有良好的行为。其中的技术包括以上四种。
2、确保如果任何函数操作一个以上的对象,而其中多个对象是同一个对象时,其行为一定正确。
还记得条款5中提到编译器在必要时会为我们提供拷贝构造函数和拷贝赋值函数,它们也许工作的不错,但有时候我们需要自己编写自己的拷贝构造函数和拷贝赋值函数。如果这样,我们应确保对“每一个”成员进行拷贝(复制)。
如果你在类中添加一个成员变量,你必须同时修改相应的copying函数(所有的构造函数,拷贝构造函数以及拷贝赋值操作符)。
在派生类的构造函数,拷贝构造函数和拷贝赋值操作符中应当显示调用基类相对应的函数,否则编译器可能又“自作聪明了”。
当你编写一个copying函数,请确保:
(1)复制所有local成员变量;
(2)调用所有基类内的适当copying函数。
但是,我们不该令拷贝赋值操作符调用拷贝构造函数,也不该令拷贝构造函数调用拷贝赋值操作符。想想,一个是拷贝(建立对象),一个是赋值(对象已经存在)。
请记住:
Effective C++ 条款11,12 在operator= 中处理“自我赋值” || 复制对象时不要忘记每一个成分,布布扣,bubuko.com
Effective C++ 条款11,12 在operator= 中处理“自我赋值” || 复制对象时不要忘记每一个成分
原文:http://www.cnblogs.com/zhuxuekui/p/3916205.html