Union的默认构造函数被隐式删除

Question

以下代码：

struct non_trivially {
    non_trivially() {};
};

union U {
    bool dummy{false};
    non_trivially value;
};

int main() {
    U tmp;
}

https://godbolt.org/z/1cMsqq9ee

在 clang (13.0.0) 上产生下一个编译器错误：

source>:11:7: error: call to implicitly-deleted default constructor of 'U'
    U tmp;
      ^ <source>:7:19: note: default constructor of 'U' is implicitly deleted because variant field 'value' has a non-trivial default constructor
    non_trivially value;

但使用 MSVC (19.30) 成功编译。

根据 cppreference，它应该是一个有效的代码：https://en.cppreference.com/w/cpp/language/union

如果联合包含具有非平凡默认构造函数的非静态数据成员，则默认删除联合的默认构造函数，除非联合的变体成员具有默认成员初始值设定项。

在我的示例中，U 中有一个带有默认成员初始值设定项的替代方法，因此不应删除默认构造函数，但确实如此。我错过了什么？

Answer 1

这是CWG2084。如果您提供默认成员初始化程序，则 Clang 和 gcc 删除默认构造函数是错误的。

在更改被采纳后添加到标准中的相关引用（在[class.default.ctor]中）：

如果满足以下条件，则将类 X 的默认默认构造函数定义为已删除：

• X 是一个联合，它有一个变体成员和一个非平凡的默认构造函数，并且 X 的任何变体成员都没有一个默认成员初始化器，
• [...]
• X 是一个联合，它的所有变体成员都是 const 限定类型（或其数组），

（作为唯一两个引用联合类型的点，两者都不适用，因此不应隐式删除）

解决方法是用户提供构造函数：

union U {
    constexpr U() : dummy{false} {}
    bool dummy;
    non_trivially value;
};

// Or this also seems to work
union U {
    constexpr U() {}
    bool dummy{false};
    non_trivially value;
};

Answer 2

这一切都有些神秘。 gcc 的行为与 clang 相同。

standard 这么说（强调我的）：

缺少默认成员初始化器，如果联合的任何非静态数据成员具有非平凡的默认构造函数、复制构造函数、移动构造函数、复制赋值运算符、移动赋值运算符或析构函数， union 对应的成员函数必须是用户提供的，否则会为 union 隐式删除。

但我认为这里的措辞有点模糊。我认为它们的实际意思是您必须为具有（在您的示例中）非平凡构造函数的成员提供一个初始化程序，如下所示：

struct non_trivially {
    non_trivially() {};
};

union U {
    bool dummy;
    non_trivially value { };        // <-- note that I have added an initialiser
};

int main() {
    U tmp;
}

那么，it compiles。