孫東風：聯(lián)網(wǎng)游戲、應(yīng)用開發(fā)方面有獨特的優(yōu)勢!

假期間閑來無事,就下載了某大師的VC++視頻資料。在講到C++時,說是如果程序員沒有自己定義默認構(gòu)造函數(shù),那么編譯器會自動為我們產(chǎn)生一個默認的構(gòu)造函數(shù)。 本來這個錯誤的認識很多程序員都有,不足為奇。但有這么多年編程經(jīng)驗的高手也有這樣的錯誤認識就不禁讓我啞然了。

其實編程語言和我們所用的任何軟件沒有區(qū)別,例如Photoshop、AutoCAD之類。其唯一不同的是我們用的編程語言是基于編譯器的,而應(yīng)用軟件是基于我們的編程語言的。

既然我們所用的軟件是基于編譯器的,那么理解編譯器在背后到底為我們做了些什么、在什么情況下做了哪些事情就顯得異常重要。這就像Photoshop會為你產(chǎn)生一些基本圖形例如矩形、三角形之類,而不會憑空產(chǎn)生一些風景優(yōu)美的圖片一樣。

在《C++ Annotated Reference Manual(ARM)[ELLIS90]》中的Section 12.1告訴我們:"Default constructors...在需要的時候被編譯器產(chǎn)生出來"。

其實默認構(gòu)造函數(shù)也是分為兩類的:有用的、無用的。

所謂有用的標準也是就默認構(gòu)造函數(shù)會為我們的類做一些初始化操作。那么無用的就不會做任何工作,從而對我們的類也就沒有任何意義。所以,我們通常所說的默認構(gòu)造函數(shù)是指有用的默認構(gòu)造函數(shù),其英文名字叫nontrivial default constructor。

那么到底什么時候編譯器會為我們產(chǎn)生nontrivial default constructor呢?有下面四中情況:

①如果一個類里面某個成員對象有nontrivial default constructor,編譯器就會為我們的類產(chǎn)生nontrivial default constructor。

那么編譯器這樣做的理由是什么?

答案是因為類成員對象有nontrivial default constructor,那么編譯器就需要顯式的來調(diào)用這個類成員對象的nontrivial default constructor。而編譯器想顯式的調(diào)用類成員對象的nontrivial default constructor,就需要自己來合成一些代碼來調(diào)用。但是記住,編譯器合成的nontrivial default constructor僅僅調(diào)用類成員對象的默認構(gòu)造函數(shù),而不對我們類里面的其它變量做任何初始化操作。

也就是說,如果你想初始化類成員變量以外的變量例如一個int、一個String,那么必須自己定義默認構(gòu)造函數(shù)來完成這些變量的初始化。而編譯器會對你定義的默認構(gòu)造函數(shù)做相應(yīng)的擴展,從而調(diào)用類成員對象的nontrivial default constructor。

②如果一個派生類的基類有nontrivial default constructor,那么編譯器會為派生類合成一個nontrivial default constructor。

編譯器這樣的理由是:因為派生類被合成時需要顯式調(diào)用基類的默認構(gòu)造函數(shù)。

③如何一個類里面隱式的含有任何virtual function table(或vtbl)、pointer member(或vptr)。

編譯器這樣做的理由很簡單:因為這些vtbl或vptr需要編譯器隱式(implicit)的合成出來,那么編譯器就把合成動作放到了默認構(gòu)造函數(shù)里面。所以編譯器必須自己產(chǎn)生一個默認構(gòu)造函數(shù)來完成這些操作。

所以如果你的類里帶有任何virtual function,那么編譯器會為你合成一個默認構(gòu)造函數(shù)。

④如果一個類虛繼承于其它類。

編譯器這樣做的理由和③類似:因為虛繼承需要維護一個類似指針一樣,可以動態(tài)的決定內(nèi)存地址的東西(不同編譯器對虛繼承的實現(xiàn)不僅相同)。

那么除了以上四種情況,編譯器并不會為我們的類產(chǎn)生默認構(gòu)造函數(shù)。

所以編程中切忌想當然,要明白哪些事情是編譯器做的,哪些事情需要程序員來完成的。就像堆所占用的資源需要程序員自己來釋放,而棧空間是編譯器管理的一樣。

只有如此,才能編寫出質(zhì)量更高的代碼。