一、首先要分清楚這兩者之間的關(guān)系:兩個(gè)概念屬于不同“集合”(但有部分交集)。
1. Default Memberwise Initialization是與user defined Initialization相對(duì)應(yīng)的。是從編譯器(計(jì)算機(jī))與程序員(用戶)的角度出發(fā);
2. bitwise copy 是與memberwise copy相對(duì)應(yīng)的。是兩種不同的拷貝方式,編譯器通常為了效率會(huì)選擇bitwise方式拷貝(尤其針對(duì)于POD(=Plain Old Data)類(lèi)型)。
那么為什么這兩個(gè)概念經(jīng)常會(huì)混淆呢?主要原因是二者有部分交集——在類(lèi)的對(duì)象初始化或者賦值(operator=)時(shí),兩個(gè)概念會(huì)同時(shí)出現(xiàn)。
從對(duì)象整體角度出發(fā),默認(rèn)的對(duì)象賦值操作和初始化操作(default assignment and initialization ),編譯器會(huì)選擇memberwise方式(這里不是指memberwise copy,更確切的說(shuō)應(yīng)該是:individually assignment or initialization)操作,即對(duì)構(gòu)成對(duì)象中的每一個(gè)成員數(shù)據(jù)分別進(jìn)行賦值或者初始化。從對(duì)象的數(shù)據(jù)成員角度出發(fā),具體到對(duì)象的每一個(gè)數(shù)據(jù)成員的操作,編譯器通常采用(可以認(rèn)為就是)bitwise copy操作,就像memcpy或者memset函數(shù)一樣,原樣將內(nèi)存中的數(shù)據(jù)按位復(fù)制一份。
具體操作參見(jiàn)維基百科的例圖:

左圖表示A和B兩個(gè)對(duì)象 中圖表示bitwise拷貝方式 右圖表示memberwise拷貝方式
具體的bitwise copy和memberwise copy如下:(左圖為bitwise copy,右圖為memberwise copy)


