大于原生尺寸类型的存储顺序——C语言规范相关问题

C语言最新标准（C23）并未对大于原生架构尺寸的整数类型的拆分存储顺序做出强制规定，该行为属于实现定义范畴。

针对你给出的代码示例：

volatile uint64_t *test = (volatile uint64_t *)(addr);
*test = 0;

在32位架构中，编译器会将64位赋值操作拆分为两次32位存储指令，但标准完全不指定这两次指令的执行先后——既可能先写入addr对应的低地址，也可能先写入addr+4对应的高地址，具体由编译器实现目标平台的ABI（应用二进制接口）决定。

需要明确的几个关键点：

• 标准仅规定**对象的字节顺序（大小端）**为实现定义，但这和拆分存储的执行顺序是两个独立概念：大小端定义的是字节在内存中的最终布局，而存储顺序指的是拆分后多个存储操作的执行先后。
• volatile限定符仅要求编译器不得优化掉这两次存储操作，但依然允许调整它们的执行顺序，只要最终内存状态符合目标架构的字节顺序要求。
• 若需严格控制存储顺序，必须手动拆分操作，例如通过uint32_t指针分别赋值，明确指定执行顺序。

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