effective C++ 讀書筆記（二）

第二章 構造 / 析構 / 賦值函數

條款05：瞭解C++默默編寫並調用哪些函數

n        編譯器可以暗自為class建立default建構函式、copy建構函式、copy assignment操作符，以及解構函式

copy建構函式和copy assignment操作符，編譯器建立的版本只是單純地將來來源物件的每一個non-static成員變數拷貝到目標對象。

條款06：若不想使用編譯器自動產生的函數，就該明確拒絕

n        為駁回編譯器自動提供的技能，可將相應的成員函式宣告為private並且不予實現。使用像Uncopyable這樣的base class也是一種做法。

將copy建構函式或copy assignment操作符聲明為private。可以阻止編譯器暗自建立其專屬版本。但是有個問題，member函數和friend函數還是可以調用這個private函數。

自定一個Uncopyable類：

class Uncopyable {

         protected:

                   Uncopyable(){}

                   ~Uncopyable(){}

         private:

                   Uncopyable(constUncopyable&);

                   Uncopyableoperator=(const Uncopyable&);

}

為組織A對象被拷貝，唯一需要做的就是繼承Uncopyable。

class A : private Uncopyable {

….

};

當編譯器試著產生一個copy函數時，這些函數會嘗試調用其base class的對應兄弟，但是base class的拷貝函數是private，會被編譯器拒絕。這種技術可能導致多重繼承。

條款07：為多態基類聲明virtual解構函式

n        polymorphic（帶多態性質的）base classes應該聲明一個virtual解構函式。如果class帶有任何virtual函數，它就應該擁有一個virtual解構函式。

n        classes的設計目的如果不是作為base classes使用，或不是為了具備多態性，就不該聲明virtual解構函式。

當derived class對象經由一個base class指標被刪除，而該base class帶著一個non-virtual解構函式，就會導致對象的derived成分沒被銷毀。

任何class只要帶有virtual函數都幾乎確定應該也有一個virtual解構函式

條款08：別讓異常逃離解構函式

n        解構函式絕對不要吐出異常。如果一個被解構函式調用的函數可能拋出異常，解構函式應該捕捉任何異常，然後吞下它們或結束程式

n        如果客戶需要對某個操作函數運行期間拋出的異常做出反應，那麼class應該提供一個普通函數（而非在解構函式中）執行該操作。

條款09：絕不在構造和析構過程中調用virtual函數

n        在構造和析構期間不要調用virtual函數，因為這類調用從不下降至derived class

base class的建構函式如果調用了virtual函數，這時derived class還沒產生，不可能下降至derived class

條款10：令operator=返回一個reference to *this

n        令賦值操作符返回一個reference to *this

A& operator=(const A&) {

…

         return *this;

}

條款11：在operator=中處理“自我賦值”

條款12：複製對象時勿忘其每一個成分

n        copying函數應該確保賦值“對象內的所有成員變數”及“所有baseclass成分”

n        不要嘗試以某個copying函數實現另一個copying函數。應該將共同機能放進第三個函數中，並由兩個copying函數共同調用