二、接下來(lái)看一下默認(rèn)構(gòu)造函數(shù)(Default Constructor——由編譯器來(lái)完成)
這就引出了一個(gè)問(wèn)題:什么情況下需要實(shí)現(xiàn)默認(rèn)的構(gòu)造函數(shù)呢?
自然是編譯器需要它的時(shí)候(切記不是程序員需要的時(shí)候),通常以下四種情況,需要編譯器來(lái)實(shí)現(xiàn)默認(rèn)的構(gòu)造成員函數(shù)(default constructor):
1) 類(lèi)中含有成員類(lèi)對(duì)象,并且此類(lèi)對(duì)象含有默認(rèn)構(gòu)造函數(shù);
這種情況下,如果沒(méi)有顯示的定義構(gòu)造函數(shù),那么需要一次構(gòu)造類(lèi)中定義的所有成員,當(dāng)構(gòu)造成員類(lèi)對(duì)象(member class object)的時(shí)候,需要調(diào)用此成員類(lèi)的默認(rèn)構(gòu)造函數(shù),所以這時(shí)候需要編譯器構(gòu)造出默認(rèn)的構(gòu)造函數(shù),來(lái)調(diào)用成員類(lèi)的默認(rèn)構(gòu)造函數(shù)
2) 類(lèi)的基類(lèi)中至少有一個(gè)含有默認(rèn)的構(gòu)造函數(shù);
如果沒(méi)有顯式的定義構(gòu)造函數(shù),同樣編譯器構(gòu)造派生類(lèi)的時(shí)候,必然需要調(diào)用基類(lèi)的構(gòu)造函數(shù),所以需要編譯器在派生類(lèi)中構(gòu)造出默認(rèn)的構(gòu)造函數(shù)。
3) 類(lèi)中含有虛函數(shù)(virtual function);
4) 類(lèi)中含有虛基類(lèi)(virtual base class);
由于虛擬機(jī)制的原因,這兩種情況下,需要編譯器來(lái)完成虛函數(shù)表(vbtl)的初始化和虛表指針(vptr)的初始化,所以如果沒(méi)有顯式的定義構(gòu)造函數(shù),需要編譯器構(gòu)造默認(rèn)的構(gòu)造函數(shù)。(本身虛擬機(jī)制就是從編譯器角度來(lái)實(shí)現(xiàn)的)
其他比較簡(jiǎn)單的情況(類(lèi)的成員數(shù)據(jù)都是POD=Plain Old Data),在MSVC中經(jīng)過(guò)O2選項(xiàng)優(yōu)化編譯后,簡(jiǎn)單的類(lèi)直接被轉(zhuǎn)換為幾個(gè)連續(xù)定義的變量,自然就不需要默認(rèn)的構(gòu)造函數(shù)了。
三、接下來(lái)看一下Memberwise Assignment and Initialization
默認(rèn)拷貝構(gòu)造函數(shù)(Default Copy Constructor)、默認(rèn)賦值運(yùn)算符(operator =)和默認(rèn)析構(gòu)函數(shù),是C++類(lèi)中的六大特殊成員函數(shù)中的三個(gè)。三者同時(shí)遵循一個(gè)原則:“一榮俱榮、一損俱損”。如果三者其中的任意一個(gè)被顯示定義了(defined)那么三者必須都被顯式定義。當(dāng)果三者之一被程序員調(diào)用但未沒(méi)有被顯式聲明時(shí),編譯器會(huì)隱含的實(shí)現(xiàn)這三個(gè)特殊成員函數(shù)。當(dāng)用一個(gè)類(lèi)對(duì)象去初始化另一個(gè)類(lèi)對(duì)象時(shí),需要用到拷貝構(gòu)造函數(shù);當(dāng)用一個(gè)類(lèi)對(duì)象去設(shè)定另一個(gè)類(lèi)對(duì)象時(shí),需要用到賦值運(yùn)算符。
拷貝構(gòu)造函數(shù)與賦值運(yùn)算符都遵循“Default Memberwise Assignment&Initialization”原則,即對(duì)類(lèi)中的每一個(gè)數(shù)據(jù)成員進(jìn)行依次復(fù)制,但是通常編譯器只采用bitwise copy方式復(fù)制(這樣能夠提高效率)。例如,對(duì)于只含有POD成員數(shù)據(jù)的簡(jiǎn)單類(lèi),bitwise copy方式綽綽有余。但是以下幾種情況比較特殊:
1) 當(dāng)class內(nèi)含有一個(gè)member object時(shí),并且后者的class中聲明了一個(gè)copy constructor時(shí);
依照“Default Memberwise Assignment&Initialization”原則,初始化member object時(shí),需要編譯器調(diào)用member class的拷貝構(gòu)造函數(shù),如果類(lèi)中沒(méi)有顯式定義拷貝構(gòu)造函數(shù),就需要編譯器構(gòu)造,來(lái)調(diào)用成員類(lèi)的拷貝構(gòu)造函數(shù)。
2) 當(dāng)類(lèi)的基類(lèi)中至少有一個(gè)含有拷貝構(gòu)造函數(shù)時(shí);
同樣依照“Default Memberwise Assignment&Initialization”原則,需要依次構(gòu)造所有的基類(lèi)成員,如果沒(méi)有顯式定義默認(rèn)拷貝構(gòu)造函數(shù),那么這部分工作就有編譯器來(lái)完成。
3) 當(dāng)類(lèi)中聲明一個(gè)或多個(gè)virtual functions時(shí);
4) 當(dāng)類(lèi)的派生鏈中有一個(gè)或多個(gè)virtual base class時(shí);
這里由于虛擬函數(shù)的機(jī)制,需要初始化vbtl和vptr。這部分需要編譯器來(lái)完成(本身虛擬機(jī)制就是從編譯器角度來(lái)實(shí)現(xiàn)的)。
以上幾種情況如果程序員未顯式定義拷貝構(gòu)造函數(shù),編譯器會(huì)自動(dòng)完成拷貝構(gòu)造函數(shù)的實(shí)現(xiàn),不過(guò)當(dāng)程序中需要調(diào)用拷貝構(gòu)造函數(shù)時(shí),編譯器自動(dòng)實(shí)現(xiàn)版本是按照bitwise拷貝方式來(lái)完成的,所以對(duì)于以上幾種情況如果程序員不顯式定義自己的拷貝構(gòu)造函數(shù),就會(huì)出現(xiàn)錯(cuò)誤(尤其是類(lèi)成員中含有指針、引用、虛函數(shù)時(shí))。
從編譯器編譯連接角度,以上四種情況下如果未定義拷貝構(gòu)造函數(shù),編譯器為了編譯工作的順利進(jìn)行,會(huì)自定義拷貝構(gòu)造函數(shù);從編程者角度,如果類(lèi)比較復(fù)雜(例如含有指針、引用、虛函數(shù)等),單單依靠編譯器定義的bitwise版本默認(rèn)拷貝構(gòu)造函數(shù),程序是無(wú)法達(dá)到預(yù)定效果的,所以此時(shí)往往需要程序員顯式定義出自己的拷貝構(gòu)造函數(shù)。
詳情參見(jiàn):《深度探索C++對(duì)象模型》
《C++反匯編與逆向分析技術(shù)揭秘》
http://portals.devx.com/tips/Tip/13625
MSDN:http://msdn.microsoft.com/en-us/library/x0c54csc.aspx
http://msdn.microsoft.com/en-us/library/x0c54csc.aspx