检查非活动工会成员，共同的初始序列

Question

_{本题基于this}

考虑以下几点：

struct Hdr { int type; };
struct A { Hdr h; };
union Big {
   Hdr h;
   A a;
};

并假设对于Big big，我们知道big.a 是工会的活跃成员。是否访问big.h.type未定义行为？

我认为确实是UB，基于：

class.union

... [ 注意：为了简化联合的使用，我们做了一个特殊的保证：如果一个标准布局联合包含多个标准布局结构，它们共享一个共同的初始序列（[class.mem]），并且如果此标准布局联合类型的对象的非静态数据成员处于活动状态并且是标准布局结构之一，则允许检查任何标准布局结构成员的公共初始序列；见[class.mem]。 — 尾注 ]

我们有一个标准布局联合，它具有标准布局成员结构，但据了解，Hdr 和 A 的 common initial sequence 是空的，即使 A 的第一个数据成员类型为 @987654331 @。

我说得对吗，这是 UB ？如果不是，我误解了公共初始序列的哪一点，因此定义了访问big.h.type？

Answer 1

我认为你的解释没有错。

根据您的报价，仅当 A 和 Hdr 共享一个包含 Hdr::type 的公共初始序列时，这才被明确定义。

引用定义公共初始序列的规则：

[class.mem] 两个标准布局结构（[class.prop]）类型的公共初始序列是声明顺序中非静态数据成员和位字段的最长序列，从第一个这样的实体开始在每个结构中，使得相应的实体具有布局兼容的类型...

因此，A 和 Hdr 的第一个成员是常见的，如果它们 - 即 int 和 Hdr - 是布局兼容的类型。这是在

中指定的

[basic.types] 两个类型 cv1 T1 和 cv2 T2 如果 T1 和 T2 是同一类型 （它们不是同一类型），则为布局兼容类型，布局兼容枚举 （它们不是枚举），或布局兼容的标准布局类类型（其中只有一个是类类型）。

由于不适用，int 和 Hdr 不是布局兼容的，因此 A 和 Hdr 的公共初始序列为空，因此没有引用的特殊保证适用的成员。

---

您可以使用包装器来绕过规则的微妙之处：

union Big {
   struct {
       Hdr h;
   } w;
   A a;
} big;

在这里，即使big.a 处于活动状态，访问big.w.h.type 也将得到很好的定义。附言匿名结构在这里可以很好地使包装器不可见。不幸的是，这些在标准 C++ 中格式不正确。