”自我賦值”發(fā)生在對象被賦值給自己時(shí):

class Widget { ... }; Widget w; ... w = w; // 賦值給自己 a[i] = a[j]; // 潛在的自我賦值 *px = *py; // 潛在的自我賦值class Base { ... }; class Derived: public Base { ... }; void doSomething(const Base& rb, Derived* pd); // rb和*pd有可能其實(shí)是同一對象

嘗試自我管理資源

class Bitmap { ... }; class Widget {... private:Bitmap* pb; // 指針，指向一個(gè)從heap分配而得的對象 }; // 一個(gè)不安全的operator=實(shí)現(xiàn)版本 Widget& Widget::operator=(const Widget& rhs) {delete pb; // 停止使用當(dāng)前的bitmappb = new Bitmap(*rhs.pb); // 使用rhs's bitmap的副本return *this; // 見條款10 }

可能出現(xiàn)的問題就是，*this和rhs可能是同一個(gè)對象，最后會(huì)導(dǎo)致自己持有一個(gè)指針指向一個(gè)已被刪除的對象！

自我安全性

Widget& Widget::operator=(const Widget& rhs) {if (this == rhs) return *this; // 證同測試// 如果是自我賦值，就不做任何事情delete pb;pb = new Bitmap(*rhs.pb);return *this; }

以上代碼確實(shí)解決了自我賦值的問題，但是會(huì)引發(fā)異常的問題，如果new Bitmap導(dǎo)致異常了，那么Widget最終會(huì)持有一個(gè)指針指向一塊被刪除的Bitmap。

異常安全性

Widget& Widget::operator=(const Widget& rhs) {Bitmap* pOrig = pb; // 記住原先的pbpb = new Bitmap(*rhs.pb);delete pOrig; // 刪除原先的pbreturn *this; }

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

總結(jié)

確保當(dāng)對象自我賦值時(shí)operator=有良好行為。其中技術(shù)包括比較”來源對象”和”目標(biāo)對象”的地址、精心周到的語句順序、以及copy-and-swap.

確定任何函數(shù)如果操作一個(gè)以上的對象，而其中多個(gè)對象是同一個(gè)對象時(shí)，其行為仍然正確。

轉(zhuǎn)載于:https://www.cnblogs.com/zhonghuasong/p/7443800.html

總結(jié)

以上是生活随笔為你收集整理的Effective C++ 条款11：在operator=中处理自我赋值的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。