? ? ? ?關(guān)于初始化的定義參考Effective C++筆記之一:聲明、定義、初始化與賦值,這里先看一個例子:
#includeusing?namespace?std; class?TestA { public: TestA()? { cout?<<?"default?constructor"?<<?endl; } ???? TestA(const?TestA?&other)? { cout?<<?"copy?constructor"?<<?endl; } TestA&?operator=(const?TestA?&other) { cout?<<?"copy?assignment"?<<?endl; return?*this; } }; class?TestB { public: TestB(const?TestA?&?tmp) { value?=?tmp; str?=?""; } private: TestA?value; string?str; }; class?TestC { public: TestC(const?TestA?&?tmp)?:value(tmp),?str() { } private: TestA?value; string?str; }; int?main() { TestA?a; cout?<<?"=========="?<<?endl; TestB?b(a); cout?<<?"=========="?<<?endl; TestC?c(a); system("pause"); return?0; }
? ? ? ?這個例子主要是為了說明賦值(assignment)和初始化(initialization)的區(qū)別。
? ? ? ?TestB中的value數(shù)據(jù)成員帶有你期望(你指定)的值,但不是最佳做法。C++規(guī)定,對象的成員變量的初始化動作發(fā)生在進入構(gòu)造函數(shù)本體之前。在TestB構(gòu)造函數(shù)內(nèi),value不是被初始化,而是被賦值。初始化的發(fā)生時間更早,發(fā)生于這些成員的default構(gòu)造函數(shù)被自動調(diào)用之時(比進入TestB構(gòu)造函數(shù)本體的時間更早)
? ? ? ?TestC中使用所謂的member initialization list(成員初值列)替換賦值動作。這個構(gòu)造函數(shù)和TestB的最終結(jié)果相同,但通常效率較高?;谫x值的那個版本(TestB)首先調(diào)用default構(gòu)造函數(shù)為value設(shè)初值,然后立刻再對它們賦予新值。default構(gòu)造函數(shù)的一切作為因此浪費了。成員初值列(member initialization list)的做法(TestC)避免了這一問題,因為初值列中針對各個成員變量而設(shè)的實參,被拿去作為各成員變量之構(gòu)造函數(shù)的實參。本例中的value以tmp為初值進行copy構(gòu)造。
? ? ? ?對大多數(shù)類型而言,比起先調(diào)用default構(gòu)造函數(shù)然后再調(diào)用copy assignment操作符,單只調(diào)用一次copy構(gòu)造函數(shù)是比較高效的,有時甚至高效得多。對于內(nèi)置型對象,其初始化和賦值的成本相同,但為了一致性最好也通過成員初值列來初始化。同樣道理,甚至當(dāng)你想要default構(gòu)造一個非內(nèi)置成員變量,你都可以使用成員初值列,只要指定無物(nothing) 作為初始化實參即可,比如例子中的str。
? ? ? ? 需要注意的是,C++有著十分固定的"成員初始化次序"。是的,次序總是相同:base class應(yīng)更早于其derived classes被初始化,而class的成員變量總是以其聲明次序被初始化。因此為避免代碼閱讀時的困惑,當(dāng)你在成員初值列中條列各個成員時,最好總是以其聲明次序為次序。