VS2013默认初始化与值初始化

Question

考虑以下代码

struct B
{
    B() : member{}{};
    int member[10];
};

int main()
{
    B b;
}

VS2013编译器发出以下警告：

警告C4351：新行为：数组“B：：member”的元素将默认初始化1

这里有记载

使用C 11，并应用“默认初始化”的概念，意味着B. part的元素将不会被初始化。

但我认为，成员{}应该执行值初始化，而不是默认初始化。VS2013编译器是否损坏？

8.5美元/6

默认初始化类型为T的对象意味着：-如果T是（可能是cv限定的）类类型（第9条），则调用T的默认构造函数（如果T没有可访问的默认构造函数，则初始化是病态的）
-如果T是数组类型，则每个元素默认初始化
-否则，不执行初始化<如果程序调用常量限定类型的对象的默认初始化，T应为具有用户提供的默认构造函数的类类型。

$8.5.1

类型为T的对象或引用的列表初始化定义如下：
-如果初始值设定项列表没有元素，并且T是具有默认构造函数的类类型，则对象为值初始化对象
-否则，如果T是聚合，则执行聚合初始化（8.5.1）。

如果列表中的初始值设定项子句少于聚合中的成员，则未显式初始化的每个成员应从空初始值设定项列表中初始化（8.5.4）。[示例：

  struct S { int a; const char* b; int c; };
  S ss = { 1, "asdf" };

初始化ss。a带有1的，ss。b带有“asdf”和ss。c，表达式的值的形式为int（），即0-结束示例]




Answer 1

MSDN页面说：

C4351意味着您应该检查您的代码...如果您想要新行为，这很可能是因为数组已显式添加到构造函数的成员初始化列表中，请使用警告杂注来禁用警告。对于大多数用户来说，新行为应该没问题。

因此，您必须为一行添加#pragma警告（禁止：4351）或为整个文件添加#pragma警告（禁用：4351）。

Answer 2

编译器警告不正确；它实际上是按照标准要求执行值初始化。

例子：

#include <iostream>

struct B {
    B() : member{}{};
    int member[10];
};

int main() {
    int a[10] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9};
    B &b = *new (a) B;
    std::cout << b.member[9];  // prints '0'
}

Answer 3

这似乎是一条措辞错误的警告消息（我很惊讶它首先会打印一条警告），但行为是正确的<正在初始化成员的值，对于int的数组，该值将变为零初始化。这可以使用以下内容进行演示：

#include <iostream>

struct B
{
    B() : member{}{};
    int member[10];
};

struct C
{
    C() {};
    int member[10];
};

int main()
{
    B b;
    for(auto const& a : b.member) std::cout << a << ' ';
    std::cout << std::endl;

    C c;
    for(auto const& a : c.member) std::cout << a << ' ';
    std::cout << std::endl;
}

如果您在调试模式下编译并运行，则会输出：

0 0 0 0 0 0 0 0 0 0
-858993460 -858993460 -858993460 -858993460 -858993460 -858993460 -858993460 -858993460 -858993460 -858993460

第二行中的数字是0xCCCCCCCC，这是VC编译器在调试模式下填充内存的调试模式。因此B::成员是零初始化的，而C::成员不执行初始化。

免责声明：我知道读取未初始化的变量是未定义的行为，但这是我能想到的最好的证明。