被無視的伊謝爾倫

例如有以下class：

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

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

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

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

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

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

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

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

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

我們再看以下代碼片斷，我們稍做修改：

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

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

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

參考書籍：C++PrimerPlus author:Stephen Prata