条款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;
}