C++類(lèi)構(gòu)造函數(shù)初始化列表.docx

C+類(lèi)構(gòu)造函數(shù)初始化列表初始化列表的定義 在使用C+編程的過(guò)程當(dāng)中，常常需要對(duì)類(lèi)成員進(jìn)行初始化，通常的方法有兩種：一種是構(gòu)造函數(shù)內(nèi)對(duì)類(lèi)的成員賦值，一種則是使用初始化列表的構(gòu)造函數(shù)顯式的初始化類(lèi)的成員。 構(gòu)造函數(shù)初始化列表以一個(gè)冒號(hào)開(kāi)始，接著是以逗號(hào)分隔的數(shù)據(jù)成員列表，每個(gè)數(shù)據(jù)成員后面跟一個(gè)放在括號(hào)中的初始化式。例如： class CExample public: int a; float b; /構(gòu)造函數(shù)初始化列表 CExample(): a(0),b(8.8) /構(gòu)造函數(shù)內(nèi)部賦值 CExample() a=0; b=8.8; ; 從技術(shù)上說(shuō)，用初始化列表來(lái)初始化類(lèi)成員比較好，但是在大多數(shù)情況下，兩者實(shí)際上沒(méi)有什么區(qū)別。第二種語(yǔ)法被稱(chēng)為成員初始化列表，之所以要使用這種語(yǔ)法有兩個(gè)原因：一個(gè)原因是必須這么做，另一個(gè)原因是出于效率考慮 初始化列表的必要性 初始化和賦值對(duì)內(nèi)置類(lèi)型的成員沒(méi)有什么大的區(qū)別，像上面的任一個(gè)構(gòu)造函數(shù)都可以。但在一些情況下，初始化列表可以做到構(gòu)造函數(shù)做不到的事情： 1、類(lèi)里面有const類(lèi)型的成員，它是不能被賦值的，所以需要在初始化列表里面初始化它； 2、引用類(lèi)型的成員（也就是名字成員，它作為一個(gè)現(xiàn)有名字的別名），也是需要在初始化列表里面初始化的，目的是為了生成了一個(gè)其名字成員在類(lèi)外可以被修改而在內(nèi)部是只讀的對(duì)象； 3、需要調(diào)用基類(lèi)的構(gòu)造函數(shù)，且此基類(lèi)構(gòu)造函數(shù)是有參數(shù)的； 4、類(lèi)里面有其他類(lèi)類(lèi)型的成員，且這個(gè)“其他類(lèi)”的構(gòu)造函數(shù)是有參數(shù)的。 舉個(gè)例子：設(shè)想你有一個(gè)類(lèi)成員，它本身是一個(gè)類(lèi)或者結(jié)構(gòu)，而且只有一個(gè)帶一個(gè)參數(shù)的構(gòu)造函數(shù)。 class CExampleOld public: CExampleOld(int x) . ; 因?yàn)镃ExampleOld有一個(gè)顯式聲明的構(gòu)造函數(shù)，編譯器不產(chǎn)生一個(gè)缺省構(gòu)造函數(shù)（不帶參數(shù)），所以沒(méi)有一個(gè)整數(shù)就無(wú)法創(chuàng)建CExampleOld的一個(gè)實(shí)例。 CExampleOld* pEO = new CExampleOld; / 出錯(cuò)! CExampleOld* pEO = new CExampleOld(2); / OK 如果CExampleOld是另一個(gè)類(lèi)的成員，你怎樣初始化它呢？答案是你必須使用成員初始化列表。 class CExampleNew CExampleOld m_EO; public: CExampleNew(); ; / 必須使用初始化列表來(lái)初始化成員 m_EO /CExampleNew:CExampleNew() : m_EO(2) 沒(méi)有其它辦法將參數(shù)傳遞給m_EO。 情況3和4其實(shí)一樣的道理。如果成員是一個(gè)常量對(duì)象或者引用也是一樣。根據(jù)C+的規(guī)則，常量對(duì)象和引用不能被賦值，它們只能被初始化。 初始化列表與構(gòu)造函數(shù)賦值的效率比較 首先把數(shù)據(jù)成員按類(lèi)型分類(lèi)并分情況說(shuō)明: 1.內(nèi)置數(shù)據(jù)類(lèi)型，復(fù)合類(lèi)型（指針，引用） 在成員初始化列表和構(gòu)造函數(shù)體內(nèi)進(jìn)行，兩者在性能和結(jié)果上都是一樣的 2.用戶定義類(lèi)型（類(lèi)類(lèi)型） 兩者在結(jié)果上相同，但是性能上存在很大的差別。 因?yàn)榫幾g器總是確保所有成員對(duì)象在構(gòu)造函數(shù)體執(zhí)行之前初始化，所以對(duì)于用戶自定義類(lèi)型（類(lèi)），在初始化列表中只會(huì)調(diào)用類(lèi)的構(gòu)造函數(shù)，在構(gòu)造函數(shù)體中賦值就會(huì)先調(diào)用一次類(lèi)的構(gòu)造函數(shù)，然后再調(diào)用一次類(lèi)的賦值操作符函數(shù)。 顯然后者在性能上有所損失，特別對(duì)于構(gòu)造函數(shù)和賦值操作符都需要分配內(nèi)存空間的情況，使用初始化列表，就可以避免不必要的多次內(nèi)存分配。 舉個(gè)例子：假定你有一個(gè)類(lèi)CExample具有一個(gè)CString類(lèi)型的成員m_str，你想把它初始化為Hi,how are you.。你有兩種選擇： 1、使用構(gòu)造函數(shù)賦值 CExample:CExample() / 使用賦值操作符 / CString:operator=(LPCTSTR); m_str = _T(Hi,how are you.); 2、使用初始化列表 CExample:CExample() : m_str(_T(Hi,how are you.) 編譯器總是確保所有成員對(duì)象在構(gòu)造函數(shù)體執(zhí)行之前被初始化，因此在第一個(gè)例子中編譯的代碼將調(diào)用CString:Cstring來(lái)初始化m_str，這在控制到達(dá)賦值語(yǔ)句前完成。在第二個(gè)例子中編譯器產(chǎn)生一個(gè)對(duì)CString: CString(LPCTSTR)的調(diào)用并將Hi,how are you.傳遞給這個(gè)函數(shù)。結(jié)果是在第一個(gè)例子中調(diào)用了兩個(gè)CString函數(shù)（構(gòu)造函數(shù)和賦值操作符），而在第二個(gè)例子中只調(diào)用了一個(gè)函數(shù)。 在CString的例子里這是無(wú)所謂的，因?yàn)槿笔?gòu)造函數(shù)是內(nèi)聯(lián)的，CString只是在需要時(shí)為字符串分配內(nèi)存（即，當(dāng)你實(shí)際賦值時(shí)）。但是，一般而言，重復(fù)的函數(shù)調(diào)用是浪費(fèi)資源的，尤其是當(dāng)構(gòu)造函數(shù)和賦值操作符分配內(nèi)存的時(shí)候。在一些大的類(lèi)里面，你可能擁有一個(gè)構(gòu)造函數(shù)和一個(gè)賦值操作符都要調(diào)用同一個(gè)負(fù)責(zé)分配大量?jī)?nèi)存空間的Init函數(shù)。在這種情況下，你必須使用初始化列表，以避免不必要的分配兩次內(nèi)存。 在內(nèi)建類(lèi)型如ints或者longs或者其它沒(méi)有構(gòu)造函數(shù)的類(lèi)型下，在初始化列表和在構(gòu)造函數(shù)體內(nèi)賦值這兩種方法沒(méi)有性能上的差別。不管用那一種方法，都只會(huì)有一次賦值發(fā)生。有些程序員說(shuō)你應(yīng)該總是用初始化列表以保持良好習(xí)慣，但我從沒(méi)有發(fā)現(xiàn)根據(jù)需要在這兩種方法之間轉(zhuǎn)換有什么困難。在編程風(fēng)格上，我傾向于在主體中使用賦值，因?yàn)橛懈嗟目臻g用來(lái)格式化和添加注釋?zhuān)憧梢詫?xiě)出這樣的語(yǔ)句： x=y=z=0; 或者 memset(this, 0, sizeof(this); 初始化列表的成員初始化順序 C+初始化類(lèi)成員時(shí)，是按照成員聲明的順序初始化的，而不是按照出現(xiàn)在初始化列表中的順序。 因?yàn)橐粋€(gè)類(lèi)可以有多個(gè)構(gòu)造函數(shù)，那么初始化列表可能各有不同，但是卻只有一個(gè)析構(gòu)函數(shù)，析構(gòu)函數(shù)的析構(gòu)順序是和構(gòu)造的順序相反的。如果按照初始化列表來(lái)初始化，而且有多個(gè)構(gòu)造函數(shù)的情況下，那么析構(gòu)的時(shí)候就不能確定析構(gòu)的順序。只有按照聲明的順序，無(wú)論構(gòu)造函數(shù)中初始化列表是何順序，都可以按照確定的順序析構(gòu)。 保持一致性最主要的作用是避免以下類(lèi)似情況的發(fā)生： class CExample CExample(int x, int y); int m_x; int m_y; ; CExample:CExample(int x, int y) : m_y(y), m_x(m_y) 你可能以為上面的代碼將會(huì)首先做m_y=y，然后做m_x=m_y，最后