拷貝構造函數是一種特殊的構造函數,它在創建對象時,是使用同一類中之前創建的對象來初始化新創建的對象。拷貝構造函數通常用于:
通過使用另一個同類型的對象來初始化新創建的對象。
復制對象把它作為參數傳遞給函數。
復制對象,并從函數返回這個對象。
在默認情況下(用戶沒有定義,但是也沒有顯式的刪除),編譯器會自動的隱式生成一個拷貝構造函數和賦值運算符。但用戶可以使用delete
來指定不生成拷貝構造函數和賦值運算符,這樣的對象就不能通過值傳遞,也不能進行賦值運算。
class Person{public: Person(const Person& p) = delete; Person& operator=(const Person& p) = delete;private: int age; string name;};
上面的定義的類Person
顯式的刪除了拷貝構造函數和賦值運算符,在需要調用拷貝構造函數或者賦值運算符的地方,會提示_無法調用該函數,它是已刪除的函數_。
還有一點需要注意的是,拷貝構造函數必須以引用的方式傳遞參數。這是因為,在值傳遞的方式傳遞給一個函數的時候,會調用拷貝構造函數生成函數的實參。如果拷貝構造函數的參數仍然是以值的方式,就會無限循環的調用下去,直到函數的棧溢出。
何時調用
拷貝構造函數和賦值運算符的行為比較相似,都是將一個對象的值復制給另一個對象;但是其結果卻有些不同,拷貝構造函數使用傳入對象的值生成一個新的對象的實例,而賦值運算符是將對象的值復制給一個已經存在的實例。這種區別從兩者的名字也可以很輕易的分辨出來,拷貝構造函數也是一種構造函數,那么它的功能就是創建一個新的對象實例;賦值運算符是執行某種運算,將一個對象的值復制給另一個對象(已經存在的)。調用的是拷貝構造函數還是賦值運算符,主要是看是否有新的對象實例產生。如果產生了新的對象實例,那調用的就是拷貝構造函數;如果沒有,那就是對已有的對象賦值,調用的是賦值運算符。
調用拷貝構造函數主要有以下場景:
對象作為函數的參數,以值傳遞的方式傳給函數。
對象作為函數的返回值,以值的方式從函數返回
使用一個對象給另一個對象初始化
代碼如下:
class Person{public: Person(){} Person(const Person& p) { cout << "Copy Constructor" << endl; } Person& operator=(const Person& p) { cout << "Assign" << endl; return *this; }private: int age; string name;};void f(Person p){ return;}Person f1(){ Person p; return p;}int main(){ Person p; Person p1 = p; // 1 Person p2; p2 = p; // 2 f(p2); // 3 p2 = f1(); // 4 Person p3 = f1(); // 5 getchar(); return 0;}
上面代碼中定義了一個類Person
,顯式的定義了拷貝構造函數和賦值運算符。然后定義了兩個函數:f
,以值的方式參傳入Person對象;f1
,以值的方式返回Person對象。在main
中模擬了5中場景,測試調用的是拷貝構造函數還是賦值運算符。執行結果如下:
分析如下:
這是雖然使用了"=",但是實際上使用對象p來創建一個新的對象p1。也就是產生了新的對象,所以調用的是拷貝構造函數。
首先聲明一個對象p2,然后使用賦值運算符"=",將p的值復制給p2,顯然是調用賦值運算符,為一個已經存在的對象賦值 。
以值傳遞的方式將對象p2傳入函數f內,調用拷貝構造函數構建一個函數f可用的實參。
這條語句拷貝構造函數和賦值運算符都調用了。函數f1以值的方式返回一個Person對象,在返回時會調用拷貝構造函數創建一個臨時對象tmp作為返回值;返回后調用賦值運算符將臨時對象tmp賦值給p2.
按照4的解釋,應該是首先調用拷貝構造函數創建臨時對象;然后再調用拷貝構造函數使用剛才創建的臨時對象創建新的對象p3,也就是會調用兩次拷貝構造函數。不過,編譯器也沒有那么傻,應該是直接調用拷貝構造函數使用返回值創建了對象p3。
深拷貝、淺拷貝
說到拷貝構造函數,就不得不提深拷貝和淺拷貝。通常,默認生成的拷貝構造函數和賦值運算符,只是簡單的進行值的復制。例如:上面的Person
類,字段只有int
和string
兩種類型,這在拷貝或者賦值時進行值復制創建的出來的對象和源對象也是沒有任何關聯,對源對象的任何操作都不會影響到拷貝出來的對象。反之,假如Person
有一個對象為int *
,這時在拷貝時還只是進行值復制,那么創建出來的Person
對象的int *
的值就和源對象的int *
指向的是同一個位置。任何一個對象對該值的修改都會影響到另一個對象,這種情況就是淺拷貝。
深拷貝和淺拷貝主要是針對類中的指針和動態分配的空間來說的,因為對于指針只是簡單的值復制并不能分割開兩個對象的關聯,任何一個對象對該指針的操作都會影響到另一個對象。這時候就需要提供自定義的深拷貝的拷貝構造函數,消除這種影響。通常的原則是:
含有指針類型的成員或者有動態分配內存的成員都應該提供自定義的拷貝構造函數
在提供拷貝構造函數的同時,還應該考慮實現自定義的賦值運算符
對于拷貝構造函數的實現要確保以下幾點:
對于值類型的成員進行值復制
對于指針和動態分配的空間,在拷貝中應重新分配分配空間
對于基類,要調用基類合適的拷貝方法,完成基類的拷貝