對於普通類型的對象來說,他們之間的複製是簡單的,比如:
複製代碼 代碼如下:
int a = 88;
int b = a;
而類和普通對象不同,類對象內部結構一般較為複雜,存在各種成員變數。
複製代碼 代碼如下:
#include <iostream>
using namespace std;
class CExample {
private:
int a;
public:
CExample(int b)
{ a=b;}
void Show ()
{
cout<<a<<endl;
}
};
int main()
{
CExample A(100);
CExample B=A;
B.Show ();
return 0;
}
運行程式,螢幕輸出100。從以上代碼運行結果可以看出,系統為B分配了記憶體並完成了對象A的複製過程。
就對象而言,相同類型的對象是通過拷貝建構函式來完成整個複製過程的。
複製代碼 代碼如下:
CExample(const CExample& C)
{
a=C.a;
}
CExample(const CExample& C)就是我們自訂的拷貝建構函式。可見,拷貝建構函式是一種特殊的建構函式,函數的名稱必須和類名稱一致,它的唯一的一個參數是本類型的一個引用變數,該參數是const類型,不可變的。例如:類X的拷貝建構函式的形式為X(X& x)。
當用一個已初始化過了的自訂類類型對象去初始化另一個新構造的對象的時候,拷貝建構函式就會被自動調用。也就是說,當類的對象需要拷貝時,拷貝建構函式將會被調用。以下情況都會調用拷貝建構函式:
一個對象以值傳遞的方式傳入函數體
一個對象以值傳遞的方式從函數返回
一個對象需要通過另外一個對象進行初始化。
如果在類中沒有顯式地聲明一個拷貝建構函式,那麼,編譯器將會自動產生一個預設的拷貝建構函式,該建構函式完成對象之間的位拷貝。位拷貝又稱淺拷貝,後面將進行說明。
自訂拷貝建構函式是一種良好的編程風格,它可以阻止編譯器形成預設的拷貝建構函式,提高源碼效率。
淺拷貝和深拷貝
在某些狀況下,類內成員變數需要動態開闢堆記憶體,如果實行位拷貝,也就是把對象裡的值完全複製給另一個對象,如A=B。這時,如果B中有一個成員變數指標已經申請了記憶體,那A中的那個成員變數也指向同一塊記憶體。這就出現了問題:當B把記憶體釋放了(如:析構),這時A內的指標就是野指標了,出現運行錯誤。
深拷貝和淺拷貝可以簡單理解為:如果一個類擁有資源,當這個類的對象發生複製過程的時候,資源重新分配,這個過程就是深拷貝,反之,沒有重新分配資源,就是淺拷貝。下面舉個深拷貝的例子。
複製代碼 代碼如下:
#include <iostream>
using namespace std;
class CA
{
public:
CA(int b,char* cstr)
{
a=b;
str=new char[b];
strcpy(str,cstr);
}
CA(const CA& C)
{
a=C.a;
str=new char[a]; //深拷貝
if(str!=0)
strcpy(str,C.str);
}
void Show()
{
cout<<str<<endl;
}
~CA()
{
delete str;
}
private:
int a;
char *str;
};
int main()
{
CA A(10,"Hello!");
CA B=A;
B.Show();
return 0;
}