構(gòu)造函數(shù)、析構(gòu)函數(shù)與賦值函數(shù)是每個(gè)類最基本的函數(shù)。它們太普通以致讓人容易麻痹大意，其實(shí)這些貌似簡單的函數(shù)就象沒有頂蓋的下水道那樣危險(xiǎn)。 
每個(gè)類只有一個(gè)析構(gòu)函數(shù)和一個(gè)賦值函數(shù)，但可以有多個(gè)構(gòu)造函數(shù)（包含一個(gè)拷貝構(gòu)造函數(shù)，其它的稱為普通構(gòu)造函數(shù)）。對(duì)于任意一個(gè)類A，如果不想編寫上述函數(shù)，C++編譯器將自動(dòng)為A產(chǎn)生四個(gè)缺省的函數(shù)，如

A(void); // 缺省的無參數(shù)構(gòu)造函數(shù)

A(const A &a); // 缺省的拷貝構(gòu)造函數(shù)

~A(void); // 缺省的析構(gòu)函數(shù)

A & operate =(const A &a); // 缺省的賦值函數(shù)


這不禁讓人疑惑，既然能自動(dòng)生成函數(shù)，為什么還要程序員編寫？

原因如下：

（1）如果使用“缺省的無參數(shù)構(gòu)造函數(shù)”和“缺省的析構(gòu)函數(shù)”，等于放棄了自主“初始化”和“清除”的機(jī)會(huì)，C++發(fā)明人Stroustrup的好心好意白費(fèi)了。

（2）“缺省的拷貝構(gòu)造函數(shù)”和“缺省的賦值函數(shù)”均采用“位拷貝”而非“值拷貝”的方式來實(shí)現(xiàn)，倘若類中含有指針變量，這兩個(gè)函數(shù)注定將出錯(cuò)。


對(duì)于那些沒有吃夠苦頭的C++程序員，如果他說編寫構(gòu)造函數(shù)、析構(gòu)函數(shù)與賦值函數(shù)很容易，可以不用動(dòng)腦筋，表明他的認(rèn)識(shí)還比較膚淺，水平有待于提高。

本章以類String的設(shè)計(jì)與實(shí)現(xiàn)為例，深入闡述被很多教科書忽視了的道理。String的結(jié)構(gòu)如下：

class String

{

public:

String(const char *str = NULL); // 普通構(gòu)造函數(shù)

String(const String &other); // 拷貝構(gòu)造函數(shù)

~ String(void); // 析構(gòu)函數(shù)

String & operate =(const String &other); // 賦值函數(shù)

private:

char *m_data; // 用于保存字符串

};

 

9.1 構(gòu)造函數(shù)與析構(gòu)函數(shù)的起源
作為比C更先進(jìn)的語言，C++提供了更好的機(jī)制來增強(qiáng)程序的安全性。C++編譯器具有嚴(yán)格的類型安全檢查功能，它幾乎能找出程序中所有的語法問題，這的確幫了程序員的大忙。但是程序通過了編譯檢查并不表示錯(cuò)誤已經(jīng)不存在了，在“錯(cuò)誤”的大家庭里，“語法錯(cuò)誤”的地位只能算是小弟弟。級(jí)別高的錯(cuò)誤通常隱藏得很深，就象狡猾的罪犯，想逮住他可不容易。

根據(jù)經(jīng)驗(yàn)，不少難以察覺的程序錯(cuò)誤是由于變量沒有被正確初始化或清除造成的，而初始化和清除工作很容易被人遺忘。Stroustrup在設(shè)計(jì)C++語言時(shí)充分考慮了這個(gè)問題并很好地予以解決：把對(duì)象的初始化工作放在構(gòu)造函數(shù)中，把清除工作放在析構(gòu)函數(shù)中。當(dāng)對(duì)象被創(chuàng)建時(shí)，構(gòu)造函數(shù)被自動(dòng)執(zhí)行。當(dāng)對(duì)象消亡時(shí)，析構(gòu)函數(shù)被自動(dòng)執(zhí)行。這下就不用擔(dān)心忘了對(duì)象的初始化和清除工作。

構(gòu)造函數(shù)與析構(gòu)函數(shù)的名字不能隨便起，必須讓編譯器認(rèn)得出才可以被自動(dòng)執(zhí)行。Stroustrup的命名方法既簡單又合理：讓構(gòu)造函數(shù)、析構(gòu)函數(shù)與類同名，由于析構(gòu)函數(shù)的目的與構(gòu)造函數(shù)的相反，就加前綴‘~’以示區(qū)別。

