Item 11 赋值函数的自赋值

class Widget { ... }; Widget w; ... w = w; // 1. 能通过编译，但是明显不合理！ ... a[i] = a[j]; // 2. ij可能相同 *px = *py; // 3. 二者可能相同或有继承关系

 

上面的三种情况，都是给自己赋值，要在赋值时检查。

 

class Bitmap { ... }; class Widget { ... private: Bitmap *pb; }; // 既无赋值安全性，又无异常安全性的函数 Widget& Widget::operator=(const Widget& rhs) { delete pb; // 未检查是否自我赋值就释放了资源 pb = new Bitmap(*rhs.pb); // 如出现异常，pb就指向了无效内存 return *this; }

 

改正的办法：

1> 检查自赋值情况：

// 至少做到了赋值安全性 Widget& Widget::operator=(const Widget& rhs) { if (this == &rhs) return *this; // identity test delete pb; ...

 

2> 改流程：

// 赋值安全、异常安全，都考虑到了，只是在自赋值的时候效率低些 Widget& Widget::operator=(const Widget& rhs) { Bitmap *pOrig = pb; pb = new Bitmap(*rhs.pb); // 若出现异常也不会影响pb，安全 delete pOrig; // 前面都成功了，再释放原来的资源 return *this; }

 

如果想把 identity test 加上，那么还要考虑自赋值的频率。频率小的话反而会降低效率，因为会影响CPU的prefetching、caching和pipelining。

 

3> copy and swap

class Widget { ... void swap(Widget& rhs); ... }; Widget& Widget::operator=(const Widget& rhs) { Widget temp(rhs); swap(temp); return *this; }

 

有时为了优化效率，而采用传值的方式：

Widget& Widget::operator=(Widget rhs) { swap(rhs); return *this; }