爲什麼當其他構造函數存在時，「ctor（）= default」更改行爲？

Question

爲什麼

struct wrapper 
{ 
    explicit wrapper(void *); 
    wrapper() = default; 
    int v; 
}; 

int main() { return wrapper().v; } // You should run this in Debug mode 

回報0xCCCCCCCC，而

struct wrapper { wrapper() = default; int v; }; 
int main() { return wrapper().v; } 

和

struct wrapper { int v; }; 
int main() { return wrapper().v; } 

都返回0？

Answer 1

在值初始化，如果T是無需用戶提供的或刪除的缺省-構造函數的類型，則該對象是零初始化（第8.5節/ 8.2）。 wrapper的確如此。

你的第一示例實現零初始化（第8.5節/ 6.1，重點煤礦）

第三殼體相匹配 - 如果T是標量類型（3.9），該對象被初始化爲值通過將整數文字 0（零）轉換爲T而獲得;

- 如果T是一個（可能是cv限定的）非聯合類類型，則每個非靜態數據成員和每個基類子對象都被初始化並且填充被初始化爲零位;

- 如果T是一個（可能CV修飾）聯合類型，對象的第一非靜態命名的數據成員是零初始化和填充被初始化爲零比特;

- 如果T是一個數組類型，每一個元素是零初始化

- 如果T是引用類型，則執行

在第一示例

所以沒有初始化，v應被初始化爲零。這看起來像一個錯誤。

在你的第二個和第三個例子中，你不再有用戶提供的構造函數，但是你有一個非用戶提供或刪除的默認構造函數，所以你的例子仍然屬於第零個初始化，它是對每個非靜態數據成員進行零初始化。 VS在那裏是正確的。

Answer 2

這似乎確實是MSVC中的一個錯誤。在所有三種情況wrapper無用戶提供默認的構造，所以初始化與wrapper()調用：

（所有的n3690引文）

（8.5/11），它的初始值設定的目標是一空的圓括號，即（），應進行數值初始化。

（感謝DYP），這將導致int v零intialization

初始化然後指我們的規則：

（8.5/8）如果T是一個（可能cv-qualified）類的類型，沒有用戶提供或刪除的默認構造函數，那麼該對象將被初始化並檢查默認初始化的語義約束。

零初始化規則狀態：

（8.5/6）如果T是一個（可能CV修飾）非工會類型，每個非靜態數據成員，並且每個基礎類子對象零初始化和填充被初始化爲零位

int v是的wrapper數據成員根據爲零initialiazed本身：

（8.5/6）如果T是一個標量類型（3.9），該對象被初始化爲通過轉換整數文字而得到的值0（零）到T

哪個不是你觀察行爲。