联合中未使用的内存的内容是什么？

Question

假设我有一个工会：

union foo {
    char a;
    int i;
}

在sizeof foo.i > sizeof foo.a的平台上。

如果我分配给foo.a ，以前属于foo.i的其余内存会发生什么？

Answer 1

尚未定义尚未写入的内存将发生什么情况，这是不确定的。 编译器可以选择保持其内容不变。 它可能（例如出于性能原因）使用任意值覆盖先前的内容。

正是由于这个原因，在写完foo.a之后从foo.i读取是一种未指定的行为。

Answer 2

有趣的是，在6.2.6.1.7中C11标准对此非常清楚：

当值存储在并集类型的对象的成员中时，与该成员不对应但与其他成员对应的对象表示形式的字节采用未指定的值 。

不幸的是，我没有在C ++ 14标准中找到任何清晰的东西。 第9.5节：

在联合中，最多可以在任何时间激活一个非静态数据成员，即，可以随时将一个最多非静态数据成员的值存储在一个联合中。 [注意：为了简化并集的使用，做出了一项特殊保证：如果标准布局并集包含多个共享公共初始序列（9.2）的标准布局结构，并且该对象属于这种标准布局并集类型包含一个标准布局结构，可以检查任何标准布局结构成员的公共初始序列 ； 见9.2。 —尾注]

奇怪的是，这种保证是具体的，我找不到与布局兼容的成员有关的任何保证。 但是，两种大小不同的类型在布局上不兼容 ，因此不能成为常见初始序列的一部分 。 因此，我认为该标准将不允许检查非活动成员 。

这将是访问值时出现未定义行为的一种情况，尽管我认为未指定的值更有意义。