相关文章: 如何在联合体中初始化非POD成员
标准规定：
联合体最多只能有一个非静态数据成员具有花括号或等号初始化器。
但是
struct Point {
Point() {}
Point(int x, int y): x_(x), y_(y) {}
int x_, y_;
};
union U {
int z;
double w;
Point p = Point(1,2);
};
#include <iostream>
int main () {
U u;
std::cout << u.p.x_ << ":" << u.p.y_ << std::endl;
}
打印出 4196960:0 而非预期的 1:2。
我认为这是编译器的错误。是这样吗？
X 的默认构造函数是指可以在不传入参数的情况下调用的类 X 的构造函数。如果类 X 没有用户声明的构造函数，则将自动声明一个没有参数的构造函数作为默认构造函数（8.4）。自动声明的默认构造函数是其类的 inline public 成员。如果类 X 的默认构造函数被定义为已删除，则表示该默认构造函数是默认的，当且仅当以下情况之一成立时：
X 是一个类似于联合体的类，其中包含具有非平凡默认构造函数的变量成员。X 是一个联合体，其所有变量成员都是 const 限定类型（或数组）。X 是一个非联合体类，其中任何匿名联合体成员的所有成员都是 const 限定类型（或数组）。M（或数组），并且要么 M 没有默认构造函数，要么对于 M 的默认构造函数应用的重载决议（13.3）结果是二义性的，要么是一个从默认的默认构造函数中删除或无法访问的函数。如果默认构造函数不是用户提供的，并且：
否则，该默认构造函数就是 非平凡的。
由于 OP 中的结构体Point 具有非平凡的默认构造函数，Point() {}
Point的成员的联合体的默认构造函数未定义时，根据第一条规则，应该定义为删除状态。
这将导致OP中呈现的程序无法正常运行。
X是一个类似于联合体的类，其中包含具有非平凡默认构造函数的变体成员。
with the brace-or-equal-initializer present and maximum warnings GCC 4.8.2 performs no initialization of the union at all, and even warns that the members are used uninitialized:
main.cpp: In function 'int main()':
main.cpp:17:39: warning: 'u.U::p.Point::y_' is used uninitialized in this function [-Wuninitialized]
std::cout << u.p.x_ << ":" << u.p.y_ << std::endl;
^
main.cpp:17:22: warning: 'u.U::p.Point::x_' is used uninitialized in this function [-Wuninitialized]
std::cout << u.p.x_ << ":" << u.p.y_ << std::endl;
^
Point没有一个平凡的默认构造函数，联合体的默认构造函数应该被隐式删除了。当然，除非成员初始化算作用户提供的默认构造函数。 - chris