Effective C++_笔记_条款11_在operator=中处理“自我赋值”

（整理自Effctive C++，转载请注明。整理者：华科小涛@http://www.cnblogs.com/hust-ghtao/） 

 

    为什么会出现自我赋值呢？不明显的自我赋值，是“别名”带来的结果：所谓“别名”就是“有一个以上的方法指涉对象”。一般而言如果某段代码操作pointers或references而它们被用来“指向多个相同类型的对象”，就需要考虑这些对象是否为同一个。实际上两个对象来自同一个继承体系，它们甚至不需要声明为相同类型就可能造成“别名”。因为一个base class的reference或pointer可以指向一个derived class对象。如果你尝试自行管理资源，可能会掉进“在停止使用资源之前意外释放了它”的陷阱。假设你建立一个class用来保存一个指针指向一块动态分配的位图（bitmap）:

 

class Bitmap{...};
class Widget{
    ...
    private:
        Bitmap* pb ;
};

 

    下面是operator=的实现代码：

 

Widget&
Widget::operator=(const Widget& rhs)
{
    delete pb ;                  //停止使用当前的bitmap
    pb = new Bitmap (*rhs.pb) ;  //使用rhs的bitmap的副本
    return *this ;                //返回当前对象的引用
}

 

    这份代码表面上合理，但自我赋值时并不安全。operator=函数内的*this(赋值的目的端)和rhs有可能是同一个对象。果真如此delete就不只销毁当前对象的bitmap，它也销毁rhs的bitmap。在函数的末尾，Widget—它原本不该被自我赋值动作改变的—发现自己持有一个指针指向一个已被删除的对象。

    欲阻止这种错误，可以在operator=最前面增加一个“正同测试”(identity test)达到“自我赋值”的检验目的：

 

Widget& Widget::operator=(const Widget& rhs)
{
    if(this==&rhs) return *this ;      //正同测试：如果是自我赋值，直接返回当前对象

    delete pb ;
    pb = new Bitmap( *rhs.pb );
    return *this ;
}

 

    这个版本具备“自我赋值安全性”，但是仍然存在异常方面的麻烦。更明确地说，如果“new Bitmap”导致异常，Widget最终会持有一个指针指向一块被删除的Bitmap。

    令人高兴的是，让operator=具备“异常安全性”往往自动获得“自我赋值安全性”的回报。许多时候一群精心安排的语句就可以导出异常安全的代码。例如以下代码，我们只需注意在赋值pb之前别删除pb：

 

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

 

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

    在operator=函数内手工排列语句的一个替代方案是，使用所谓的copy和swap技术：

 

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

 

    请注意：

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

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