在C++中用`{}`聚合初始化联合

Question

#include <iostream>

struct A { int x = 1; };
struct B { int x = 0; };

union U {
    A a;
    B b;
};

int main() {
    U u{};
    std::cout << u.a.x;
}

Answer 1

按照[dcl.init.aggr]/1：

聚合是数组或类([class])，具有

• (1.1)没有用户声明或继承的构造函数([class.ctor])，
• (1.2)没有私有或受保护的直接非静态数据成员([class.access])，
• (1.3)没有虚函数([class.virtual])，并且
• (1.4)没有虚拟、私有或受保护的基类([class.mi])。

null

null

因此

U u{};

是聚合初始化，其结果是union类的第一个数据成员，即a类型的数据成员a（非union聚合类）从空的初始化器列表中复制初始化。由于a类型的单个数据成员X有一个默认的成员初始值设定项，因此根据上面[dcl.init.aggr]/5.1，数据成员X由其默认的成员初始值设定项初始化。

因此，Clang是正确的，GCC是错误的。

null