C++ 類的構(gòu)造函數(shù)

默認構(gòu)造函數(shù)

如果你定義一個類，并且沒有給它定義構(gòu)造函數(shù)。編譯器會為這個類提供默認的構(gòu)造函數(shù)。如果你提供了構(gòu)造函數(shù)，編譯器是不會再為你提供一個默認構(gòu)造函數(shù)的。編譯器提供的默認構(gòu)造函數(shù)什么都沒做。類的成員變量將遵守默認的初始化規(guī)則。

編譯器提供的默認構(gòu)造函數(shù)的初始化規(guī)則：

在棧和堆中的類對象的內(nèi)置或復(fù)合類型成員變量將為臟數(shù)據(jù)；

在全局變量區(qū)的類對象的內(nèi)置或復(fù)合類型成員變量初始化為0；

類對象成員將調(diào)用默認的構(gòu)造函數(shù)來初始化；

#include <iostream> 
using namespace std; 
class Box 
{ 
  public: 
  int length; 
  int width; 
}; 
Box box1; 
int main() 
{ 
  Box box2; 
  Box *pbox3 = new Box; 
  cout<<"box1.length == "<<box1.length<<" box1.width == "<<box1.width<<endl; 
  cout<<"box2.length == "<<box2.length<<" box2.width == "<<box2.width<<endl; 
  cout<<"box3.length == "<<pbox3->length<<" box3.width == "<<pbox3->width<<endl; 
  return 0; 
} 

上面代碼的結(jié)果為：

box1.length == 0 box1.width == 0
box2.length == 2686792 box2.width == 1987092020
box3.length == 3811912 box3.width == 3801284 

帶默認實參的構(gòu)造函數(shù)

就像對普通函數(shù)一樣可以為構(gòu)造函數(shù)的參數(shù)指定默認值。

如果你為類定義了一個默認構(gòu)造函數(shù)，又定義了一個所有參數(shù)都有默認的值的構(gòu)造函數(shù)。（技術(shù)上來說，這是重載了）用默認構(gòu)造函數(shù)構(gòu)造類對象時將會產(chǎn)生編譯錯誤。因為編譯器不知道選擇哪個重載函數(shù)。 

構(gòu)造函數(shù)的初始化列表

除了在構(gòu)造函數(shù)的函數(shù)體中用明確的賦值表達式給類成員賦值（從嚴(yán)格的概念上來說這不是初始化），推薦的做法是使用初始化列表。初始化列表以一個冒號開始，緊接著一個一個用逗號分隔的數(shù)據(jù)成員列表，每個數(shù)據(jù)成員后跟一個放在圓括號中的初始化式。構(gòu)造函數(shù)的初始化列表只能在實現(xiàn)中指定而不能在定義體中指定。而類的成員函數(shù)（構(gòu)造函數(shù)也不例外）的實現(xiàn)既可以在類的定義體中（內(nèi)聯(lián)函數(shù)），也可以在類的實現(xiàn)中。 

成員的初始化次序

每個成員只能在初始化列表中指定一次。而且成員在初始化列表中出現(xiàn)的順序并不代表成員的實際初始化順序。成員的初始化順序是按照它們在類定義中出現(xiàn)的順序來的。所以成員的初始化最好不要相互依賴，如果你確定它們要相互依賴，你得清楚它們在類定義中的出現(xiàn)順序。

構(gòu)造函數(shù)的構(gòu)造的兩個階段

 （1）初始化階段（根據(jù)默認的變量初始化規(guī)則和初始化列表來執(zhí)行）；（2）構(gòu)造函數(shù)中的函數(shù)體執(zhí)行階段（這時構(gòu)造函數(shù)體內(nèi)的賦值語句才會執(zhí)行）。

為什么推薦使用初始化列表？

1.在許多類中，初始化和賦值嚴(yán)格來講都是低效率的：數(shù)據(jù)成員可能已經(jīng)被直接初始化了，還要對它進行初始化和賦值。
2.比第一點提到的效率更重要的是，某些類型的數(shù)據(jù)成員必須要初始化。

       有些類型的成員必須在初始化列表中進行初始化，比如const對象和引用類型對象。它們只能初始化而不能賦值。在執(zhí)行構(gòu)造函數(shù)體之前必須完成初始化。在函數(shù)體內(nèi)對它們賦值會引發(fā)編譯錯誤。

        類類型的成員變量也要特別注意，如果你不對它在初始化列表中的初始化，編譯器將會嘗試在初始化階段調(diào)用它的默認構(gòu)造函數(shù)給他初始化。如果它沒有默認的構(gòu)造函數(shù)，這將會導(dǎo)致運行時錯誤。另一種情況是你只在構(gòu)造函數(shù)體內(nèi)對類對象的成員進行了賦值。初始化階段將會調(diào)用該類對象成員的默認構(gòu)造函數(shù)，計算階段將會調(diào)用構(gòu)造函數(shù)體內(nèi)指定構(gòu)造函數(shù)。意思是該類對象成員調(diào)用了兩次構(gòu)造函數(shù)，第二次的會覆蓋第一次的。

構(gòu)造函數(shù)與隱式類型轉(zhuǎn)換、explicit

       C++支持類型自動轉(zhuǎn)換?？梢远x如何將其他類的對象隱式轉(zhuǎn)換為我們的類類型，也可以將我們的類類型對象隱式的轉(zhuǎn)換為其他類型。構(gòu)造函數(shù)有個隱含規(guī)則：可以用單個實參類調(diào)用的構(gòu)造函數(shù)定義了一個從該形參類型到該類類型的一個隱式轉(zhuǎn)換。有時候這不是你想要的，并且會引發(fā)錯誤。例如你定義了下面的類。

class Box 
{ 
  public: 
  Box(int x=1,int y=1); 
  int length; 
  int width; 
}; 
Box::Box(int x,int y):length(x),width(y) 
{ 
} 

如果你Box box= 2來初始化一個Box對象。編譯器將2隱式轉(zhuǎn)換為一個Box對象，相當(dāng)于調(diào)用了構(gòu)造函數(shù)Box（2）。

如果你在需要Box類型參數(shù)的函數(shù)調(diào)用中傳入的是一個int實參，將會構(gòu)造一個臨時的Box對象再傳入函數(shù)作參數(shù)。函數(shù)結(jié)束后，這Box對象也就消失了，這有什么用呢？這幾乎肯定是一個錯誤。對此我們可以：

1.用關(guān)鍵字explicit阻止構(gòu)造函數(shù)定義的隱式轉(zhuǎn)換

       在類構(gòu)造函數(shù)的聲明前加上explicit關(guān)鍵字（注意不能在定義中加），可以阻止隱式轉(zhuǎn)換。

class Box 
{ 
  public: 
  explicit Box(int x=1,int y=1); 
  int length; 
  int width; 
}; 

如果你再這樣定義一個Box對象：Box box = 2或者將int類型對象作為參數(shù)當(dāng)做Box對象傳給某個函數(shù)，將會引發(fā)編譯錯誤。

2.每次轉(zhuǎn)換，自己顯示的使用構(gòu)造函數(shù)。這樣可以防止隱式轉(zhuǎn)換。
在需要Box對象實參的的函數(shù)調(diào)用中用func(Box(2))來調(diào)用類的構(gòu)造函數(shù)創(chuàng)建一個臨時對象，防止自動的隱式轉(zhuǎn)換。

建議：除非有明確的理由允許隱式轉(zhuǎn)換，可以用單個參數(shù)調(diào)用的構(gòu)造函數(shù)都應(yīng)該定義為explicit。

感謝閱讀，希望能幫助到大家，謝謝大家對本站的支持!