小端架构下C语言uint32_t与uint8_t[4]联合的映射是否始终一致？

首先直接给结论：在符合小端定义的架构上，且满足标准规定的前提条件时，你肯定会得到预期的结果——u.octets[0] == 0x78、u.octets[1] == 0x56、u.octets[2] == 0x34、u.octets[3] == 0x12，而且这种访问方式不属于未定义行为。

下面拆解具体原因：

1. 小端架构的字节序核心规则 #

小端模式的本质是多字节数据的低有效字节存储在内存的低地址位置。对于uint32_t值0x12345678来说，它的四个字节从低到高依次是0x78（最低有效字节）、0x56、0x34、0x12（最高有效字节）。在小端机器上，这些字节会被依次存放在联合的起始地址（对应octets[0]）到后续连续地址（octets[1]、octets[2]、octets[3]）上。

2. C标准对联合访问的特殊许可 #

C标准通常规定：如果给联合的一个成员赋值后，直接访问另一个不相关成员属于未定义行为，但这里有个关键例外——允许用字符类型（包括uint8_t，它是标准定义的精确8位无符号字符类型）读取任何对象的字节表示。

也就是说，当你通过u.double_word写入联合的存储空间后，用u.octets（uint8_t数组）读取这些字节，是完全符合C标准的合法行为，不存在未定义风险。

3. 需要满足的前提条件 #

当然，有几个默认前提需要成立：

• 你的系统支持uint32_t和uint8_t类型（这在几乎所有现代桌面、服务器和嵌入式系统上都满足，标准要求可行时必须提供这两个类型）。
• uint8_t的大小确实为1字节（标准强制要求，无需担心）。
• 联合u没有填充字节——因为uint32_t和uint8_t[4]的大小都是4字节，联合的大小就是4字节，不会有额外填充。

只要这些前提都满足，你完全可以放心依赖这个结果，不会出现意外。

内容的提问来源于stack exchange，提问作者fadedbee