被無(wú)視的伊謝爾倫

例如有以下class：

在構(gòu)造函數(shù)和析構(gòu)函數(shù)定義當(dāng)中有如下定義：

那么在程序當(dāng)中如果有以下代碼：

以上的第二條初始化語(yǔ)句將會(huì)調(diào)用什么構(gòu)造函數(shù)？記住，這種形式的初始化等效于下面的語(yǔ)句：

因?yàn)閟ports的類型為StringBad，因此相應(yīng)的構(gòu)造函數(shù)原型應(yīng)該如下：

當(dāng)我們使用一個(gè)對(duì)象來(lái)初始化另一個(gè)對(duì)象時(shí)，編譯器將自動(dòng)生成上述構(gòu)造函數(shù)（稱為復(fù)制構(gòu)造函數(shù)，因?yàn)樗鼊?chuàng)建對(duì)象的一個(gè)副本）。
現(xiàn)在我們不妨總結(jié)一下所謂的隱式成員函數(shù)，即C++自動(dòng)提供了以下這些成員函數(shù)：

• 默認(rèn)構(gòu)造函數(shù)，如果沒(méi)有定義構(gòu)造函數(shù)。
• 復(fù)制構(gòu)造函數(shù)，如果沒(méi)有定義。
• 賦值操作符，如果沒(méi)有定義。
• 默認(rèn)析構(gòu)函數(shù)，如果沒(méi)有定義。
• 地址操作符，如果沒(méi)有定義。

現(xiàn)在我們來(lái)看看我們沒(méi)有定義復(fù)制構(gòu)造函數(shù)的情況下調(diào)用隱式復(fù)制構(gòu)造函數(shù)將會(huì)出現(xiàn)什么情況。
從構(gòu)造函數(shù)定義的代碼片斷可以看到，當(dāng)中使用new操作符初始化了一個(gè)指針str，而隱式的復(fù)制構(gòu)造函數(shù)是按值進(jìn)行復(fù)制的，那么對(duì)于指針str，將會(huì)進(jìn)行如下復(fù)制：

這里復(fù)制的不是字符串，而是一個(gè)指向字符串的指針！也就是說(shuō)，我們將得到兩個(gè)指向同一個(gè)字符串的指針！由此會(huì)產(chǎn)生的問(wèn)題將不言而喻。當(dāng)其中一個(gè)對(duì)象調(diào)用了析構(gòu)函數(shù)之后，其str指向的內(nèi)存將被釋放，這個(gè)時(shí)候我們?nèi)绻{(diào)用另一個(gè)對(duì)象，其str指向的地址數(shù)據(jù)會(huì)是什么？很明顯將會(huì)出現(xiàn)不可預(yù)料的結(jié)果。

所以由此可見(jiàn)，如果類中包含了使用new初始化的指針成員，應(yīng)當(dāng)定義一個(gè)復(fù)制構(gòu)造函數(shù)，以復(fù)制指向的數(shù)據(jù)，而不是指針，這被稱為深度復(fù)制。因?yàn)槟J(rèn)的淺復(fù)制（或成為成員復(fù)制）僅淺淺的賦值指針信息。

我們?cè)倏匆韵麓a片斷，我們稍做修改：

這里的最后一行將與以上例子有所區(qū)別，現(xiàn)在是將已有對(duì)象賦給另一個(gè)已有對(duì)象，這將會(huì)采取其他操作，即使用重載的賦值操作符。（我們需要知道的是：初始化總是會(huì)調(diào)用復(fù)制構(gòu)造函數(shù)，而使用=操作符時(shí)也可能調(diào)用賦值操作符）因?yàn)镃++允許對(duì)象賦值，這是通過(guò)自動(dòng)為類重載賦值操作符實(shí)現(xiàn)的。其原型如下：

它接受并返回一個(gè)指向類對(duì)象的引用。
與隱式的復(fù)制構(gòu)造函數(shù)一樣，隱式的對(duì)象賦值操作符也會(huì)產(chǎn)生同樣的問(wèn)題，即包含了使用new初始化的指針成員時(shí)，只會(huì)采用淺復(fù)制。所以我們需要使用同樣的解決辦法，即定義一個(gè)重載的賦值操作符來(lái)實(shí)現(xiàn)深度復(fù)制。

所以綜上所述，如果類中包含了使用new初始化的指針成員，我們應(yīng)該顯式定義一個(gè)復(fù)制構(gòu)造函數(shù)和一個(gè)重載的賦值操作符來(lái)實(shí)現(xiàn)其深度復(fù)制，避免由此帶來(lái)的成員復(fù)制問(wèn)題

參考書(shū)籍：C++PrimerPlus author:Stephen Prata