可观测副作用：C++编译器优化的“红线”

一、前言

在学习 C++ 标准时，经常会遇到一个看似枯燥的词：as-if rule。它的核心意思很简单：编译器可以对代码做任何优化，只要最终表现得“好像（as if）”按照源码逐条执行一样。
那问题来了——什么叫“表现得一样”？
答案就在一个关键词里：可观测副作用（observable side effects）。

二、什么是可观测副作用？

C++ 标准把下面几类操作都定义为可观测副作用：

1. 对 volatile 对象的访问（读或写）。
2. 原子操作中的同步行为（C++11 起）。
3. 修改文件内容（包括写文件、标准输出）。
4. 修改浮点环境（舍入模式、浮点异常）。
5. 调用任何会触发以上行为的函数。

这些操作之所以特殊，是因为它们的结果可以被程序外部或硬件环境观测到。

• 你在屏幕上看到输出 → 可观测
• 你在硬件寄存器里读到不同的值 → 可观测
• 你依赖 volatile 读写与外设交互 → 可观测

三、为什么编译器不能跨过可观测副作用？

编译器的优化再激进，本质上都不能打破一个约束：副作用对外可见的时序必须保持一致。
举几个例子：

例 1：volatile 写入

volatile int* reg = HW_REG;
*reg = 1;
*reg = 2;

必须真的写两次：先写 1，再写 2。
如果编译器优化成 *reg = 2;，那外设根本看不到第一次写入 → 可观测结果变了。

例 2：输出到终端

std::cout << "Hello";
std::cout << "World";

输出必须是 HelloWorld，不能重排。否则用户看到的顺序就乱了。

C++标准

编译器在优化时必须保持可观测副作用的相对顺序，以保证程序外部可见行为不被改变。而对普通对象的写操作（非 volatile）不属于可观测副作用，编译器可以根据 as-if rule 对它们进行优化、删除或重排，只要最终不影响可观测行为。
以下是C++标准中对volatile的描述：

总结起来就是，单线程下，volatile变量的读写属于可观测副作用，不能重排到另一个可观测副作用语句的前后。

四、为什么要有这个“红线”？

这其实是 C++ 优化哲学的边界：

• 性能层面：编译器尽可能自由优化。
• 正确性层面：任何外部可见的效果都不能被破坏。

换句话说，可观测副作用是编译器优化的底线。
它让 C++ 程序在高性能与可预测性之间取得平衡：
既能利用现代编译器的激进优化，又能保证程序员与外部世界的交互不被篡改。

五、总结

当你听到 “as-if rule” 的时候，别把它当成一个生硬的术语去背。
它真正守护的是一个更直观的概念：可观测副作用。

• 没有副作用的代码，可以被随意折叠、消除、重排。
• 一旦涉及副作用，编译器必须谨慎处理，保持顺序。

这就是为什么“优化不会跨过可观测副作用”。下一次看到 volatile 或者 I/O 操作时，可以想想： 这就是编译器不敢随意动的 “红线”。

欢迎关注公众号“Hankin-Liu的技术研究室”，收徒传道。持续分享信创、软件性能测试、调优、编程技巧、软件调试技巧相关内容，输出有价值、有沉淀的技术干货。