除了名字外，構(gòu)造函數(shù)與析構(gòu)函數(shù)的另一個(gè)特別之處是沒有返回值類型，這與返回值類型為void的函數(shù)不同。構(gòu)造函數(shù)與析構(gòu)函數(shù)的使命非常明確，就象出生與死亡，光溜溜地來光溜溜地去。如果它們有返回值類型，那么編譯器將不知所措。為了防止節(jié)外生枝，干脆規(guī)定沒有返回值類型。（以上典故參考了文獻(xiàn)[Eekel, p55-p56]）

9.2 構(gòu)造函數(shù)的初始化表
構(gòu)造函數(shù)有個(gè)特殊的初始化方式叫“初始化表達(dá)式表”（簡稱初始化表）。初始化表位于函數(shù)參數(shù)表之后，卻在函數(shù)體 {} 之前。這說明該表里的初始化工作發(fā)生在函數(shù)體內(nèi)的任何代碼被執(zhí)行之前。

構(gòu)造函數(shù)初始化表的使用規(guī)則：

u 如果類存在繼承關(guān)系，派生類必須在其初始化表里調(diào)用基類的構(gòu)造函數(shù)。

例如

class A

{…

A(int x); // A的構(gòu)造函數(shù)

}; 

class B : public A

{…

B(int x, int y);// B的構(gòu)造函數(shù)

};

B::B(int x, int y)

: A(x) // 在初始化表里調(diào)用A的構(gòu)造函數(shù)

{

…

} 

u 類的const常量只能在初始化表里被初始化，因?yàn)樗荒茉诤瘮?shù)體內(nèi)用賦值的方式來初始化（參見5.4節(jié)）。

u 類的數(shù)據(jù)成員的初始化可以采用初始化表或函數(shù)體內(nèi)賦值兩種方式，這兩種方式的效率不完全相同。

非內(nèi)部數(shù)據(jù)類型的成員對(duì)象應(yīng)當(dāng)采用第一種方式初始化，以獲取更高的效率。例如

class A

{…

A(void); // 無參數(shù)構(gòu)造函數(shù)

A(const A &other); // 拷貝構(gòu)造函數(shù)

A & operate =( const A &other); // 賦值函數(shù)

}；


class B

{

public:

B(const A &a); // B的構(gòu)造函數(shù)

private: 

A m_a; // 成員對(duì)象

};


示例9-2(a)中，類B的構(gòu)造函數(shù)在其初始化表里調(diào)用了類A的拷貝構(gòu)造函數(shù)，從而將成員對(duì)象m_a初始化。

示例9-2 (b)中，類B的構(gòu)造函數(shù)在函數(shù)體內(nèi)用賦值的方式將成員對(duì)象m_a初始化。我們看到的只是一條賦值語句，但實(shí)際上B的構(gòu)造函數(shù)干了兩件事：先暗地里創(chuàng)建m_a對(duì)象（調(diào)用了A的無參數(shù)構(gòu)造函數(shù)），再調(diào)用類A的賦值函數(shù)，將參數(shù)a賦給m_a。


B::B(const A &a)

: m_a(a) 

{ 

… 

}
B::B(const A &a)

{

m_a = a;

…

}


示例9-2(a) 成員對(duì)象在初始化表中被初始化 示例9-2(b) 成員對(duì)象在函數(shù)體內(nèi)被初始化


對(duì)于內(nèi)部數(shù)據(jù)類型的數(shù)據(jù)成員而言，兩種初始化方式的效率幾乎沒有區(qū)別，但后者的程序版式似乎更清晰些。若類F的聲明如下：

class F

{

public:

F(int x, int y); // 構(gòu)造函數(shù)

private:

int m_x, m_y;

int m_i, m_j;

}

示例9-2(c)中F的構(gòu)造函數(shù)采用了第一種初始化方式，示例9-2(d)中F的構(gòu)造函數(shù)采用了第二種初始化方式。


F::F(int x, int y)

: m_x(x), m_y(y) 

{ 

m_i = 0; 

m_j = 0;

}
F::F(int x, int y)

{ 

m_x = x;

m_y = y;

m_i = 0; 

m_j = 0;

}


示例9-2(c) 數(shù)據(jù)成員在初始化表中被初始化 示例9-2(d) 數(shù)據(jù)成員在函數(shù)體內(nèi)被初始化

