c++ - 以下 union 中的值是如何分配的？

Question

在下面的代码中，是否可以预测 int 的值(如何？)，还是只是垃圾？

union a
{
    int i;
    char ch[2];
};
a u;
u.ch[0] = 0;
u.ch[1] = 0;
cout<<u.i;
}

Answer 1

我会说这取决于 int 和 char 的大小。 union 包含最大变量的内存。如果 int 是 4 个字节而 char[2] 代表 2 个字节，则 int 比 char 消耗更多的内存-array，因此您不会通过设置所有 char-变量将完整的 int-memory 初始化为 0。这取决于您的内存初始化机制，但基本上 int 的值看起来是随机的，因为额外的 2 个字节填充了未指定的值。

此外，在我看来，填充 union 的一个变量并读取另一个变量正是使 union 不安全的原因。

如果你确定int是最大的数据类型，你可以通过写初始化整个union

union a
{
    int i;
    char ch[2];
};

void foo()
{
    a u = { 0 };  // Initializes the first field in the union
    cout << u.i;
}

因此，将最大的类型放在并集的开头可能是个好主意。虽然这并不能保证当所有位都设置为 0 时，所有数据类型都可以被视为零或空。