C++拷貝構(gòu)造函數(shù)(深拷貝，淺拷貝)

　　對(duì)于普通類(lèi)型的對(duì)象來(lái)說(shuō)，它們之間的復(fù)制是很簡(jiǎn)單的，例如：

　　int a=88;

　　int b=a;

　　而類(lèi)對(duì)象與普通對(duì)象不同，類(lèi)對(duì)象內(nèi)部結(jié)構(gòu)一般較為復(fù)雜，存在各種成員變量。下面看一個(gè)類(lèi)對(duì)象拷貝的簡(jiǎn)單例子。

　　#include

　　using namespace std;

　　class CExample {

　　private:

　　int a;

　　public:

　　CExample(int b)

　　{

　　a=b;

　　}

　　void Show ()

　　{

　　cout<

　　}

　　};

　　int main()

　　{

　　CExample A(100);

　　CExample B=A;

　　B.Show ();

　　return 0;

　　}

　　運(yùn)行程序，屏幕輸出100。從以上代碼的運(yùn)行結(jié)果可以看出，系統(tǒng)為對(duì)象B分配了內(nèi)存并完成了與對(duì)象A的復(fù)制過(guò)程。就類(lèi)對(duì)象而言，相同類(lèi)型的類(lèi)對(duì)象是通過(guò)拷貝構(gòu)造函數(shù)來(lái)完成整個(gè)復(fù)制過(guò)程的。下面舉例說(shuō)明拷貝構(gòu)造函數(shù)的工作過(guò)程。

　　#include

　　using namespace std;

　　class CExample {

　　private:

　　int a;

　　public:

　　CExample(int b)

　　{ a=b;}

　　CExample(const CExample& C)

　　{

　　a=C.a;

　　}

　　void Show ()

　　{

　　cout<

　　}

　　};

　　int main()

　　{

　　CExample A(100);

　　CExample B=A;

　　B.Show ();

　　return 0;

　　}

　　CExample(const CExample& C)就是我們自定義的拷貝構(gòu)造函數(shù)。可見(jiàn)，拷貝構(gòu)造函數(shù)是一種特殊的構(gòu)造函數(shù)，函數(shù)的名稱(chēng)必須和類(lèi)名稱(chēng)一致，它的唯一的一個(gè)參數(shù)是本類(lèi)型的一個(gè)引用變量，該參數(shù)是const類(lèi)型，不可變的。例如：類(lèi)X的拷貝構(gòu)造函數(shù)的形式為X(X& x)。

　　當(dāng)用一個(gè)已初始化過(guò)了的自定義類(lèi)類(lèi)型對(duì)象去初始化另一個(gè)新構(gòu)造的對(duì)象的時(shí)候，拷貝構(gòu)造函數(shù)就會(huì)被自動(dòng)調(diào)用。也就是說(shuō)，當(dāng)類(lèi)的對(duì)象需要拷貝時(shí)，拷貝構(gòu)造函數(shù)將會(huì)被調(diào)用。以下情況都會(huì)調(diào)用拷貝構(gòu)造函數(shù)：

　　一個(gè)對(duì)象以值傳遞的方式傳入函數(shù)體

　　一個(gè)對(duì)象以值傳遞的方式從函數(shù)返回

　　一個(gè)對(duì)象需要通過(guò)另外一個(gè)對(duì)象進(jìn)行初始化。

　　如果在類(lèi)中沒(méi)有顯式地聲明一個(gè)拷貝構(gòu)造函數(shù)，那么，編譯器將會(huì)自動(dòng)生成一個(gè)默認(rèn)的拷貝構(gòu)造函數(shù)，該構(gòu)造函數(shù)完成對(duì)象之間的位拷貝。位拷貝又稱(chēng)淺拷貝，后面將進(jìn)行說(shuō)明。

　　自定義拷貝構(gòu)造函數(shù)是一種良好的編程風(fēng)格，它可以阻止編譯器形成默認(rèn)的拷貝構(gòu)造函數(shù)，提高源碼效率。

　　淺拷貝和深拷

　　在某些狀況下，類(lèi)內(nèi)成員變量需要?jiǎng)討B(tài)開(kāi)辟堆內(nèi)存，如果實(shí)行位拷貝，也就是把對(duì)象里的值完全復(fù)制給另一個(gè)對(duì)象，如A=B。這時(shí)，如果B中有一個(gè)成員變量指針已經(jīng)申請(qǐng)了內(nèi)存，那A中的那個(gè)成員變量也指向同一塊內(nèi)存。這就出現(xiàn)了問(wèn)題：當(dāng)B把內(nèi)存釋放了(如：析構(gòu))，這時(shí)A內(nèi)的指針就是野指針了，出現(xiàn)運(yùn)行錯(cuò)誤。

　　深拷貝和淺拷貝可以簡(jiǎn)單理解為：如果一個(gè)類(lèi)擁有資源，當(dāng)這個(gè)類(lèi)的對(duì)象發(fā)生復(fù)制過(guò)程的時(shí)候，資源重新分配，這個(gè)過(guò)程就是深拷貝，反之，沒(méi)有重新分配資源，就是淺拷貝。下面舉個(gè)深拷貝的例子。

　　#include

　　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<

　　}

　　~CA()

　　{

　　delete str;

　　}

　　private:

　　int a;

　　char *str;

　　};

　　int main()

　　{

　　CA A(10,"Hello!");

　　CA B=A;

　　B.Show();

　　return 0;

　　}

　　深拷貝和淺拷貝的定義可以簡(jiǎn)單理解成：如果一個(gè)類(lèi)擁有資源(堆，或者是其它系統(tǒng)資源)，當(dāng)這個(gè)類(lèi)的對(duì)象發(fā)生復(fù)制過(guò)程的時(shí)候，這個(gè)過(guò)程就可以叫做深拷貝，反之對(duì)象存在資源，但復(fù)制過(guò)程并未復(fù)制資源的情況視為淺拷貝。

　　淺拷貝資源后在釋放資源的時(shí)候會(huì)產(chǎn)生資源歸屬不清的情況導(dǎo)致程序運(yùn)行出錯(cuò)。

　　Test(Test &c_t)是自定義的拷貝構(gòu)造函數(shù)，拷貝構(gòu)造函數(shù)的名稱(chēng)必須與類(lèi)名稱(chēng)一致，函數(shù)的形式參數(shù)是本類(lèi)型的一個(gè)引用變量,且必須是引用。

　　當(dāng)用一個(gè)已經(jīng)初始化過(guò)了的自定義類(lèi)類(lèi)型對(duì)象去初始化另一個(gè)新構(gòu)造的對(duì)象的時(shí)候，拷貝構(gòu)造函數(shù)就會(huì)被自動(dòng)調(diào)用，如果你沒(méi)有自定義拷貝構(gòu)造函數(shù)的時(shí)候，系統(tǒng)將會(huì)提供給一個(gè)默認(rèn)的拷貝構(gòu)造函數(shù)來(lái)完成這個(gè)過(guò)程，上面代碼的復(fù)制核心語(yǔ)句就是通過(guò)Test(Test &c_t)拷貝構(gòu)造函數(shù)內(nèi)的p1=c_t.p1;語(yǔ)句完成的。