我正在阅读K&R关于C语言联合体的内容，据我理解，联合体中的单个变量可以存储多种类型之一。如果将某些东西作为一个类型存储，并作为另一个类型提取，则结果纯粹是由实现定义的。
现在请检查此代码片段：
#include<stdio.h>
int main(void)
{
union a
{
int i;
char ch[2];
};
union a u;
u.ch[0] = 3;
u.ch[1] = 2;
printf("%d %d %d\n", u.ch[0], u.ch[1], u.i);
return 0;
}
输出：
3 2 515
我正在将值分配给 u.ch，但是从 u.ch 和 u.i 中检索。这是实现定义的吗？还是我做了什么很愚蠢的事情？
我知道这可能对其他人来说似乎非常初级，但我无法找出输出背后的原因。
谢谢。
u.i 和 u.ch 存储在同一内存地址上。因此，写入其中一个并从另一个读取的结果取决于编译器、平台、架构，有时甚至取决于编译器的优化级别。因此，u.i 的输出结果可能不总是515。gcc 对-O0和-O2产生了两个不同的答案。
Because my machine has 32-bit little-endian architecture, with -O0 I end up with two least significant bytes initialized to 2 and 3, two most significant bytes are uninitialized. So the union's memory looks like this: {3, 2, garbage, garbage}
Hence I get the output similar to 3 2 -1216937469.
With -O2, I get the output of 3 2 515 like you do, which makes union memory {3, 2, 0, 0}. What happens is that gcc optimizes the call to printf with actual values, so the assembly output looks like an equivalent of:
#include <stdio.h>
int main() {
printf("%d %d %d\n", 3, 2, 515);
return 0;
}
The value 515 can be obtained as other explained in other answers to this question. In essence it means that when gcc optimized the call it has chosen zeroes as the random value of a would-be uninitialized union.
写入一个联合成员并从另一个成员读取通常没有太多意义，但有时对于使用严格别名编译的程序可能是有用的。
u.i存在可能的陷阱表示，则可能在平台上未定义）。 - M.Mint到char [2]数组的类型切换方面相对安全。在C语言中，重新解释任何对象的内容为char数组总是合法的（同样是6.5 / 7）。char [2]数组成员，然后将其作为int读取可能会创建一个捕获表示，并导致未定义行为。即使您的char数组长度足以覆盖整个int，潜在的危险仍然存在。int比char [2]大，则读取的int将覆盖数组末尾之外未初始化的区域，这又会导致未定义行为。int的memcpy来创建一个有效的int，该方法是将它作为unsigned char单位组装起来（表示方式）。我认为只要确保能够创建有效的表示方式，自己进行组装同样有效。请注意，（非常普遍的）条件INT_MIN==-(2^(CHAR_BIT*sizeof(int)-1))可以确保所有表示方式都是有效的。 - R.. GitHub STOP HELPING ICE这是与实现相关的，不同平台/编译器的结果可能会有所不同，但似乎正在发生以下情况：
515的二进制表示为
1000000011
在数字前面填充零以使其成为两个字节（假设是16位整数）：
0000001000000011
00000010 and 00000011
这是2和3
希望有人解释为什么它们被颠倒了——我猜测字符并没有颠倒，而是整数采用了小端字节序。
联合体分配的内存量等于存储最大成员所需的内存量。在这种情况下，您有一个长度为2的int和char数组。假设int是16位，char是8位，两者都需要相同的空间，因此联合体分配了两个字节。
当您将三（00000011）和二（00000010）分配给char数组时，联合体的状态为0000001100000010。当您从该联合体读取int时，它会将整个内容转换为一个整数。假设采用小端字节序表示，其中LSB存储在最低地址处，则从联合体读取的int将是0000001000000011，这是515的二进制表示。
注意：即使int是32位，这也是正确的——请查看Amnon的回答
int main(void) { union a{ int i; char ch[3]; }; union a u; u.ch[0] = 3; u.ch[1] = 2; u.ch[2] = 2; printf("%d %d %d\n",u.ch[0],u.ch[1],u.i); return 0; } - whacko__Cracko
u.ch[0]=3;？为什么会出现警告呢？char只是整型类型中最短的一种，为什么不能接受用十进制写的值呢？同样地，也没有阻止使用int x='c';。在你的解释中，“signed char”和“unsigned char”哪一个应该为ASCII码保留，另一个有什么用途？ - Pascal Cuoqprintf("sizeof literal char: %d\n", (int)sizeof 'X');。 - pmg