本文針對C++構(gòu)造函數(shù)進(jìn)行深度探究，供大家參考，具體內(nèi)容如下

1、引子： 
以下代碼中的輸出語句輸出0嗎，為什么？

struct Test
{
　　int _a;
　　Test(int a) : _a(a) {}
　　Test()
　　{
　　　　Test(0);

　　}

};
Test obj;
cout << obj._a << endl; 

輸出為：-858993460

2、剖析
上面代碼的輸出為一個垃圾值，也就是說obj調(diào)用構(gòu)造函數(shù)并沒有對成員進(jìn)行初始化工作，雖然默認(rèn)無參構(gòu)造Test()內(nèi)部調(diào)用了Test(int a)，但從結(jié)果看，初始化工作并不成功。這是為什么呢？ 

在執(zhí)行構(gòu)造函數(shù)時，Test()并不會調(diào)用"this"對象（即obj對象）的Test::Test(int a)，而是會用Test::Test(int a)來創(chuàng)建一個新的臨時實例對象，然后當(dāng)這條語句執(zhí)行完后，這個新的臨時對象馬上就會被銷毀。這樣一來，"this"對象就沒有被初始化，成員_a就是垃圾值，以后使用"this"對象就有可能產(chǎn)生一些問題。

3.重點(diǎn)：構(gòu)造函數(shù)互相調(diào)用
 分析完這個題目之后，我們會想到另一個問題。也是我們今天重點(diǎn)關(guān)注的問題：

class Test
{ 
  int _a; 
  int _b; 
  int _c; 

public:

　　Test(int a, int b) : _a(a), _b(b),_c(0) {} 

　　Test(int a, int b, int c); 

}; 

如果我們C++類中有兩個構(gòu)造函數(shù)，分別為Test(int a, int b)和Test(int a, int b, int c)。如果我們的構(gòu)造函數(shù)Test(int a, int b, int c)要完成所有成員（a,b,c）的賦值初始化工作，可以這樣寫：

Test::Test(int a, int b, int c)  

　　: _a(a)

　　, _b(b)

　　, _c(c)

{ 

} 

但是，這樣寫又重復(fù)了構(gòu)造函數(shù)Test(int a, int b)的工作，類成員少的情況下還好，如果成員非常多，重復(fù)寫的話代碼量過大，而且代碼可讀性降低了。然而我們可以看到構(gòu)造函數(shù)Test(int a, int b)已經(jīng)完成了成員a和成員b的賦值初始化工作，為了減少代碼量，就想著讓3個參數(shù)的構(gòu)造函數(shù)調(diào)用2個參數(shù)的構(gòu)造函數(shù)，然后在執(zhí)行一些自己的代碼，這就如同派生類先調(diào)用基類的同名函數(shù)，再執(zhí)行自己特有的代碼。但是這種機(jī)制如何實現(xiàn)呢？ 

之前我們得出過結(jié)論：構(gòu)造函數(shù)調(diào)用另一個構(gòu)造函數(shù)并不能完成當(dāng)前對象的初始化工作，只是初始化了臨時對象。下面我們就進(jìn)入本文的核心問題：如何在構(gòu)造函數(shù)中調(diào)用本類的另一個構(gòu)造函數(shù)來初始化當(dāng)前對象？

方法一：使用placement new技術(shù)，在3個參數(shù)中顯式調(diào)用2個參數(shù)的構(gòu)造函數(shù)。
3參數(shù)構(gòu)造函數(shù)可以這樣實現(xiàn)：

Test::Test(int a, int b, int c)  
{ 
  new (this) Test(a, b); 
  ... 

} 

構(gòu)造函數(shù)分為2個執(zhí)行階段：一是在初始化列表的初始化階段，二是在構(gòu)造函數(shù)體內(nèi)的賦值階段。上述方法是在第二個階段調(diào)用2個參數(shù)的構(gòu)造函數(shù)。 

placement new是operator new的一個重載版本，只是我們很少用到它。如果你想在已經(jīng)分配的內(nèi)存中創(chuàng)建一個對象，使用new是不行的。也就是說placement new允許你在一個已經(jīng)分配好的內(nèi)存中（?；蚨阎校?gòu)造一個新的對象。原型中void*p實際上就是指向一個已經(jīng)分配好的內(nèi)存緩沖區(qū)的的首地址。placement new技術(shù)的形式是 new(void *p) Type(...)，表示在p所指的內(nèi)存區(qū)域調(diào)用Type構(gòu)造函數(shù)，該過程沒有內(nèi)存請求。 

這個方法本質(zhì)就是在對象地址處，調(diào)用2個參數(shù)的構(gòu)造函數(shù)重新生成一個新的對象然后覆蓋該對象。這個實現(xiàn)方法有投機(jī)取巧的嫌疑。 

方法二：使用C++11新特性——委托構(gòu)造函數(shù)（Delegating constructors）?？梢栽跇?gòu)造函數(shù)初始化列表直接調(diào)用，類似于調(diào)用基類構(gòu)造函數(shù)。

Test::Test(int a, int b, int c) : Test(a, b) 
{ 

  ... 

} 

上述說了構(gòu)造函數(shù)有2個執(zhí)行階段，該方法是在第一個階段進(jìn)行的，更加方便。但是注意不能在Test(a, b)后面在接_c(c)了，因為調(diào)用2個參數(shù)的構(gòu)造函數(shù)之后，就相當(dāng)于該對象已經(jīng)初始化完成了，不能在初始化列表放入其他成員的初始化形式。只能放在構(gòu)造函數(shù)體中的賦值階段。該方法目前只能用在VS2013中。 

這個方法利用了C++11標(biāo)準(zhǔn)中的新特性——委托構(gòu)造函數(shù)（Delegating constructors）。目前只能再VS2013及以上的版本使用，這個方法局限性很大，不過確實很方便。

以上就是本文的全部內(nèi)容，希望對大家的學(xué)習(xí)有所幫助，也希望大家多多支持腳本之家。

最新評論