effective c++ 条款11 Handle assignment to self in operator=

赋值给自己,听起来有些不可思议,但是却要引起重视,它很容易把自己隐藏起来。

例如

1  a[i]=a[j];

  如果 i, j的值一样?

2  *px=*py;

  如果px py指向同一个object

3    rb and pd migh also be a same object.

class Base
{
...
};
class Derived : public Base
{
...
};
void doSomething(const Base& rb, Derived *pd);

以上表明多种自我赋值的可能性。

那么在自我赋值时会出现哪些问题呢?

class Bitmap{};
class Widget
{
private:
Bitmap* pb; // point to a mem from heap
} Widget Widget::&operator=(const Widget & rhs)
{
delete pb;
pb = new Bitmap(*rhs.pb);
return *this;
}

表面看上述代码没有问题,但是如果自我赋值就会有问题。

1 自己指向的bitmap先被删除了。

2 另外这也可能导致异常安全性的问题。如果new的Bitmap没有成功,就会有一个指向未知地址的指针,无法删除而且无法读取。

我们先focus在问题1上面,问题2会在第29章详细讨论。

一个可行的做法

Widget Widget::&operator=(const Widget & rhs)
{
if(this == &rhs) return *this;//identity test; delete pb;
pb = new Bitmap(*rhs.pb);
return *this;
}

这会导致代码增大和降低执行速度(增加的代码,引入控制分支)

另外一个可行的办法是使用所谓的copy and swap技术

Widget Widget::&operator=(const Widget & rhs)
{
Widget tmp(rhs);
swap(tmp); // swap *this and tmp
return *this;
}
上一篇:程序员的开源月刊《HelloGitHub》第61期


下一篇:数据结构-Hash表