9.3 構(gòu)造和析構(gòu)的次序
構(gòu)造從類層次的最根處開始，在每一層中，首先調(diào)用基類的構(gòu)造函數(shù)，然后調(diào)用成員對(duì)象的構(gòu)造函數(shù)。析構(gòu)則嚴(yán)格按照與構(gòu)造相反的次序執(zhí)行，該次序是唯一的，否則編譯器將無法自動(dòng)執(zhí)行析構(gòu)過程。

一個(gè)有趣的現(xiàn)象是，成員對(duì)象初始化的次序完全不受它們?cè)诔跏蓟碇写涡虻挠绊?，只由成員對(duì)象在類中聲明的次序決定。這是因?yàn)轭惖穆暶魇俏ㄒ坏?，而類的?gòu)造函數(shù)可以有多個(gè)，因此會(huì)有多個(gè)不同次序的初始化表。如果成員對(duì)象按照初始化表的次序進(jìn)行構(gòu)造，這將導(dǎo)致析構(gòu)函數(shù)無法得到唯一的逆序。[Eckel, p260-261]

9.4 示例：類String的構(gòu)造函數(shù)與析構(gòu)函數(shù)
// String的普通構(gòu)造函數(shù)

String::String(const char *str)

{

if(str==NULL)

{

m_data = new char[1];

*m_data = ‘\0’;

} 

else

{

int length = strlen(str);

m_data = new char[length+1];

strcpy(m_data, str);

}

} 


// String的析構(gòu)函數(shù)

String::~String(void)

{

delete [] m_data; 

// 由于m_data是內(nèi)部數(shù)據(jù)類型，也可以寫成 delete m_data;

}

9.5 不要輕視拷貝構(gòu)造函數(shù)與賦值函數(shù)
由于并非所有的對(duì)象都會(huì)使用拷貝構(gòu)造函數(shù)和賦值函數(shù)，程序員可能對(duì)這兩個(gè)函數(shù)有些輕視。請(qǐng)先記住以下的警告，在閱讀正文時(shí)就會(huì)多心：

u 本章開頭講過，如果不主動(dòng)編寫拷貝構(gòu)造函數(shù)和賦值函數(shù)，編譯器將以“位拷貝”的方式自動(dòng)生成缺省的函數(shù)。倘若類中含有指針變量，那么這兩個(gè)缺省的函數(shù)就隱含了錯(cuò)誤。以類String的兩個(gè)對(duì)象a,b為例，假設(shè)a.m_data的內(nèi)容為“hello”，b.m_data的內(nèi)容為“world”。

現(xiàn)將a賦給b，缺省賦值函數(shù)的“位拷貝”意味著執(zhí)行b.m_data = a.m_data。這將造成三個(gè)錯(cuò)誤：一是b.m_data原有的內(nèi)存沒被釋放，造成內(nèi)存泄露；二是b.m_data和a.m_data指向同一塊內(nèi)存，a或b任何一方變動(dòng)都會(huì)影響另一方；三是在對(duì)象被析構(gòu)時(shí)，m_data被釋放了兩次。


u 拷貝構(gòu)造函數(shù)和賦值函數(shù)非常容易混淆，常導(dǎo)致錯(cuò)寫、錯(cuò)用?？截悩?gòu)造函數(shù)是在對(duì)象被創(chuàng)建時(shí)調(diào)用的，而賦值函數(shù)只能被已經(jīng)存在了的對(duì)象調(diào)用。以下程序中，第三個(gè)語句和第四個(gè)語句很相似，你分得清楚哪個(gè)調(diào)用了拷貝構(gòu)造函數(shù)，哪個(gè)調(diào)用了賦值函數(shù)嗎？

String a(“hello”);

String b(“world”);

String c = a; // 調(diào)用了拷貝構(gòu)造函數(shù)，最好寫成 c(a);

c = b; // 調(diào)用了賦值函數(shù)

本例中第三個(gè)語句的風(fēng)格較差，宜改寫成String c(a) 以區(qū)別于第四個(gè)語句。

9.6 示例：類String的拷貝構(gòu)造函數(shù)與賦值函數(shù)
// 拷貝構(gòu)造函數(shù)

String::String(const String &other)

{ 

// 允許操作other的私有成員m_data

int length = strlen(other.m_data); 

m_data = new char[length+1];

strcpy(m_data, other.m_data);

}


// 賦值函數(shù)

String & String::operate =(const String &other)

