概念
背景
在C++中,下面三種對象需要調用拷貝構造函式(有時也稱“複製構造函式”):
1) 一個對象作為函式參數,以值傳遞的方式傳入函式體;
2) 一個對象作為函式返回值,以值傳遞的方式從函式返回;
3) 一個對象用於給另外一個對象進行初始化(常稱為賦值初始化);
如果在前兩種情況不使用拷貝構造函式的時候,就會導致一個指針指向已經被刪除的記憶體空間。對於第三種情況來說,初始化和賦值的不同含義是拷貝構造函式調用的原因。事實上,拷貝構造函式是由普通構造函式和賦值操作符共同實現的。描述拷貝構造函式和賦值運算符的異同的參考資料有很多。
使用原則
通常的原則是:①對於凡是包含動態分配成員或包含指針成員的類都應該提供拷貝構造函式;②在提供拷貝構造函式的同時,還應該考慮重載"="賦值操作符號。
傳遞形式
拷貝構造函式必須以引用的形式傳遞(參數為引用值)。其原因如下:當一個對象以傳遞值的方式傳一個函式的時候,拷貝構造函式自動的被調用來生成函式中的對象。如果一個對象是被傳入自己的拷貝構造函式,它的拷貝構造函式將會被調用來拷貝這個對象這樣複製才可以傳入它自己的拷貝構造函式,這會導致無限循環直至棧溢出(Stack Overflow)。除了當對象傳入函式的時候被隱式調用以外,拷貝構造函式在對象被函式返回的時候也同樣的被調用。
隱式拷貝構造函式
如果在類中沒有顯式的聲明一個拷貝構造函式,那么,編譯器會自動生成一個來進行對象之間非static成員的位拷貝(Bitwise Copy)。這個隱含的拷貝構造函式簡單的關聯了所有的類成員。注意到這個隱式的拷貝構造函式和顯式聲明的拷貝構造函式的不同在於對成員的關聯方式。顯式聲明的拷貝構造函式關聯的只是被實例化的類成員的預設構造函式,除非另外一個構造函式在類初始化或構造列表的時候被調用。
拷貝構造函式使程式更有效率,因為它不用再構造一個對象的時候改變構造函式的參數列表。設計拷貝構造函式是一個良好的風格,即使是編譯系統會自動為你生成默認拷貝構造函式。事實上,默認拷貝構造函式可以應付許多情況。
引申:在這裡,與C#是不同的。C#裡面用已知的對象去初始化另一個對象,傳遞的是該已知對象的 指針,而並不是隱式地拷貝構造函式。例如:
這裡的輸出會是“20,20”而不是C++裡面的10,20。所以一定要跟C++區分開看。
例述
複製初始化
對於下面例子:
語句"CExample theObjtwo=theObjone;"用theObjone初始化theObjtwo。
回顧一下此語句的具體過程:首先建立對象theObjtwo,並調用其構造函式,然後成員被複製初始化。
其完成方式是記憶體拷貝,複製所有成員的值。完成後,theObjtwo.pBuffer==theObjone.pBuffer。
即它們將指向同樣的地方,指針雖然複製了,但所指向的空間並沒有複製,而是由兩個對象共用了。這樣不符合要求,對象之間不獨立了,並為空間的刪除帶來隱患。所以需要採用必要的手段來避免此類情況:可以在構造函式中添加操作來解決指針成員的這種問題。
所以C++語法中除了提供預設形式的構造函式外,還規範了另一種特殊的構造函式:拷貝構造函式,一種特殊的構造函式重載。上面的語句中,如果類中定義了拷貝構造函式,在對象複製初始化時,調用的將是拷貝構造函式,而不是預設構造函式。在拷貝構造函式中,可以根據傳入的變數,複製指針所指向的資源。
拷貝構造函式的格式為:類名(const 類名& 對象名);//拷貝構造函式的原型,參數是常量對象的引用。由於拷貝構造函式的目的是成員複製,不應修改原對象,所以建議使用const關鍵字。
提供了拷貝構造函式後的CExample類定義為:
這樣,定義新對象,並用已有對象初始化新對象時,CExample(const CExample& RightSides)將被調用,而已有對象用別名RightSides傳給構造函式,以用來作複製。
對象按值傳遞
下面介紹拷貝構造函式的另一種調用:當對象直接作為參數傳給函式時,函式將建立對象的臨時拷貝,這個拷貝過程也將調用拷貝構造函式。例如:
BOOL testfunc(CExample obj);
testfunc(theObjone); //對象直接作為參數。
BOOL testfunc(CExample obj)
{
//針對obj的操作實際上是針對複製後的臨時拷貝進行的
}
還有一種情況,也是與臨時對象有關:當函式中的局部對象 作為返回值被返回給函式調者時,也將建立此局部對象的一個臨時拷貝,拷貝構造函式也將被調用。
CTest func()
{
CTest theTest;
return theTest;
}
總結:當某對象是按值傳遞時(無論是作為函式參數,還是作為函式返回值),編譯器都會先建立一個此對象的臨時拷貝,而在建立該臨時拷貝時就會調用類的拷貝構造函式。
賦值重載
重載"="
下面的代碼與上例相似
這裡也用到了"="號,但與"複製初始化"中的例子並不同。"複製初始化"的例子中,"="在對象聲明語句中,表示初始化。更多時候,這種初始化也可用圓括弧表示。例如:CExample theObjthree(theObjone);。
而本例中,"="表示賦值操作。將對象theObjone的內容複製到對象theObjthree,這其中涉及到對象theObjthree原有內容的丟棄,新內容的複製。
但"="的預設操作只是將成員變數的值相應複製。由於對象內包含指針,將造成不良後果:指針的值被丟棄了,但指針指向的內容並未釋放。指針的值被複製了,但指針所指內容並未被複製。
因此,包含動態分配成員的類除提供拷貝構造函式外,還應該考慮重載"="賦值操作符號。
重載注意事宜
拷貝構造函式和賦值函式的功能是相同的,為了不造成重複代碼,拷貝構造函式實現如下:
CExample::CExample(const CExample& RightSides)
{
*this=RightSides; //調用重載後的"="
}
格式示例
格式
拷貝構造函式的聲明:
class 類名
{
public:
類名(形參參數)//構造函式的聲明/原型
類名(類名& 對象名)//拷貝構造函式的聲明/原型
...
};
拷貝構造函式的實現:
類名::類名(類名& 對象名)//拷貝構造函式的實現/定義
{函式體}