第二章 構造 / 析構 / 賦值函數
條款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函數共同調用