§9.5.1国家:
[ 注意: 一个特殊的保证 是为了简化联合的使用:如果标准布局联合包含几个标准布局 具有共同初始序列的结构( 9.2 ),如果是这个标准布局联合类型的对象 包含一个标准布局结构,允许检查任何一个的公共初始序列 标准布局结构成员;看到 9.2 。 - 注意 ]
有一些questions elsewhere围绕文字类型和标准布局结构是否与布局兼容并在此保证下涵盖。
以下代码是否显示未定义的行为?
struct S {
int a;
};
union U {
int a;
S b;
};
int main() {
U foo;
foo.a = 3;
return foo.b.a;
}