AFAIK,下面的代码不应该编译,但它在clang和GCC中.我在这里错过了什么？

Question

下面的代码显示了一个类似联合的类,其中包含一个非平凡的默认构造函数(y使用大括号或大小写初始化成员),因此如果默认构造函数是默认构造函数,则应根据§删除它12.1/5第一个要点.也就是说,声明T t;不应该编译,因为没有默认的构造函数union T.但是代码在clang和GCC中编译和执行.

#include <iostream>
union T
{
    int y{1};
    float x;
    char c;
    T() = default;
};

int main()
{
    T t;
    std::cout << t.y << '\n';
}

编辑

我的上述问题从一开始就是错误的,因为工会T 不是一个类似工会的阶级.我刚刚了解了C++ 11中的§9.5/ 8,它说:

甲工会状类是联合或具有匿名联合作为直接成员的类.类似联合的类X具有一组变体成员.如果X是联合,则其变体成员是非静态数据成员; 否则,其变体成员是作为X成员的所有匿名联合的非静态数据成员.

现在,请考虑下面的代码段.它不会编译,因为会删除union的默认构造函数.但我仍然,不知道§12.1/ 5中哪个要点对这个结果是负责任的.请注意,union不是类似联合的类,因此,§12.1/ 5中的第一个要点不适用.但这就是clang和GCC中的错误消息.查看实例.

#include <iostream>

union T{
    int y;
    struct A{ int i; A():i{1} {} } a;
};

int main()
{
    T t;
    std::cout << t.a.i << '\n';
}

Answer 1

子弹是

X 是一个类似联合的类,它有一个带有非平凡构造函数的变量成员

被解析为

X 是一个类似联合的类(具有非平凡的默认构造函数的变体成员)

即,"使用非平凡的默认构造函数"适用于变体成员的类型,而不是X.