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è)例子主要是為了說(shuō)明賦值(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)避免了這一問(wèn)題,因?yàn)槌踔盗兄嗅槍?duì)各個(gè)成員變量而設(shè)的實(shí)參,被拿去作為各成員變量之構(gòu)造函數(shù)的實(shí)參。本例中的value以tmp為初值進(jìn)行copy構(gòu)造。
? ? ? ?對(duì)大多數(shù)類(lèi)型而言,比起先調(diào)用default構(gòu)造函數(shù)然后再調(diào)用copy assignment操作符,單只調(diào)用一次copy構(gòu)造函數(shù)是比較高效的,有時(shí)甚至高效得多。對(duì)于內(nèi)置型對(duì)象,其初始化和賦值的成本相同,但為了一致性最好也通過(guò)成員初值列來(lái)初始化。同樣道理,甚至當(dāng)你想要default構(gòu)造一個(gè)非內(nèi)置成員變量,你都可以使用成員初值列,只要指定無(wú)物(nothing) 作為初始化實(shí)參即可,比如例子中的str。
? ? ? ? 需要注意的是,C++有著十分固定的"成員初始化次序"。是的,次序總是相同:base class應(yīng)更早于其derived classes被初始化,而class的成員變量總是以其聲明次序被初始化。因此為避免代碼閱讀時(shí)的困惑,當(dāng)你在成員初值列中條列各個(gè)成員時(shí),最好總是以其聲明次序?yàn)榇涡颉?br />





