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