{ 

// (1) 檢查自賦值

if(this == &other)

return *this;


// (2) 釋放原有的內(nèi)存資源

delete [] m_data;


// （3）分配新的內(nèi)存資源，并復(fù)制內(nèi)容

int length = strlen(other.m_data); 

m_data = new char[length+1];

strcpy(m_data, other.m_data);


// （4）返回本對(duì)象的引用

return *this;

} 


類String拷貝構(gòu)造函數(shù)與普通構(gòu)造函數(shù)（參見9.4節(jié)）的區(qū)別是：在函數(shù)入口處無需與NULL進(jìn)行比較，這是因?yàn)椤耙谩辈豢赡苁荖ULL，而“指針”可以為NULL。


類String的賦值函數(shù)比構(gòu)造函數(shù)復(fù)雜得多，分四步實(shí)現(xiàn)：

（1）第一步，檢查自賦值。你可能會(huì)認(rèn)為多此一舉，難道有人會(huì)愚蠢到寫出 a = a 這樣的自賦值語句！的確不會(huì)。但是間接的自賦值仍有可能出現(xiàn)，例如


// 內(nèi)容自賦值

b = a;

…

c = b;

…

a = c; 
// 地址自賦值

b = &a;

…

a = *b;



也許有人會(huì)說：“即使出現(xiàn)自賦值，我也可以不理睬，大不了化點(diǎn)時(shí)間讓對(duì)象復(fù)制自己而已，反正不會(huì)出錯(cuò)！”

他真的說錯(cuò)了。看看第二步的delete，自殺后還能復(fù)制自己嗎？所以，如果發(fā)現(xiàn)自賦值，應(yīng)該馬上終止函數(shù)。注意不要將檢查自賦值的if語句

if(this == &other)

錯(cuò)寫成為

if( *this == other)

（2）第二步，用delete釋放原有的內(nèi)存資源。如果現(xiàn)在不釋放，以后就沒機(jī)會(huì)了，將造成內(nèi)存泄露。

（3）第三步，分配新的內(nèi)存資源，并復(fù)制字符串。注意函數(shù)strlen返回的是有效字符串長度，不包含結(jié)束符‘\0’。函數(shù)strcpy則連‘\0’一起復(fù)制。

（4）第四步，返回本對(duì)象的引用，目的是為了實(shí)現(xiàn)象 a = b = c 這樣的鏈?zhǔn)奖磉_(dá)。注意不要將 return *this 錯(cuò)寫成 return this 。那么能否寫成return other 呢？效果不是一樣嗎？

不可以！因?yàn)槲覀儾恢绤?shù)other的生命期。有可能other是個(gè)臨時(shí)對(duì)象，在賦值結(jié)束后它馬上消失，那么return other返回的將是垃圾。

9.7 偷懶的辦法處理拷貝構(gòu)造函數(shù)與賦值函數(shù)
如果我們實(shí)在不想編寫拷貝構(gòu)造函數(shù)和賦值函數(shù)，又不允許別人使用編譯器生成的缺省函數(shù)，怎么辦？

偷懶的辦法是：只需將拷貝構(gòu)造函數(shù)和賦值函數(shù)聲明為私有函數(shù)，不用編寫代碼。

例如：

class A

{ …

private:

A(const A &a); // 私有的拷貝構(gòu)造函數(shù)

A & operate =(const A &a); // 私有的賦值函數(shù)

};


如果有人試圖編寫如下程序：

A b(a); // 調(diào)用了私有的拷貝構(gòu)造函數(shù)

b = a; // 調(diào)用了私有的賦值函數(shù)

編譯器將指出錯(cuò)誤，因?yàn)橥饨绮豢梢圆僮鰽的私有函數(shù)。

9.8 如何在派生類中實(shí)現(xiàn)類的基本函數(shù)
基類的構(gòu)造函數(shù)、析構(gòu)函數(shù)、賦值函數(shù)都不能被派生類繼承。如果類之間存在繼承關(guān)系，在編寫上述基本函數(shù)時(shí)應(yīng)注意以下事項(xiàng)：

u 派生類的構(gòu)造函數(shù)應(yīng)在其初始化表里調(diào)用基類的構(gòu)造函數(shù)。

u 基類與派生類的析構(gòu)函數(shù)應(yīng)該為虛（即加virtual<span style='font-family:宋體;mso-ascii-font-family: "Times New Roman";mso-hansi-font-family:"Times New Ro