2-4 拷貝構(gòu)造函數(shù)

拷貝構(gòu)造函數(shù)若一個(gè)構(gòu)造函數(shù)的參數(shù)類型為本類的引用，則稱它為拷貝構(gòu)造函數(shù)。例如：classA{ ...... public: A();//默認(rèn)構(gòu)造函數(shù)

A(constA&a);//拷貝構(gòu)造函數(shù)};

在創(chuàng)建一個(gè)對(duì)象時(shí)，若用另一個(gè)同類型的對(duì)象對(duì)其初始化，將會(huì)調(diào)用對(duì)象類中的拷貝構(gòu)造函數(shù)。在三種情況下，會(huì)調(diào)用類的拷貝構(gòu)造函數(shù)：創(chuàng)建對(duì)象時(shí)顯式指出。例如：Aa1;Aa2(a1);//創(chuàng)建對(duì)象a2，用對(duì)象a1初始化對(duì)象a2把對(duì)象作為值參數(shù)傳給函數(shù)時(shí)。例如：voidf(Ax){......};......Aa;f(a);//創(chuàng)建形參對(duì)象x，用對(duì)象a對(duì)x進(jìn)行初始化。把對(duì)象作為函數(shù)的返回值時(shí)。例如：Af(){ Aa; ...... returna;//創(chuàng)建返回值對(duì)象，用對(duì)象a對(duì)返回值對(duì)象

//進(jìn)行初始化。}隱式拷貝構(gòu)造函數(shù)在程序中，如果沒(méi)有為某個(gè)類提供拷貝構(gòu)造函數(shù)，則編譯器將會(huì)為其生成一個(gè)隱式拷貝構(gòu)造函數(shù)。隱式拷貝構(gòu)造函數(shù)將逐個(gè)成員進(jìn)行拷貝初始化對(duì)于非對(duì)象成員：它采用通常的拷貝操作；對(duì)于成員對(duì)象：則調(diào)用成員對(duì)象類的拷貝構(gòu)造函數(shù)來(lái)對(duì)成員對(duì)象進(jìn)行初始化。（遞歸定義?。ヽlassA{ intx,y; public: A(){x=y=0;} ......};classB{ intz; Aa;public: B(){z=0;} ......//其中沒(méi)有定義拷貝構(gòu)造函數(shù)};...Bb1;//b1.z以及b1.a.x和b1.a.y均為0。Bb2(b1);//b2.z初始化成b1.z（0）；

//調(diào)用A的拷貝構(gòu)造函數(shù)用b1.a對(duì)b2.a初始化自定義拷貝構(gòu)造函數(shù)一般情況下，編譯程序提供的隱式拷貝構(gòu)造函數(shù)的行為足以滿足要求，類中不需要自定義拷貝構(gòu)造函數(shù)。但在一些特殊情況下，必須要自定義拷貝構(gòu)造函數(shù)，否則，將會(huì)產(chǎn)生設(shè)計(jì)者未意識(shí)到的嚴(yán)重的程序錯(cuò)誤。例如，在下面的類中沒(méi)有自定義拷貝構(gòu)造函數(shù)：classString{ intlen; char*str; public: String(char*s) {len=strlen(s); str=newchar[len+1]; strcpy(str,s); } ~String(){delete[]str;len=0;str=NULL;}};......Strings1("abcd");Strings2(s1);lenstrlenstrs1s2abcd44隱式的拷貝構(gòu)造函數(shù)將會(huì)使得s1和s2的

成員指針str指向同一塊內(nèi)存區(qū)域！它帶來(lái)的問(wèn)題是：如果對(duì)一個(gè)對(duì)象（s1或s2）操作之后修改了這塊空間的內(nèi)容，則另一個(gè)對(duì)象將會(huì)受到影響。如果不是設(shè)計(jì)者特意所為，這將是一個(gè)隱藏的錯(cuò)誤。當(dāng)對(duì)象s1和s2消亡時(shí)，將會(huì)分別去調(diào)用它們的析構(gòu)函數(shù)，這會(huì)使得同一塊內(nèi)存區(qū)域?qū)⒈粴w還兩次，從而導(dǎo)致程序運(yùn)行錯(cuò)誤。當(dāng)對(duì)象s1和s2中有一個(gè)消亡，另一個(gè)還沒(méi)消亡時(shí)，則會(huì)出現(xiàn)使用已被歸還的空間問(wèn)題！系統(tǒng)提供的隱式拷貝構(gòu)造函數(shù)實(shí)施的是淺拷貝（shallowcopy）：只拷貝數(shù)據(jù)成員本身的值。為了解決上面的問(wèn)題，可以在類String中顯式定義一個(gè)拷貝構(gòu)造函數(shù)來(lái)實(shí)現(xiàn)深拷貝（deepcopy）String::String(constString&s){ len=s.len;

str=newchar[len+1]; strcpy(str,s.str);}lenstrlenstrs1s2abcd44abcdAs2(s1);注意：自定義的拷貝構(gòu)造函數(shù)默認(rèn)調(diào)用的是成員對(duì)象類的默認(rèn)構(gòu)造函數(shù)來(lái)對(duì)成員對(duì)象初始化！classA{ intx,y; public: A(){x=y=0;} voidinc(){x++;y++;}};classB{intz; Aa;public: B(){z=0;} B(constB&b){z=b.z;} voidinc(){z++;a.inc();}};...Bb1;/b1.z、b1.a.x和b1.a.y均為0b1.inc();//b1.z、b1.a.x和b1.a.y均變成了1Bb2(b1);//b2.z為1，b2.a.x和b2.a.y均為0如何能讓b2.a與b1.a保持一致呢？在B類的拷貝構(gòu)造函數(shù)的成員初始化表中顯式指出！:a(b.a)b2.a.x和b2.a.y均為1下面對(duì)b2.a進(jìn)行賦值初始化與拷貝構(gòu)造的區(qū)別是什么？classA{......};classB{intz;

Aa;

public:

B(){......}B(constB