Effective C++ 条款11

在operator=中处理“自我赋值”

什么是自我赋值，很明显。就是自己的值赋值给了自己。下面的代码就是自我赋值：

class Widget{public:    Widget& operator=(const Widget& rhs)    {        delete p;        p=new int(ths.p);        return *this;    }    int *p;};Widget w1,w2;w1=w2;w1=w1;//自我赋值。

如上代码，自我赋值的时候会出现删除自身数据的操作，这样很危险。因为p变成了野指针。

为了防止以上错误可以进行“自我测试”，如果发现是自我赋值就直接返回。
如下代码：

class Widget{public:    Widget& operator=(const Widget& rhs)    {        if(this==&rhs)//自我测试            return *this;        delete p;        p=new int(rhs.p);        return *this;    }    int *p;};

但是，以上代码有另一个缺陷，就是一旦new一个新空间失败，p还是会变成野指针。
所以，可以先保存原来的数据，等new成功之后在进行数据替换；
再次修改代码如下：

class Widget{public:    Widget& operator=(const Widget& rhs)    {        int tmp=p;//记录原先内存        p=new int(rhs.p);        delete tmp;//释放原先内存        return *this;    }    int *p;};