什么是拷貝構造函數

本篇文章給大家分享的是有關什么是拷貝構造函數，小編覺得挺實用的，因此分享給大家學習，希望大家閱讀完這篇文章后可以有所收獲，話不多說，跟著小編一起來看看吧。

拷貝構造函數

  拷貝構造函數

拷貝構造函數，是一種特殊的構造函數，它由編譯器調用來完成一些基于同一類的其他對象的構建及初始化。其唯一的參數（對象的引用）是不可變的（const類型）。此函數經常用在函數調用時用戶定義類型的值傳遞及返回。拷貝構造函數要調用基類的拷貝構造函數和成員函數。如果可以的話，它將用常量方式調用，另外，也可以用非常量方式調用。

目錄

• 1、拷貝構造函數概述

• 2、拷貝構造函數例述

• 3、賦值操作符的重載

• 4、拷貝構造函數的格式與示例

• 展開

• 1、拷貝構造函數概述

• 2、拷貝構造函數例述

• 3、賦值操作符的重載

• 4、拷貝構造函數的格式與示例

• 展開

編輯本段1、拷貝構造函數概述

調用拷貝構造函數的情形

　　在C++中，下面三種對象需要調用拷貝構造函數（有時也稱“復制構造函數”）：

　　1) 一個對象作為函數參數，以值傳遞的方式傳入函數體；

　　2) 一個對象作為函數返回值，以值傳遞的方式從函數返回；

　　3) 一個對象用于給另外一個對象進行初始化（常稱為復制初始化）；

　　如果在前兩種情況不使用拷貝構造函數的時候，就會導致一個指針指向已經被刪除的內存空間。對于第三種情況來說，初始化和賦值的不同含義是拷貝構造函數調用的原因。事實上，拷貝構造函數是由普通構造函數和賦值操作符共同實現的。描述拷貝構造函數和賦值運算符的異同的參考資料有很多。

　　通常的原則是：①對于凡是包含動態分配成員或包含指針成員的類都應該提供拷貝構造函數；②在提供拷貝構造函數的同時，還應該考慮重載"="賦值操作符號。原因詳見后文。

　　拷貝構造函數必須以引用的形式傳遞(參數為引用值)。其原因如下：當一個對象以傳遞值的方式傳一個函數的時候，拷貝構造函數自動的被調用來生成函數中的對象。如果一個對象是被傳入自己的拷貝構造函數，它的拷貝構造函數將會被調用來拷貝這個對象這樣復制才可以傳入它自己的拷貝構造函數，這會導致無限循環直至棧溢出（Stack
Overflow）。除了當對象傳入函數的時候被隱式調用以外，拷貝構造函數在對象被函數返回的時候也同樣的被調用。

隱式的拷貝構造函數

　　如果在類中沒有顯式的聲明一個拷貝構造函數，那么，編譯器會自動生成一個來進行對象之間非static成員的位拷貝（Bitwise Copy）。這個隱含的拷貝構造函數簡單的關聯了所有的類成員。注意到這個隱式的拷貝構造函數和顯式聲明的拷貝構造函數的不同在于對成員的關聯方式。顯式聲明的拷貝構造函數關聯的只是被實例化的類成員的缺省構造函數，除非另外一個構造函數在類初始化或構造列表的時候被調用。

　　拷貝構造函數使程序更有效率，因為它不用再構造一個對象的時候改變構造函數的參數列表。設計拷貝構造函數是一個良好的風格，即使是編譯系統會自動為你生成默認拷貝構造函數。事實上，默認拷貝構造函數可以應付許多情況。

編輯本段2、拷貝構造函數例述

復制初始化

　　以下討論中將用到的例子：

　　class CExample

　　{

　　public:

　　CExample(){pBuffer=NULL; nSize=0;}

　　~CExample(){delete []pBuffer;}

　　void Init(int n){ pBuffer=new char[n]; nSize=n;}

　　private:

　　char *pBuffer; //類的對象中包含指針,指向動態分配的內存資源

　　int nSize;

　　};

　　這個類的主要特點是包含指向其他資源的指針，pBuffer指向堆中動態分配的一段內存空間。

　　int main(int argc, char* argv[])

　　{

　　CExample theObjone;

　　theObjone.Init(40);

　　//現在需要另一個對象,并將它初始化為theObjone

　　CExample theObjtwo=theObjone;

　　...

　　}

　　語句"CExample theObjtwo=theObjone;"用theObjone初始化theObjtwo。

　　回顧一下此語句的具體過程：首先建立對象theObjtwo，并調用其構造函數，然后成員被復制初始化。

　　其完成方式是內存拷貝，復制所有成員的值。完成后，theObjtwo.pBuffer==theObjone.pBuffer。

　　即它們將指向同樣的地方，指針雖然復制了，但所指向的空間并沒有復制，而是由兩個對象共用了。這樣不符合要求，對象之間不獨立了，并為空間的刪除帶來隱患。所以需要采用必要的手段來避免此類情況：可以在構造函數中添加操作來解決指針成員的這種問題。

　　所以C++語法中除了提供缺省形式的構造函數外，還規范了另一種特殊的構造函數：拷貝構造函數，一種特殊的構造函數重載。上面的語句中，如果類中定義了拷貝構造函數，在對象復制初始化時，調用的將是拷貝構造函數，而不是缺省構造函數。在拷貝構造函數中，可以根據傳入的變量，復制指針所指向的資源。

　　拷貝構造函數的格式為：類名（const 類名& 對象名）;//拷貝構造函數的原型，參數是常量對象的引用。由于拷貝構造函數的目的是成員復制，不應修改原對象，所以建議使用const關鍵字。

