工会成员之间的分配

Question

这段代码定义明确吗？

int main()    
{    
    union     
    {    
        int i;    
        float f;    
    } u;    

    u.f = 5.0;    
    u.i = u.f;       // ?????
}    

它在一个表达式中访问两个不同的工会成员，所以我想知道它是否违反了 [class.union]/1 关于工会的活动成员的规定。

C++ 标准似乎没有明确说明哪些操作会更改内置类型的活动成员，以及如果读取或写入非活动成员会发生什么。

Answer 1

赋值运算符 (=) 和复合赋值运算符都从右到左分组。 [...] 在所有情况下，赋值在之后左右操作数的值计算之后，在值计算之前进行排序的赋值表达式。 [...]

[N4431 §5.18/1]

在您的情况下，左侧的值计算（仅涉及成员访问，而不是读取）不会不导致未定义的行为的前提下，我将应用上述内容如下：

1. 右侧的值计算读取u.f，是联合体的活跃成员。所以一切都很好。
2. 分配已执行。这涉及将获得的结果写入u.i，这现在会更改联合的活动成员。

Answer 2

可以写入非活动成员。这实际上是使它们活跃的唯一方法。活跃会员没有任何限制；它可以被读取和写入。

您可以获取非活动成员的地址。这是执行写入的有效方式：

union {
  int i;
  float f;
} u;
float* pf = &u.f; // Does NOT change the active member.
u.i = 3;
*pf = 3.0; // Changes the active member.

在您的示例中，活动成员只能通过向其写入5 变为u.i，这意味着必须已读取值u.f。

Answer 3

通过查看[class.union]/1，从包含标准布局联合的标准布局联合的考虑共享一个共同的初始序列，这意味着以下是可以的

int main()
{
   union 
   {
      union 
      {
          int x ;
          float y ;
      } v ;
      union 
      {
          int x ;
          double z ;
      } w ;      
   } u ;

   u.v.x = 2 ;
   int n = u.w.x ; // n contains 2
}

这里常用的初始序列是int x ;。

这不是确切的问题，但告诉我们这种混合是可以的。