有時候即使用同類物件初始化另一個物件，如下：

Type a;
Type b(a);

根據《深入探索C++物件模型》的描述，當型別展現出bitwise copy semantics（位逐次拷貝）時，編譯器不需要為該類合成一個預設拷貝建構函式。即只需將物件中的資料按位複製。

實際執行過程中，檢視彙編程式碼，編譯器未產生呼叫。也就是說，編譯器沒有為測試型別合成預設拷貝建構函式。

C++中，copy constructor 的實現有兩種：default memberwise initialization 和 user defined initialization 。前者由編譯器執行，後者由程式設計師自定義的copy constructor 執行。其中default memberwise initialization 又可劃分為bitwise copy 和 default copy constructor 。只有當用戶未定義自己的copy constructor，且當前型別不能展現出bitwise copy semantics，編譯器會合成default copy constructor 。

一個class 不展現出 bitwise copy semantics，有4種情況：

1. 一個類內含一個物件成員而後者的型別宣告有一個拷貝建構函式（無論顯示宣告還是編譯器合成）。
2. 一個類繼承自一個基類而後者存在一個拷貝建構函式。
3. 一個類宣告一個或多個虛擬函式。
4. 一個類派生自一個繼承串鏈，其中有一個或多個虛基類。

（實際上按照《深度探索C++物件模型》中的描述，預設建構函式也是未必會被合成出來，可合成預設建構函式的情況與上述相同。
原文：
C++新手一般有兩個常見的誤解：
1.任何class如果沒有定義default constructor ，就會被合成一個出來。
2.編譯器合成出來的default constructor 會顯示設定class 內每一個data member 的預設值。）

上述4種情況中，前兩者的編譯器將member object 或 base class 的copy constructor 呼叫操作安插到被合成的copy constructor 中。其他data member 也會被複制。

什麼情況下會用到copy constructor 呢？
1. 用物件顯示初始化操作。
2. 用物件初始化函式引數。
3. 用函式返回值初始化物件。

在這幾種情況下，編譯器會將這些操作做一些轉化。
1. 在顯示初始化物件時，會將定義的初始化操作剝奪，安插一個copy constructor 的操作。
2. 在初始化函式引數時，呼叫copy constructor 把實際引數直接建立在其應該的位置上。函式返回前，區域性物件的destructor 會被執行。
3. 在返回值用於初始化時，會為函式加上一個額外引數，型別是class object 的一個reference ，用來放置copy constructor 得到的返回值。在return 指令之前安插一個copy constructor 呼叫操作。

舉一個第三種情況的例子，比如：

Type func(int a,int b)
{
    Type x(a,b);
    //...
    return x;
}  

會被轉換為：

void func(Type & _result , int a , int b)
{
    Type x(a,b);
    //...
    _result.Type::Type(x);  //拷貝建構函式
    return;
}

從使用者層面可以做出優化，不需要呼叫copy constructor，而是呼叫constructor 。

Type func(int a,int b)
{
    return Type(a,b);
}

可以轉換為：

void func(Type & _result, int a, int b)
{
    _result.Type::Type(a,b);  //帶參建構函式
    return ;
}

因此，並非用函式返回值初始化物件時，總會呼叫copy constructor 。