无同步原语时C++编译器优化是否需考虑其他线程？

本问题衍生自一场关于C#线程安全保证的技术讨论。

提问者持有如下预设观点：

在不存在线程感知原语（mutexes、std::atomic*等，为简化讨论此处也排除volatile关键字）的场景下，只要当前线程视角下的代码语义（即输出以及本问题排除讨论的volatile访问行为）保持不变，即完全不考虑其他线程的存在，符合C++标准的编译器可执行任意类型的代码变换，包括新增内存读操作（或按需新增内存写操作）。对于新增读写操作可能改变其他线程行为的情况（例如其他线程未做正确同步就读取数据、或触发其他类型的未定义行为UB），符合标准的编译器完全可以忽略该影响。

提问者核心疑问：上述预设观点是否正确？提问者认为该结论可由as-if规则推导得出，希望获得对应的C++标准规范参考依据。

你的预设观点是正确的，核心推导依据正是C++标准规定的as-if规则，结合标准对数据竞争触发未定义行为的明确约定。

对应标准规范逻辑 #

• as-if规则的边界：C++标准对编译器代码变换的唯一硬性约束是，变换后的程序可观测行为必须和原代码的语义完全一致。这里的可观测行为仅包含三类：当前线程对volatile对象的访问结果、程序的输入输出行为、对标准库IO/可变状态函数的调用副作用。普通非原子内存位置的中间读写状态，从来不属于as-if规则要求必须保留的可观测行为。
• 数据竞争的未定义属性：C++内存模型明确定义，若两个不同线程对同一内存位置发起访问，且至少一个访问是写操作，全程没有mutex、std::atomic、内存栅栏这类线程感知原语建立同步关系，就构成数据竞争，直接触发未定义行为（UB）。一旦程序存在UB，标准不对程序的任何运行结果做约束，编译器完全不需要考虑这类场景下其他线程的观测结果——哪怕代码变换引入的额外读写改变了其他线程读到的值，因为场景本身已经属于UB范畴，这类变换完全合规。
• 普通内存访问的优化自由度：对于非原子、非volatile的普通变量，编译器在不改变当前线程可观测语义的前提下，可以自由做各类变换：包括把内存读提到循环外、把多次写合并为一次、删除无副作用的读写、甚至临时把变量存在寄存器不回写内存。其他线程在无同步前提下尝试读这些变量，本身就属于不受标准保护的UB行为，编译器无需为这类访问的结果做任何兼容。

典型示例 #

最常见的优化场景就是无同步的线程终止标志：

// 全局标志，无原子、无volatile修饰
bool stop_flag = false;

// 线程1执行的逻辑
void work_loop() {
    // 循环内无任何同步原语，也不会修改stop_flag
    while (!stop_flag) {
        // 执行计算任务
    }
}

// 线程2执行的逻辑
void send_stop() {
    stop_flag = true;
}

按照as-if规则，编译器完全可以合法地把work_loop优化成永久死循环：它只需要在进入循环前读一次stop_flag的值放到寄存器，后续循环直接判断寄存器值即可。从当前线程视角看，这个变换完全不改变语义——因为当前线程自己从来不会修改stop_flag，每次读的值都和第一次读的一致。至于线程2修改内存中stop_flag的行为，因为两个线程没有建立同步，属于数据竞争UB，编译器根本不需要考虑这个场景的影响。

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