[Effective C++ --011]在operator=中处理“自我赋值”

一、何谓“自我赋值”？

1.1．场合一 直接赋值

w = w;

1.2．场合二 同一数组
        a[i] = a[j]；
1.3．场合三 指针
        *px = *py；
1.4．场合四 同一继承体系
        class Base{...};
        class Derived: class Base{...};

二、 自我赋值时，可能发生的问题
2.1．问题一 使用资源之前，资源已经被释放
例：

class Bitmap{...};
class DeskTop {
...
private:
Bitmap* pb;
};

operator=的可能实现：

DeskTop& DeskTop::operator=(const DeskTop& newDeskTop) {
delete pb;
pb = new Bitmap(*newDeskTop.pb);
return *this;
};

(1)this == &newDeskTop return;
(2)temp = pb;
问题：如果*this与newDeskTop是同一对象的话，问题产生

三、解决自我赋值的方法
2.1．使用对象来管理资源【条款13，14】的话，可以有效的解决 （）
2.2．“来源对象”与“目标对象”的地址

DeskTop& DeskTop::operator=(const DeskTop& newDeskTop) {
if (this == &newDeskTop) return *this;
delete pTemp;
pb = new Bitmap(*newDeskTop.pb);
return *this;
};

问题：new Bitmap(*newDeskTop.pb)出错时，pb还是被删除了。

2.3．精心周到的语句顺序

DeskTop& DeskTop::operator=(const DeskTop& newDeskTop) {
Bitmap* pTemp = pb;
pb = new Bitmap(*newDeskTop.pb);
delete pTemp;
return *this;
};

2.4．copy and swap

void swap (DeskTop& newDeskTop);

DeskTop& DeskTop::operator=(const DeskTop& newDeskTop) {
DeskTop temp(newDeskTop);
swap(temp);
return *this;
};

或者

DeskTop& DeskTop::operator=(const DeskTop newDeskTop) {
swap(newDeskTop);
return *this;
};