条款11：在operator=中处理“自我赋值”

什么是自我赋值，就是 v = v 这种类型的语句，也许很多人都会说鄙视这种写法，但是如下的写法会不会出现呢？

比如：a[i] = a[j];      // 不巧的是i可能和j相等

*px = *py;     // 也许px和py刚好指向同一个对象呢

上述例子都是隐含的自我赋值。

再举一例：

 class Bitmap    　　　　　　　　　　// 位图类
 {
     ...
 };

 class Widget
 {
 public:
     Widget& operator=(const Widget& rhs);

 private:
     Bitmap* pb; 　　　　　　　　　　// 指向动态分配的位图对象
 };

 Widget& Widget::operator=(const Widget& rhs)
 {
     delete pb;                  // 释放当前位图对象
     pb = new Bitmap(*rhs.pb);   // 使用rhs中位图的副本
     return *this;
 }

现在假设*this和rhs是同一个对象呢？那么delete的调用就会释放*this的位图，其实同时也释放了rhs的位图资源，那么此时=的意义就变成了：让一个指针指向一个已被删除的对象，太可怕了。还好如下做法可以解决这个错误，被称为identity test：

Widget& Widget::operator=(const Widget& rhs)
{
    if(this == &rhs)     　　　　　　 // identity test
        return *this;        　　　　// 如果是同一个对象则返回即可
    else
    {
        delete pb;                  // 释放当前位图对象
        pb = new Bitmap(*rhs.pb);   // 使用rhs中位图的副本
        return *this;
　　}
}

一个更好的赋值方案是使用copy and swap技术，如下所示：

 class Widget
 {
     ...
     void swap(Widget& rhs);     // 交换*this和rhs的内容
     ...
 };

 Widget& Widget::operator=(const Widget& rhs)
 {
     Widget temp(rhs);           // 制作一个rhs的副本
     swap(temp);                 // 将该副本内容和*this交换
     return *this;
 }