32位系统中读取64位变量：高位还是低位先被读取？

这个问题的核心结论很明确：读取顺序完全不固定，绝对不能依赖。下面具体拆解原因和注意事项：

• C/C++标准完全不规定64位变量拆分为32位部分时的读取顺序。编译器会根据目标CPU架构、优化级别、代码上下文等多种因素，自主决定生成的指令顺序——只要符合标准对程序"可观察行为"的要求，怎么高效怎么来。
• 以32位x86架构为例，常见编译器（GCC、Clang、MSVC）在默认优化下可能会先读取低32位再读高32位，但这只是一种常见实现，不是硬性规则。开启高级优化后，编译器完全可能调整这个顺序，甚至合并、重排相关指令。
• 如果你试图依赖这个顺序（比如处理多线程环境下的变量），会直接陷入未定义行为。比如uint64_t counter = 4;如果被其他线程异步修改，拆分读取的两个32位部分可能来自不同的修改状态，导致"数据撕裂"——读到的是半旧半新的无效值。这种场景下必须用原子类型（比如std::atomic<uint64_t>）来保证整个64位操作的原子性，而不是赌读取顺序。
• 另外要区分字节序和读取顺序：字节序是变量在内存中的存储布局（比如小端系统中低32位存在低地址），但这和编译器读取这两个部分的先后顺序没有必然联系——编译器依然可以根据指令效率选择读取顺序。

如果你的业务逻辑需要明确获取64位变量的高低32位部分，应该用显式的位操作来实现，比如：

uint32_t low = counter & 0xFFFFFFFF;
uint32_t high = counter >> 32;

这种写法的行为是标准明确规定的，完全不依赖底层的读取顺序。

内容的提问来源于stack exchange，提问作者tomer.z