为什么当其他构造函数存在时，“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

哪个不是你观察行为。