一、前言
在学习 C++ 标准时，经常会遇到一个看似枯燥的词：as-if rule。它的核心意思很简单：编译器可以对代码做任何优化，只要最终表现得"好像（as if）"按照源码逐条执行一样。
那问题来了------什么叫"表现得一样"？
答案就在一个关键词里：可观测副作用（observable side effects）。
二、什么是可观测副作用？
C++ 标准把下面几类操作都定义为可观测副作用：
- 对 volatile 对象的访问（读或写）。
- 原子操作中的同步行为（C++11 起）。
- 修改文件内容（包括写文件、标准输出）。
- 修改浮点环境（舍入模式、浮点异常）。
- 调用任何会触发以上行为的函数。
这些操作之所以特殊，是因为它们的结果可以被程序外部或硬件环境观测到。
- 你在屏幕上看到输出 → 可观测
- 你在硬件寄存器里读到不同的值 → 可观测
- 你依赖 volatile 读写与外设交互 → 可观测
三、为什么编译器不能跨过可观测副作用？
编译器的优化再激进，本质上都不能打破一个约束：副作用对外可见的时序必须保持一致。
举几个例子：
例 1：volatile 写入
cpp
volatile int* reg = HW_REG;
*reg = 1;
*reg = 2;必须真的写两次：先写 1，再写 2。
如果编译器优化成 *reg = 2;，那外设根本看不到第一次写入 → 可观测结果变了。
例 2：输出到终端
cpp
std::cout << "Hello";
std::cout << "World";输出必须是 HelloWorld，不能重排。否则用户看到的顺序就乱了。
C++标准
编译器在优化时必须保持可观测副作用的相对顺序，以保证程序外部可见行为不被改变。而对普通对象的写操作（非 volatile）不属于可观测副作用，编译器可以根据 as-if rule 对它们进行优化、删除或重排，只要最终不影响可观测行为。
以下是C++标准中对volatile的描述：
Every access (both read and write) made through an lvalue expression of volatile-qualified type is considered an observable side effect for the purpose of optimization and is evaluated strictly according to the rules of the abstract machine (that is, all writes are completed at some time before the next sequence point). This means that within a single thread of execution, a volatile access cannot be optimized out or reordered relative to another visible side effect that is separated by a sequence point from the volatile access.
总结起来就是，单线程下，volatile变量的读写属于可观测副作用，不能重排到另一个可观测副作用语句的前后。
四、为什么要有这个"红线"？
这其实是 C++ 优化哲学的边界：
- 性能层面：编译器尽可能自由优化。
- 正确性层面：任何外部可见的效果都不能被破坏。
换句话说，可观测副作用是编译器优化的底线。
它让 C++ 程序在高性能与可预测性之间取得平衡：
既能利用现代编译器的激进优化，又能保证程序员与外部世界的交互不被篡改。
五、总结
当你听到 "as-if rule" 的时候，别把它当成一个生硬的术语去背。
它真正守护的是一个更直观的概念：可观测副作用。
- 没有副作用的代码，可以被随意折叠、消除、重排。
- 一旦涉及副作用，编译器必须谨慎处理，保持顺序。
这就是为什么"优化不会跨过可观测副作用"。下一次看到 volatile 或者 I/O 操作时，可以想想：👉 这就是编译器不敢随意动的 "红线"。
📬 欢迎关注公众号"Hankin-Liu的技术研究室"，收徒传道。持续分享信创、软件性能测试、调优、编程技巧、软件调试技巧相关内容，输出有价值、有沉淀的技术干货。