effect C++ 在operatro = 中处理“自我赋值”

自我赋值

自我赋值发生在对象被赋值给自己时：

class Widght{...}
Widget w;
...
w=w;   //赋值给自己

赋值动作并不总是那么可被一眼识别出来。

a[i]=a[j];   //如果i和j有相同的值
*px=*py;     //如果px和py恰巧指向同一个东西

如果你尝试自行管理资源，可能会掉进“在停止使用之前意外释放了它的陷阱”。

假设你建立一个class用来保存一个指针指向的一块动态分配的位图：

class Bitmap{...}
class Widget{
 ...
private:
  Bitmap *pb;//指向一个从heap分配而得的对象
}
Widget&Widget::operator=(const Widget& rhs) //不安全的operator=
{
    delete pb;
    pb=new Bitmap(*rhs.pb);
    return *this;
}

operator=函数内的*this 和rhs 有可能是同一个对象。这样delete就不只是销毁当前的bitmap，它也销毁rhs的bitmap。

传统的做法是加一个“证同测试”

Widget&Widget::operator=(const Widget& rhs) //不安全的operator=
{
    if(this==&rhs)return *this;
    delete pb;
    pb=new Bitmap(*rhs.pb);
    return *this;
}

但是，如果“new Bitmap”导致异常（不论是因为分配时内存不足或是因为Bitmap的copy构造函数抛出异常），Widget最终会持有一个指针指向一块被删除的Bitmap.

以下代码，我们只需要注意在复制pb所指东西之前别删除pb:

Widget&Widget::operator=(const Widget& rhs) 
{
     Bitmap* pOrig =pb;			//记住原先的pb
     pb=new Bitmap(*rhs.pb);		// 令pb指向*pb的一个复件
    delete pOrig;			//删除原先的pb
     return *this;
}

现在，如果“newBitmap”抛出异常，pb保持原状。

也可以使用copy and swap

class Bitmap{...}
class Widget{
 ...
 void swap (Widget& rhs);	//交换*this 和 rhs 的数据
 ...
}
Widget&Widget::operator=(const Widget& rhs) 
{
    Widget temp(rhs);		//为rhs数据制作一份复件
    swap(temp);                 //将*this数据和上述复件的数据交换
     return *this;
}

确保当对象自我赋值时operator= 有良好行为。其中技术包括比较“来源对象”和“目标对象”的地址、精心周到的语句顺序、以及copy-and-swap。

确定任何函数如果操作一个以上的对象，而其中多个对象是同一个对象时，其行为仍然正确。