C++：嵌套结构的平面初始化列表？

Question

已定义

struct A {
  int a,b;
};

struct B {
  A a;
  int b;
};

以下初始化是显而易见的：

B b1 = { { 1 } };    // initializes b1.a.a
B b2 = { { 1, 2 } }; // initializes b1.a.a, b1.a.b
B b3 = { { 1 }, 2 }; // initializes b1.a.a, b1.b

但令我惊讶的是 VC++ 2013 也允许这些初始化而没有任何警告：

B b4 = { 1 };       // initializes b4.a.a
B b5 = { 1, 2 };    // initializes b5.a.a, b5.a.b
B b6 = { 1, 2, 3 }; // initializes b6.a.a, b6.a.b, b6.b

嵌套结构/类的平面初始化列表是标准 C++ 吗？

Answer 1

是的，它是8.5 Initializers中描述的标准C++。

这称为大括号省略，可以应用于聚合初始化的情况。

来自 n4296，8.5.1.12 聚合：

可以在初始化列表中省略大括号，如下所示。如果 initializer-list 以左大括号开头，然后是后面的 初始化子句的逗号分隔列表初始化 子聚合；有更多是错误的 初始化子句比成员。但是，如果初始化器列表 对于子聚合不以左大括号开头，则仅 从列表中获取足够的初始化子句来初始化 子集合的成员；任何剩余的初始化子句都是 left 来初始化聚合的下一个成员，其中 当前子聚合是成员。

这是 8.5.1.13 中的另一个示例：

struct A {
    int i;
    operator int();
};

struct B {
    A a1, a2;
    int z;
};

A a;
B b = { 4, a, a };

在本例中，a1 用 4 初始化，a2 用 a 和 z 初始化 使用 a 的 operator int() 的结果进行初始化。

Answer 2

是的，这是标准 C++。在聚合初始化中（仅在聚合初始化中，而不是在其他形式的列表初始化中），可以省略大括号，有效地扁平化聚合的包含层次结构。