在C++标准中访问BITFELL联盟常见的初始数据未定义行为

c union and bitfields 但是在 C++ 包括对初始序列的访问

类似 Union common initial sequence with primitive 但是使用 bitfields

struct A
{
   short common : 1;
   short a1: 5;
   short a2: 8;
};

struct B
{
   short common : 1;
   short b1: 3;
   short b2: 4;
   short b3: 6;
};

union C
{
    A a;
    B b;
};

然后按如下方式使用:

short foo(C data)
{
   if (data.a.common)
   {
       return data.a.a1*data.a.a2;
   }
   return data.b.b1*data.b.b2*data.b.b3;
}

问题是如果 data.a.common B 通过的成员 A

common 作为一个 bitfield 会算数的

9.5.1允许检查任何标准布局结构构件的通用初始顺序;

如有任何澄清,将不胜感激