根据 C++11 标准中的 §12.1/4，代码不应编译

Question

§12.1/4：及其第一个要点

类 X 的默认构造函数是类 X 的构造函数 可以不带参数调用。如果 类 X 没有用户声明的构造函数，没有参数的构造函数被隐式声明为默认 (8.4)。一个 隐式声明的默认构造函数是 它的类。类 X 的默认默认构造函数定义为 在以下情况下删除：

• X 是一个类似联合的类，它有一个变体成员和一个重要的默认构造函数，

根据这个要点，这个 sn-p 不应该编译，因为 struct A 是一个类似联合的类（它包含一个匿名联合），它有一个变体成员 B b; 和一个非平凡的默认构造函数.但是code compiles without a problem in vc++, clang++ and g++。

#include <iostream>

struct B { B(): i(10) {} int i; };

struct A
{
    union{ int y = 1; double x; };
    int i;
    A(int j) : i{j} {};
    B b;
    A() = default;
};

int main() {
    A a;
}

Answer 1

变体成员是

union{ int y = 1; double x; };

它们都没有一个重要的构造函数。

这在 §9.5/8 中定义：

9.5 联合 [class.union]

⁸类联合类 是一个联合或具有匿名联合作为直接成员的类。类似联合的类 X 有一组变体成员。如果X 是联合，则其变体成员是非静态数据成员；否则，它的变体成员是所有匿名联合的非静态数据成员，它们是X 的成员。