關(guān)于對象初始化，c++似乎反復(fù)無常，例如：
int x；
在某些語境條件下保證初始化為0，而在另外一些語境下卻并沒有這個保證。而下邊這種情況：
class Point
{
int x,y;
};
Point p;
p的成員函數(shù)有的時候被初始化（0），有的時候沒有被初始化。
現(xiàn)在，已經(jīng)有了一些規(guī)則，對象的初始化何時會發(fā)生，何時不會發(fā)生。但是這些規(guī)則過于復(fù)雜，對我們的記憶有一定的挑戰(zhàn)，哈哈。
通常如果使用C part of C++而且初始化可能招致運(yùn)行期成本，那就不保證發(fā)生初始化。一旦進(jìn)入non-C parts of C++,規(guī)則有一些變化。這就是為啥array(C part of C++)不保證其內(nèi)容被初始化，而vector(STL part of C++)卻有此保證。
我們的最佳處理狀態(tài)是，在使用任何對象之前先將它初始化。對于無任何成員的內(nèi)置類型，必須手動完成此事：
int x = 0; //對int進(jìn)行初始化；
const char *text = " A C-style string"; //對指針進(jìn)行初始化；
double d;
std::cin >> d; //采用input stream的方式完成初始化；
至于內(nèi)置類型以外的其他類型，初始化的責(zé)任落在了構(gòu)造函數(shù)身上。規(guī)則很簡單：確保構(gòu)造函數(shù)都將對象的每一個成員初始化。
這個規(guī)則很容易奉行，值得注意的是別混淆了賦值(assignment)和初始化(initialization)。考慮一個表現(xiàn)通訊簿的class：
class PhoneNumber{};
class ABEntry{ //Address Book Entry;
public:
ABEntry(const std::string &name, const std::string &address, const std::list<PhoneNumber> &phones);
private:
std::string theName;
std::string tehAddress;
std::list<PhoneNumber> thePhones;
int numTimesConsulted;
};
ABEntry::ABEntry(const std::string &name, const std::string &address, std::list<PhoneNumber> &phones)
{//以下全是賦值(assignment)，不是初始化(initialization);
theName = name;
theAddress = address;
thePhones = phones;
numTimesConsulted = 0;
}
ABEntry對象會帶給你期望的值，但不是最佳做法。C++規(guī)定：對象成員變量的初始化動作發(fā)生在進(jìn)入構(gòu)造函數(shù)本體之前。在ABEntry構(gòu)造函數(shù)內(nèi)，theName, theAddress, thePhone都不是被初始化，而是被賦值。初始化的時間發(fā)生的更早，發(fā)生于這些成員函數(shù)的default構(gòu)造函數(shù)被自動調(diào)用之時(比進(jìn)入ABEntry構(gòu)造函數(shù)本體的時間更早)。但這對numTimesConsulted不為真，因?yàn)樗麑儆趦?nèi)置類型，不保證在你看到的那個賦值動作的時間點(diǎn)之前獲得初值。
ABEntry構(gòu)造函數(shù)的一個較好寫法是，使用所謂的member initializatin list(成員函數(shù)初始列)替換賦值動作：
ABEntry::ABEntry(const std::string &name, const std::string &address,
const std::list<PhoneNumber> &phones)
: theName(name),
theAddress(address),
thePhones(phones),
numTimesConsulted(0)
{}//構(gòu)造函數(shù)本體不需要任何動作
這個構(gòu)造函數(shù)和上一個的結(jié)果相同，但是通常效率較高。基于賦值的那個版本首先調(diào)用default構(gòu)造函數(shù)為theName, theAddress,和thePhones設(shè)立初值，然后立刻再對他們賦值。default的一切作為此刻都浪費(fèi)了。成員初始列(member initianlization list)的做法避免了這一問題，因?yàn)槌跏剂兄嗅槍Ω鱾€變量設(shè)的實(shí)參，被拿去作為各個成員函數(shù)的實(shí)參。本例中theName以name為初值進(jìn)行copy構(gòu)造，theAddress以address為初值進(jìn)行copy構(gòu)造，thePhones以phones為初值進(jìn)行copy構(gòu)造。
對于大多數(shù)類型而言，比起先調(diào)用default構(gòu)造函數(shù)再調(diào)用copy assignment操作符，單只調(diào)用一次copy構(gòu)造函數(shù)是比較高效的，有事甚至高的多。對于內(nèi)置類型，如numTimesConsulted，其初始化成本和賦值的成本相同，但為了一致性最好也通過成員初始列來進(jìn)行初始化。同樣道理，如果我們想default構(gòu)造一個成員變量，也可以使用成員初始列，只要指定nothing作為初始化列就行了，假設(shè)ABEntry有一個無參構(gòu)造構(gòu)造函數(shù)，我們可以實(shí)現(xiàn)如下：
ABEntry::ABEntry()
:theName(), //調(diào)用theName的構(gòu)造函數(shù)
theAddress(), //調(diào)用theAddress的構(gòu)造函數(shù)
thePhones(), //調(diào)用thePhomes的構(gòu)造函數(shù)
numTimesConsulted(0) //記得將此內(nèi)置類型顯式定義為0
{}
此處記得一條規(guī)則，那就是在成員初始列中列出所有的成員變量，以免還得記住哪些成員變量可以無需初值。舉個例子，如numTimesConsulted屬于內(nèi)置類型，如果(member initialization list)遺漏了他，他就沒有初值，因而可能開啟“不明確行為”的潘多拉盒子。
有些情況下，即使面對的是內(nèi)置類型，也一定要使用初始列。如果成員變量是const或者reference，他們一定得需要賦初值，而不是賦值。為避免成員變量何時必須在成員初始列中初始化，何時不需要，最簡單的做法就是：總是使用成員初始列。
C++有著十分固定的“成員初始化次序”。是的，次序總是相同的：base classes總是先于derived classes被初始化，而class的成員變量總是以其聲明次序被初始化。讓我們在看一下ABEntry，其theName永遠(yuǎn)先被初始化，然后是theAddress，之后thePhones，最后是numTimesConsulted，即使他們在member initialization list中以不同的順序出現(xiàn)，也不會有任何影響。為了避免迷惑，你在member initialization list中條列各個成員時，最好總是以其聲明次序?yàn)榇涡颉?br>一旦我們已經(jīng) 很小心的將內(nèi)置型成員變量明確的加以初始化，而且也確保構(gòu)造函數(shù)運(yùn)用member initialization list初始化base classes和成員變量，那就剩下唯一的一件事情需要操心，就是：不同編譯單元內(nèi)定義之non-local static對象的初始化次序。
所謂static對象，其壽命從被構(gòu)造出來直到程序結(jié)束為止，因此stack和heap_based對象都被排除。這里所說的static對象包括global對象，定義于namespace對象內(nèi)的對象，在class內(nèi)，在函數(shù)內(nèi)，以及在file內(nèi)被聲明為static的對象。函數(shù)內(nèi)的static對象稱為local static對象，其他則成為non-local static對象，程序結(jié)束時static對象會自動銷毀，也就是他們的析構(gòu)函數(shù)會在main()結(jié)束時被調(diào)用。
所謂編譯單元（translation unit）是指產(chǎn)生單一目標(biāo)文件（single object file）的那些源碼。基本上是單一源碼文件加上其所包含的頭文件。
現(xiàn)在，上面所涉及到的問題至少包括兩個源碼文件，每一個內(nèi)含至少一個non-local static對象（也就是說對象是global，或者位于namespace內(nèi)，或者class內(nèi)，或者file作用域內(nèi)被聲明為static）。問題是：如果某個編譯單元內(nèi)的某個non-local static對象的初始化動作使用了另外一個編譯單元內(nèi)的non-local static對象，他所使用的這個對象可能沒有初始化，因?yàn)镃++對“不同編譯單元內(nèi)的non-local static 對象”的初始化次序并沒有明確定義。
來個例子：
假設(shè)有一個FileSystem class，它讓互聯(lián)網(wǎng)上的文件看起來像是本機(jī)。由于這個class使世界看起來像個單一文件系統(tǒng)，可能會產(chǎn)生一個特殊對象，位于global或namespace作用域內(nèi)，象征單一文件系統(tǒng)：
class FileSystem{
public:
std::size_t numDisks() const;
};
extern FileSystem tfs;//預(yù)備給客戶使用的對象，tfs代表"the file system"
FileSystem對象絕不是一個無關(guān)痛癢的對象，因此客戶如果在theFileSystem對象構(gòu)造完成前就使用他，會得到慘重的代價：
現(xiàn)在假設(shè)建立了一個class用以處理文件系統(tǒng)內(nèi)部的目錄。很自然，他們會用上theFileSystem的對象：
class Directory{
public:
Directory();
};
Directory::Directory()
{
std::size_t disks = tfs.numDisks();
}
進(jìn)一步假設(shè)，這些客戶決定創(chuàng)建一個directory對象，用來放置臨時文件：
Directory tempDir(params);//為臨時文件而做出的目錄
現(xiàn)在，初始化的重要作用顯示出來了，除非tfs在tempDir之前被初始化，否則tempDir的構(gòu)造函數(shù)會用到尚未初始化的tfs。但是tfs和tempDir是不同的人在不同的時間創(chuàng)建出來的，他們是定義于不同編譯單元內(nèi)地non-local static對象，如何能確認(rèn)tfs在tempDir之前先被初始化？
哦，這是無法確認(rèn)的。
一個小小的設(shè)計可以改變這種情形：將每一個non-local static 對象搬到自己的專屬函數(shù)內(nèi)（該對象在此函數(shù)內(nèi)被聲明為static）。這些函數(shù)返回一個reference用來指向他所包含的對象。然后用戶調(diào)用這些函數(shù)，而不是直接指涉這些對象。換句話就是non-local static對象被local static對象替換了。這個實(shí)現(xiàn)的基礎(chǔ)在于：C++保證，函數(shù)內(nèi)的non-local static 對象會在函數(shù)被調(diào)用期間首次遇上該對象之定義式時被初始化。所以如果以函數(shù)調(diào)用替換直接訪問non-local static 對象，就獲得了保證，保證所得的那個reference將指向一個經(jīng)歷初始化的對象。 此技術(shù)實(shí)現(xiàn)于上面的代碼如下：
class FileSystem{};//同前
FileSystem &tfs()//這個函數(shù)用來替換tfs對象；他在FileSystem中可能是個static。
{
static FileSystem fs;
return fs;
}
class Directory{};
Directory::Directory()
{
std::size_t disks = tfs().numDisks();
}
Directory &tempDir()
{
static Directory td;
return td;
}
修改之后，我們只是使用的是tfs()和tempDir()，而不是tfs和tempDir。也就是使用的是指向static的reference而不是static對象自身。
這樣的reference-returning函數(shù)往往十分單純：第一行定義并初始化一個local static對象，第二行返回他。當(dāng)然，他是絕佳的inline候選，特別是經(jīng)常被調(diào)用的話。但是，另一方面，任何一種non-const static對象，不論是local或者non-local，在多線程下“等待某事發(fā)生都會有麻煩的。處理這個麻煩的一種做法是：在程序的單線程啟動階段手工調(diào)用所有的reference-returning函數(shù)（？？），這可消除與初始化有關(guān)的race condition。
為避免對象初始化之前過早的使用他們，你需要做的是三件事：手工初始化內(nèi)置的non-member對象；使用member initialization list；在初始化次序不確定下加強(qiáng)你的設(shè)計。
Things to remember:
1.Manually initialize objects of built-in type, because C++only sometimes initializes them itself;
2.In a constructor, prefer to use the member initialization list to assigenment inside the body of the constructor. List data member in the initialization list in the same order they're declared in the class.
3.Avoid initialization order problems across translation units by replacing non-local static objects with local static objects.