与const和nonconst成员的联合？

Question

这似乎是未定义的行为

union A {
  int const x;
  float y;
};

A a = { 0 };
a.y = 1;

规范说

在存储位置创建一个具有静态,线程或自动存储持续时间的const对象占用的新对象,或者在此生命周期结束之前这样的const对象占用的存储位置处导致未定义的行为.

但是没有编译器警告我,因为它很容易诊断错误.我是否误解了措辞？

Answer 1

最新的C++ 0x草案标准是明确的:

在并集中,至多一个非静态数据成员可以在任何时间处于活动状态,也就是说,任何时候最多一个非静态数据成员的值都可以存储在并集中.

所以你的陈述

a.y = 1;

很好,因为它将活动成员从更改x为y.如果您随后引用a.x为右值,则行为将是未定义的:

cout << a.x << endl ; // Undefined!

您在此处引用的引用与此无关,因为您没有创建任何新对象.

Answer 2

如果有什么安慰的话 - Microsoft Xbox 360 编译器（基于 Visual Studio 的编译器）确实会出错。这很有趣，因为这通常是最宽松的。

error C2220: warning treated as error - no 'object' file generated
warning C4510: 'A' : default constructor could not be generated
    : see declaration of 'A'
warning C4610: union 'A' can never be instantiated - user defined constructor required

如果我拿走这个错误就会消失const。基于 gcc 的编译器不会抱怨。

编辑：Microsoft Visual C++ 编译器有相同的警告。