为什么存在其他构造函数时“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 的零初始化

然后初始化将我们引向规则：

(8.5/8) 如果 T 是（可能是 cv 限定的）类类型，没有用户提供或删除的默认构造函数，则该对象为零初始化，并检查默认初始化的语义约束。

零初始化规则状态：

(8.5/6) 如果 T 是（可能是 cv 限定的）非联合类类型，则每个非静态数据成员和每个基类子对象都被初始化为零并且填充被初始化为零位

int v 是wrapper 的数据成员，其自身初始化为零，根据：

(8.5/6)如果T是标量类型(3.9)，则将对象初始化为整型文字0(零)转换为T得到的值

这不是您观察到的行为。