Effective C++ 條款11

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