　　提供了拷貝構造函數后的CExample類定義為：

　　class CExample

　　{

　　public:

　　CExample(){pBuffer=NULL; nSize=0;}

　　~CExample(){delete []pBuffer;}

　　CExample(const CExample&); //拷貝構造函數

　　void Init(int n){ pBuffer=new char[n]; nSize=n;}

　　private:

　　char *pBuffer; //類的對象中包含指針,指向動態分配的內存資源

　　int nSize;

　　};

　　CExample::CExample(const CExample& RightSides) //拷貝構造函數的定義

　　{

　　nSize=RightSides.nSize; //復制常規成員

　　pBuffer=new char[nSize]; //復制指針指向的內容

　　memcpy(pBuffer,RightSides.pBuffer,nSize*sizeof(char));

　　}

　　這樣，定義新對象，并用已有對象初始化新對象時，CExample(const CExample& RightSides)將被調用，而已有對象用別名RightSides傳給構造函數，以用來作復制。

對象按值傳遞

　　下面介紹拷貝構造函數的另一種調用：當對象直接作為參數傳給函數時，函數將建立對象的臨時拷貝，這個拷貝過程也將調用拷貝構造函數。例如：

　　BOOL testfunc(CExample obj);

　　testfunc(theObjone); //對象直接作為參數。

　　BOOL testfunc(CExample obj)

　　{

　　//針對obj的操作實際上是針對復制后的臨時拷貝進行的

　　}

　　還有一種情況，也是與臨時對象有關：當函數中的局部對象作為返回值被返回給函數調者時，也將建立此局部對象的一個臨時拷貝，拷貝構造函數也將被調用。

　　CTest func()

　　{

　　CTest theTest;

　　return theTest;

　　}

　　總結：當某對象是按值傳遞時（無論是作為函數參數，還是作為函數返回值），編譯器都會先建立一個此對象的臨時拷貝，而在建立該臨時拷貝時就會調用類的拷貝構造函數。

編輯本段3、賦值操作符的重載

重載的必要性

　　下面的代碼與上例相似

　　int main(int argc, char* argv[])

　　{

　　CExample theObjone;

　　theObjone.Init(40);

　　CExample theObjthree;

　　theObjthree.init(60);

　　//現在需要一個對象賦值操作,被賦值對象的原內容被清除，并用右邊對象的內容填充。

　　theObjthree=theObjone;

　　return 0;

　　}

　　這里也用到了"="號，但與"復制初始化"中的例子并不同。"復制初始化"的例子中，"="在對象聲明語句中，表示初始化。更多時候，這種初始化也可用圓括號表示。例如：CExample theObjthree(theObjone);。

　　而本例子中，"="表示賦值操作。將對象theObjone的內容復制到對象theObjthree，這其中涉及到對象theObjthree原有內容的丟棄，新內容的復制。

　　但"="的缺省操作只是將成員變量的值相應復制。由于對象內包含指針，將造成不良后果：指針的值被丟棄了，但指針指向的內容并未釋放。指針的值被復制了，但指針所指內容并未被復制。

　　因此，包含動態分配成員的類除提供拷貝構造函數外，還應該考慮重載"="賦值操作符號。

重載的示例

　　類定義變為:

　　class CExample

　　{

　　public:

　　CExample(){pBuffer=NULL; nSize=0;}

　　~CExample(){delete pBuffer;}

　　CExample(const CExample&); //拷貝構造函數

　　CExample& operator = (const CExample&); //賦值符重載

　　void Init(int n){ pBuffer=new char[n]; nSize=n;}

　　private:

　　char *pBuffer; //類的對象中包含指針,指向動態分配的內存資源

　　int nSize;

　　};

　　//賦值操作符重載

　　CExample& CExample::operator = (const CExample& RightSides)

　　{

　　if (this == &RightSides) // 如果自己給自己賦值則直接返回

　　{return *this;}

　　nSize=RightSides.nSize;//復制常規成員

　　char *temp=new char[nSize]; //復制指針指向的內容

　　memcpy(temp,RightSides.pBuffer,nSize*sizeof(char));

　　delete []pBuffer;//刪除原指針指向內容(將刪除操作放在后面，避免X=X特殊情況下，內容的丟失)

　　pBuffer=temp;//建立新指向

　　return *this;

　　}

重載的注意事宜

　　拷貝構造函數和賦值函數的功能是相同的，為了不造成重復代碼，拷貝構造函數實現如下：

　　CExample::CExample(const CExample& RightSides)

　　{

　　*this=RightSides; //調用重載后的"="

　　}

編輯本段4、拷貝構造函數的格式與示例

拷貝構造函數的格式

　　拷貝構造函數的聲明：

　　class 類名

　　{

　　public：

　　類名（形參參數）//構造函數的聲明/原型

　　類名（類名&對象名）//拷貝構造函數的聲明/原型

　　...

　　};

　　拷貝構造函數的實現：

　　類名::類名（類名&對象名）//拷貝構造函數的實現/定義

　　{函數體}

拷貝構造函數的示例

　　Class Point

　　{

　　Public:

　　Point(int xx=0,int yy=m)(X=xx;Y=yy;)

　　Point(Point& p);

　　Int getX() {return X；}

　　Int getY(){ return Y;}

　　Private :

　　Int X,Y;

　　}

　　Point::Point(Point& p)

　　{

　　X=p.X;

　　Y=p.Y;

　　Cout<<"拷貝構造函數調用"<<endl;

　　}

以上就是什么是拷貝構造函數，小編相信有部分知識點可能是我們日常工作會見到或用到的。希望你能通過這篇文章學到更多知識。更多詳情敬請關注億速云行業資訊頻道。