我们可以访问一个不存在的联盟的成员吗

在c++标准中，在[basic.lval]/11.6中说：

如果程序试图通过以下类型以外的glvalue访问对象的存储值，则行为未定义：〔…〕

• 在其元素或非静态数据成员中包括上述类型之一的聚合或并集类型(递归地包括子聚合或包含并集的元素或非静止数据成员)，[…]

这句话是严格混叠规则的一部分。

它能允许我们访问一个不存在的工会的非活跃成员吗？如：

struct A{
int id :1;
int value :32;
};
struct Id{
int id :1;
};
union X{
A a;
Id id_;
};
void test(){
A a;
auto id = reinterpret_cast<X&>(a).id_; //UB or not?
}

注意：Bellow解释了我在标准中没有掌握的内容，以及为什么上面的例子可能有用

我想知道在什么情况下[basic.lval]/11.6会有用。

[class.mfct.non-static]/2确实禁止我们调用"casted to"并集或聚合的成员函数：

如果为不是类型X或从X派生的类型的对象调用类X的非静态成员函数，则行为是未定义的。

考虑到静态数据成员访问或静态成员功能可以使用限定名(a_class::a_static_member)直接执行，[basic.lval]/11.6的唯一有用用例可能是访问"casted to"联合的成员。我考虑过使用最后一条标准规则来实现"优化的变体"。这个变体可以包含a类对象或B类对象，这两个对象以大小为1的位字段开始，表示类型：

class A{
unsigned type_id_ :1;
int value :31;
public:
A():type_id_{0}{}
void bar{};
void baz{};
};
class B{
unsigned type_id_ :1;
int value :31;
public:
B():type_id_{1}{}
int value() const;
void value(int);
void bar{};
void baz{};
};
struct type_id_t{
unsigned type_id_ :1;
};
struct AB_variant{
union {
A a;
B b;
type_id_t id;};
//[...]
static void foo(AB_variant& x){
if (x.id.type_id_==0){
reinterpret_cast<A&>(x).bar();
reinterpret_cast<A&>(x).baz();
}
else if (x.id.type_id_==1){
reinterpret_cast<B&>(x).bar();
reinterpret_cast<B&>(x).baz();
}
}
};

对AB_variant::foo的调用不会调用未定义的行为，只要它的参数引用了类型为AB_variant的对象，这要归功于指针可交换性[basic.compound]/4的规则。允许访问非活动联合成员type_id_，因为id属于A、B和type_id_t[class.mem]/25:的公共初始序列

但是，如果我尝试用A类型的完整对象来调用它，会发生什么呢？

A a{};
AB_variant::foo(reinterpret_cast<AB_variant&>(a));

这里的问题是，我试图访问一个不存在的工会的非活动成员。

两个相关的标准段落是[class.mem]/25:

在具有结构类型T1的活动成员的标准布局联合中，允许读取结构类型T2的另一个联合成员的非静态数据成员m，前提是m是T1和T2的公共初始序列的一部分；行为就好像T1的相应成员被提名了一样。

和[class.union]/1:

在并集中，如果的名称引用了其生存期已开始但尚未结束的对象，则非静态数据成员处于活动状态。

Q3：表达式"其名称引用"是否意味着"对象"实际上是在一个活的联盟中构建的对象？或者它可能是因为[basic.lval]/11.6而引用对象a。