C++直接初始化與復(fù)制初始化的區(qū)別深入解析
C++中直接初始化與復(fù)制初始化是很多初學者容易混淆的概念,本文就以實例形式講述二者之間的區(qū)別。供大家參考之用。具體分析如下:
一、Primer中的說法
首先我們現(xiàn)來看看經(jīng)典是怎么說的:
“當用于類類型對象時,初始化的復(fù)制形式和直接形式有所不同:直接初始化直接調(diào)用與實參匹配的構(gòu)造函數(shù),復(fù)制初始化總是調(diào)用復(fù)制構(gòu)造函數(shù)。復(fù)制初始化首先使用指定構(gòu)造函數(shù)創(chuàng)建一個臨時對象,然后用復(fù)制構(gòu)造函數(shù)將那個臨時對象復(fù)制到正在創(chuàng)建的對象”
還有一段這樣說:
“通常直接初始化和復(fù)制初始化僅在低級別優(yōu)化上存在差異,然而,對于不支持復(fù)制的類型,或者使用非explicit構(gòu)造函數(shù)的時候,它們有本質(zhì)區(qū)別:
ifstream file1("filename")://ok:direct initialization ifstream file2 = "filename";//error:copy constructor is private”
二、通常的誤解
從上面的說法中,我們可以知道,直接初始化不一定要調(diào)用復(fù)制構(gòu)造函數(shù),而復(fù)制初始化一定要調(diào)用復(fù)制構(gòu)造函數(shù)。然而大多數(shù)人卻認為,直接初始化是構(gòu)造對象時要調(diào)用復(fù)制構(gòu)造函數(shù),而復(fù)制初始化是構(gòu)造對象時要調(diào)用賦值操作函數(shù)(operator=),其實這是一大誤解。因為只有對象被創(chuàng)建才會出現(xiàn)初始化,而賦值操作并不應(yīng)用于對象的創(chuàng)建過程中,且primer也沒有這樣的說法。至于為什么會出現(xiàn)這個誤解,可能是因為復(fù)制初始化的寫法中存在等號(=)吧。
為了把問題說清楚,還是從代碼上來解釋比較容易讓人明白,請看下面的代碼:
#include <iostream> #include <cstring> using namespace std; class ClassTest { public: ClassTest() { c[0] = '\0'; cout<<"ClassTest()"<<endl; } ClassTest& operator=(const ClassTest &ct) { strcpy(c, ct.c); cout<<"ClassTest& operator=(const ClassTest &ct)"<<endl; return *this; } ClassTest(const char *pc) { strcpy(c, pc); cout<<"ClassTest (const char *pc)"<<endl; } // private: ClassTest(const ClassTest& ct) { strcpy(c, ct.c); cout<<"ClassTest(const ClassTest& ct)"<<endl; } private: char c[256]; }; int main() { cout<<"ct1: "; ClassTest ct1("ab");//直接初始化 cout<<"ct2: "; ClassTest ct2 = "ab";//復(fù)制初始化 cout<<"ct3: "; ClassTest ct3 = ct1;//復(fù)制初始化 cout<<"ct4: "; ClassTest ct4(ct1);//直接初始化 cout<<"ct5: "; ClassTest ct5 = ClassTest();//復(fù)制初始化 return 0; }
輸出結(jié)果為:
從輸出的結(jié)果,我們可以知道對象的構(gòu)造到底調(diào)用了哪些函數(shù),從ct1與ct2、ct3與ct4的比較中可以看出,ct1與ct2對象的構(gòu)建調(diào)用的都是同一個函數(shù)——ClassTest(const char *pc),同樣道理,ct3與ct4調(diào)用的也是同一個函數(shù)——ClassTest(const ClassTest& ct),而ct5則直接調(diào)用了默認構(gòu)造函數(shù)。
于是,很多人就認為ClassTest ct1("ab");等價于ClassTest ct2 = "ab";,而ClassTest ct3 = ct1;也等價于ClassTest ct4(ct1);而且他們都沒有調(diào)用賦值操作函數(shù),所以它們都是直接初始化,然而事實是否真的如你所想的那樣呢?答案顯然不是。
三、層層推進,到底誰欺騙了我們
很多時候,自己的眼睛往往會欺騙你自己,這里就是一個例子,正是你的眼睛欺騙了你。為什么會這樣?其中的原因在談優(yōu)化時的補充中也有說明,就是因為編譯會幫你做很多你看不到,你也不知道的優(yōu)化,你看到的結(jié)果,正是編譯器做了優(yōu)化后的代碼的運行結(jié)果,并不是你的代碼的真正運行結(jié)果。
你也許不相信我所說的,那么你可以把類中的復(fù)制函數(shù)函數(shù)中面注釋起來的那行取消注釋,讓復(fù)制構(gòu)造函數(shù)成為私有函數(shù)再編譯運行這個程序,看看有什么結(jié)果發(fā)生。
很明顯,發(fā)生了編譯錯誤,從上面的運行結(jié)果,你可能會認為是因為ct3和ct4在構(gòu)建過程中用到了復(fù)制構(gòu)造函數(shù)——ClassTest(const ClassTest& ct),而現(xiàn)在它變成了私有函數(shù),不能在類的外面使用,所以出現(xiàn)了編譯錯誤,但是你也可以把ct3和ct4的函數(shù)語句注釋起來,如下所示:
int main() { cout<<"ct1: "; ClassTest ct1("ab"); cout<<"ct2: "; ClassTest ct2 = "ab"; // cout<<"ct3: "; // ClassTest ct3 = ct1; // cout<<"ct4: "; // ClassTest ct4(ct1); cout<<"ct5: "; ClassTest ct5 = ClassTest(); return 0; }
然而你還是非常遺憾地發(fā)現(xiàn),還是沒有編譯通過。這是為什么呢?從上面的語句和之前的運行結(jié)果來看,的確是已經(jīng)沒有調(diào)用復(fù)制構(gòu)造函數(shù)了,為什么還是編譯錯誤呢?
經(jīng)過實驗,main函數(shù)只有這樣才能通過編譯:
int main() { cout<<"ct1: "; ClassTest ct1("ab"); return 0; }
在這里我們可以看到,原來是復(fù)制構(gòu)造函數(shù)欺騙了我們。
四、揭開真相
看到這里,你可能已經(jīng)大驚失色,下面就讓我來揭開這個真相吧!
還是那一句,什么是直接初始化,而什么又是復(fù)制初始化呢?
簡單點來說,就是定義對象時的寫法不一樣,一個用括號,如ClassTest ct1("ab"),而一個用等號,如ClassTest ct2 = "ab"。
但是從本質(zhì)來說,它們卻有本質(zhì)的不同:直接初始化直接調(diào)用與實參匹配的構(gòu)造函數(shù),復(fù)制初始化總是調(diào)用復(fù)制構(gòu)造函數(shù)。復(fù)制初始化首先使用指定構(gòu)造函數(shù)創(chuàng)建一個臨時對象,然后用復(fù)制構(gòu)造函數(shù)將那個臨時對象復(fù)制到正在創(chuàng)建的對象。所以當復(fù)制構(gòu)造函數(shù)被聲明為私有時,所有的復(fù)制初始化都不能使用。
現(xiàn)在我們再來看回main函數(shù)中的語句:
1、ClassTest ct1("ab");這條語句屬于直接初始化,它不需要調(diào)用復(fù)制構(gòu)造函數(shù),直接調(diào)用構(gòu)造函數(shù)ClassTest(const char *pc),所以當復(fù)制構(gòu)造函數(shù)變?yōu)樗接袝r,它還是能直接執(zhí)行的。
2、ClassTest ct2 = "ab";這條語句為復(fù)制初始化,它首先調(diào)用構(gòu)造函數(shù)ClassTest(const char *pc)函數(shù)創(chuàng)建一個臨時對象,然后調(diào)用復(fù)制構(gòu)造函數(shù),把這個臨時對象作為參數(shù),構(gòu)造對象ct2;所以當復(fù)制構(gòu)造函數(shù)變?yōu)樗接袝r,該語句不能編譯通過。
3、ClassTest ct3 = ct1;這條語句為復(fù)制初始化,因為ct1本來已經(jīng)存在,所以不需要調(diào)用相關(guān)的構(gòu)造函數(shù),而直接調(diào)用復(fù)制構(gòu)造函數(shù),把它值復(fù)制給對象ct3;所以當復(fù)制構(gòu)造函數(shù)變?yōu)樗接袝r,該語句不能編譯通過。
4、ClassTest ct4(ct1);這條語句為直接初始化,因為ct1本來已經(jīng)存在,直接調(diào)用復(fù)制構(gòu)造函數(shù),生成對象ct3的副本對象ct4。所以當復(fù)制構(gòu)造函數(shù)變?yōu)樗接袝r,該語句不能編譯通過。
注:第4個對象ct4與第3個對象ct3的創(chuàng)建所調(diào)用的函數(shù)是一樣的,但是本人卻認為,調(diào)用復(fù)制函數(shù)的原因卻有所不同。因為直接初始化是根據(jù)參數(shù)來調(diào)用構(gòu)造函數(shù)的,如ClassTest ct4(ct1),它是根據(jù)括號中的參數(shù)(一個本類的對象),來直接確定為調(diào)用復(fù)制構(gòu)造函數(shù)ClassTest(const ClassTest& ct),這跟函數(shù)重載時,會根據(jù)函數(shù)調(diào)用時的參數(shù)來調(diào)用相應(yīng)的函數(shù)是一個道理;而對于ct3則不同,它的調(diào)用并不是像ct4時那樣,是根據(jù)參數(shù)來確定要調(diào)用復(fù)制構(gòu)造函數(shù)的,它只是因為初始化必然要調(diào)用復(fù)制構(gòu)造函數(shù)而已。它理應(yīng)要創(chuàng)建一個臨時對象,但只是這個對象卻已經(jīng)存在,所以就省去了這一步,然后直接調(diào)用復(fù)制構(gòu)造函數(shù),因為復(fù)制初始化必然要調(diào)用復(fù)制構(gòu)造函數(shù),所以ct3的創(chuàng)建仍是復(fù)制初始化。
5、ClassTest ct5 = ClassTest();這條語句為復(fù)制初始化,首先調(diào)用默認構(gòu)造函數(shù)產(chǎn)生一個臨時對象,然后調(diào)用復(fù)制構(gòu)造函數(shù),把這個臨時對象作為參數(shù),構(gòu)造對象ct5。所以當復(fù)制構(gòu)造函數(shù)變?yōu)樗接袝r,該語句不能編譯通過。
五、假象產(chǎn)生的原因
產(chǎn)生上面的運行結(jié)果的主要原因在于編譯器的優(yōu)化,而為什么把復(fù)制構(gòu)造函數(shù)聲明為私有(private)就能把這個假象去掉呢?主要是因為復(fù)制構(gòu)造函數(shù)是可以由編譯默認合成的,而且是公有的(public),編譯器就是根據(jù)這個特性來對代碼進行優(yōu)化的。然而如里你自己定義這個復(fù)制構(gòu)造函數(shù),編譯則不會自動生成,雖然編譯不會自動生成,但是如果你自己定義的復(fù)制構(gòu)造函數(shù)仍是公有的話,編譯還是會為你做同樣的優(yōu)化。然而當它是私有成員時,編譯器就會有很不同的舉動,因為你明確地告訴了編譯器,你明確地拒絕了對象之間的復(fù)制操作,所以它也就不會幫你做之前所做的優(yōu)化,你的代碼的本來面目就出來了。
舉個例子來說,就像下面的語句:
ClassTest ct2 = "ab";
它本來是要這樣來構(gòu)造對象的:首先調(diào)用構(gòu)造函數(shù)ClassTest(const char *pc)函數(shù)創(chuàng)建一個臨時對象,然后調(diào)用復(fù)制構(gòu)造函數(shù),把這個臨時對象作為參數(shù),構(gòu)造對象ct2。然而編譯也發(fā)現(xiàn),復(fù)制構(gòu)造函數(shù)是公有的,即你明確地告訴了編譯器,你允許對象之間的復(fù)制,而且此時它發(fā)現(xiàn)可以通過直接調(diào)用重載的構(gòu)造函數(shù)ClassTest(const char *pc)來直接初始化對象,而達到相同的效果,所以就把這條語句優(yōu)化為ClassTest ct2("ab")。
而如果把復(fù)制構(gòu)造函數(shù)聲明為私有的,則對象之前的復(fù)制不能進行,即不能把臨時對像作為參數(shù),調(diào)用復(fù)制構(gòu)造函數(shù),所以編譯就認為ClassTest ct2 = "ab"與ClassTest ct2("ab")是不等價的,也就不會幫你做這個優(yōu)化,所以編譯出錯了。
注:根據(jù)上面的代碼,有些人可能會運行出與本人測試不一樣的結(jié)果,這是為什么呢?就像前面所說的那樣,編譯器會為代碼做一定的優(yōu)化,但是不同的編譯器所作的優(yōu)化的方案卻可能有所不同,所以當你使用不同的編譯器時,由于這些優(yōu)化的方案不一樣,可能會產(chǎn)生不同的結(jié)果,我這里用的是g++4.7。
相信本文所述對大家深入學習C++程序設(shè)計有一定的參考借鑒作用。
相關(guān)文章
關(guān)于C++友元函數(shù)的實現(xiàn)講解
今天小編就為大家分享一篇關(guān)于關(guān)于C++友元函數(shù)的實現(xiàn)講解,小編覺得內(nèi)容挺不錯的,現(xiàn)在分享給大家,具有很好的參考價值,需要的朋友一起跟隨小編來看看吧2018-12-12Cocos2d-x UI開發(fā)之CCControlSwitch控件類使用實例
這篇文章主要介紹了Cocos2d-x UI開發(fā)之CCControlSwitch控件類使用實例,本文代碼中含大量注釋講解了CCControlSwitch控件類的使用,需要的朋友可以參考下2014-09-09詳解QListWidget如何實現(xiàn)自定義Item效果
這篇文章主要為大家介紹了如何通過QListWidget實現(xiàn)自定義Item效果,文中的示例代碼講解詳細,感興趣的小伙伴可以跟隨小編一起了解一下2022-04-04C語言詳細分析講解關(guān)鍵字goto與void的作用
我們在C語言中經(jīng)常會見到void,也會偶爾見到goto,那么C語言中既然有g(shù)oto,為什么我們在代碼中見的很少呢?在以前很多的項目經(jīng)驗中,我們得到這樣一條潛規(guī)則:一般項目都是禁用goto的,程序質(zhì)量與goto的出現(xiàn)次數(shù)成反比。自后也就造成了我們一般不會使用goto2022-04-04