一、首先要分清楚這兩者之間的關系：兩個概念屬于不同“集合”（但有部分交集）。

1. Default Memberwise Initialization是與user defined Initialization相對應的。是從編譯器（計算機）與程序員（用戶）的角度出發；

2. bitwise copy 是與memberwise copy相對應的。是兩種不同的拷貝方式，編譯器通常為了效率會選擇bitwise方式拷貝（尤其針對于POD(=Plain Old Data）類型）。

那么為什么這兩個概念經常會混淆呢？主要原因是二者有部分交集——在類的對象初始化或者賦值（operator=）時，兩個概念會同時出現。

從對象整體角度出發，默認的對象賦值操作和初始化操作（default assignment and initialization ），編譯器會選擇memberwise方式（這里不是指memberwise copy，更確切的說應該是：individually assignment or initialization）操作，即對構成對象中的每一個成員數據分別進行賦值或者初始化。從對象的數據成員角度出發，具體到對象的每一個數據成員的操作，編譯器通常采用（可以認為就是）bitwise copy操作，就像memcpy或者memset函數一樣，原樣將內存中的數據按位復制一份。

具體操作參見維基百科的例圖：

左圖表示A和B兩個對象   中圖表示bitwise拷貝方式    右圖表示memberwise拷貝方式

具體的bitwise copy和memberwise copy如下：（左圖為bitwise copy，右圖為memberwise copy)

二、接下來看一下默認構造函數（Default Constructor——由編譯器來完成）

這就引出了一個問題：什么情況下需要實現默認的構造函數呢？

自然是編譯器需要它的時候（切記不是程序員需要的時候），通常以下四種情況，需要編譯器來實現默認的構造成員函數（default constructor）：

1) 類中含有成員類對象，并且此類對象含有默認構造函數；

這種情況下，如果沒有顯示的定義構造函數，那么需要一次構造類中定義的所有成員，當構造成員類對象（member class object）的時候，需要調用此成員類的默認構造函數，所以這時候需要編譯器構造出默認的構造函數，來調用成員類的默認構造函數

2) 類的基類中至少有一個含有默認的構造函數；

如果沒有顯式的定義構造函數，同樣編譯器構造派生類的時候，必然需要調用基類的構造函數，所以需要編譯器在派生類中構造出默認的構造函數。

3) 類中含有虛函數（virtual function）；

4) 類中含有虛基類（virtual base class）；

由于虛擬機制的原因，這兩種情況下，需要編譯器來完成虛函數表（vbtl）的初始化和虛表指針（vptr）的初始化，所以如果沒有顯式的定義構造函數，需要編譯器構造默認的構造函數。（本身虛擬機制就是從編譯器角度來實現的）

其他比較簡單的情況（類的成員數據都是POD=Plain Old Data），在MSVC中經過O2選項優化編譯后，簡單的類直接被轉換為幾個連續定義的變量，自然就不需要默認的構造函數了。

三、接下來看一下Memberwise Assignment and Initialization

默認拷貝構造函數（Default Copy Constructor）、默認賦值運算符（operator =）和默認析構函數，是C++類中的六大特殊成員函數中的三個。三者同時遵循一個原則：“一榮俱榮、一損俱損”。如果三者其中的任意一個被顯示定義了（defined）那么三者必須都被顯式定義。當果三者之一被程序員調用但未沒有被顯式聲明時，編譯器會隱含的實現這三個特殊成員函數。當用一個類對象去初始化另一個類對象時，需要用到拷貝構造函數；當用一個類對象去設定另一個類對象時，需要用到賦值運算符。

拷貝構造函數與賦值運算符都遵循“Default Memberwise Assignment&Initialization”原則，即對類中的每一個數據成員進行依次復制，但是通常編譯器只采用bitwise copy方式復制（這樣能夠提高效率）。例如，對于只含有POD成員數據的簡單類，bitwise copy方式綽綽有余。但是以下幾種情況比較特殊：

1) 當class內含有一個member object時，并且后者的class中聲明了一個copy constructor時；

依照“Default Memberwise Assignment&Initialization”原則，初始化member object時，需要編譯器調用member class的拷貝構造函數，如果類中沒有顯式定義拷貝構造函數，就需要編譯器構造，來調用成員類的拷貝構造函數。

2) 當類的基類中至少有一個含有拷貝構造函數時；

同樣依照“Default Memberwise Assignment&Initialization”原則，需要依次構造所有的基類成員，如果沒有顯式定義默認拷貝構造函數，那么這部分工作就有編譯器來完成。

3) 當類中聲明一個或多個virtual functions時；

4) 當類的派生鏈中有一個或多個virtual base class時；

這里由于虛擬函數的機制，需要初始化vbtl和vptr。這部分需要編譯器來完成（本身虛擬機制就是從編譯器角度來實現的）。

以上幾種情況如果程序員未顯式定義拷貝構造函數，編譯器會自動完成拷貝構造函數的實現，不過當程序中需要調用拷貝構造函數時，編譯器自動實現版本是按照bitwise拷貝方式來完成的，所以對于以上幾種情況如果程序員不顯式定義自己的拷貝構造函數，就會出現錯誤（尤其是類成員中含有指針、引用、虛函數時）。

從編譯器編譯連接角度，以上四種情況下如果未定義拷貝構造函數，編譯器為了編譯工作的順利進行，會自定義拷貝構造函數；從編程者角度，如果類比較復雜（例如含有指針、引用、虛函數等），單單依靠編譯器定義的bitwise版本默認拷貝構造函數，程序是無法達到預定效果的，所以此時往往需要程序員顯式定義出自己的拷貝構造函數。

詳情參見：《深度探索Ｃ++對象模型》

《Ｃ＋＋反匯編與逆向分析技術揭秘》

  http://portals.devx.com/tips/Tip/13625

ＭＳＤＮ：http://msdn.microsoft.com/en-us/library/x0c54csc.aspx

　http://msdn.microsoft.com/en-us/library/x0c54csc.aspx