访问联合中相同类型的非活动成员

Question

我有这样的事情：

union DataXYZ
{
    struct complex_t
    {
        float real, imag;
    } complex;

    struct vector_t
    {
        float magnitude, phase;
    } vector;
};

我有一些这些向量，作为通用工作空间内存，我在语义上下文之后相应地使用这些字段。

我知道当最后一个活动成员是另一个字段（和类型？）时，读取联合中的字段是未定义的行为。当类型和布局完全匹配时，这是否重要？

我一直在评论一些其他类似的问题，要求提供保证行为的参考资料，但什么都没有出现 - 因此提出了这个问题。

Answer 1

是的您可以在这个特殊情况中读取其他成员。

这就是 C++11/14 标准所说的：

9.5 - 工会

在一个联合中，最多可以有一个非静态数据成员处于活动状态 在任何时候，即最多一个非静态数据的值 成员可以随时存储在联合中。

但是该部分之后的注释使您的特定实例合法，因为作出了一项特殊保证为了简化联合的使用：

[ 注意：如果一个标准布局联合包含多个标准布局 共享一个公共初始序列（9.2）的结构，如果一个对象 此标准布局联合类型的包含标准布局之一 结构，允许检查任何的公共初始序列 标准布局结构成员；见 9.2。 —尾注 ]

和你的structs 分享一个共同的初始序列：

9.2.16 - 类成员

两个标准布局的共同初始序列 struct (Clause 9) types 是最长的非静态数据序列 声明顺序的成员和位域，从第一个开始 每个结构中的这样的实体，这样对应的实体 具有布局兼容的类型，并且两个实体都不是位域 或者两者都是具有相同宽度的位域。