C++空while循环优化为何因变量作用域不同表现有差异？

这是CppCon2023中Fedor Pikus关于未定义行为（UB）演讲里的例子：用GCC或Clang以-O3编译时，全局变量i对应的空while循环会被编译器消除，但如果i是main的局部变量，循环会被保留。核心原因在于编译器对两种变量的可修改性假设，以及C++标准对无观测行为循环的规则。

先看代码示例：

#include <iostream>

int i = 1; // 全局变量
int main() {
    std::cout << "Before infinite loop" << std::endl;
    while (i) {}
    std::cout << "After infinite loop.... wat?" << std::endl;
}

关键规则：无观测行为的循环属于UB范畴 #

C++标准规定：如果一个循环没有任何可观测行为（比如不做IO、不访问volatile对象、不修改外部可见的对象），编译器有权假设这个循环最终会终止。如果循环实际永远不终止，就触发了未定义行为——编译器可以自由处理，包括直接消除循环。

全局变量的情况：编译器无法排除外部修改的可能 #

当i是全局变量时，它属于具有外部链接的对象。编译器必须考虑到：程序运行期间，可能有其他线程、动态链接库代码，或者其他编译单元的代码修改i的值。也就是说，编译器无法100%确定这个循环会永远运行——理论上存在i被改为0、循环终止的可能。

基于标准对UB的规则，编译器会做这样的优化：既然循环要么会终止（执行后续代码），要么是UB（无需考虑），那直接消除循环，执行后面的cout语句是合法的。

局部变量的情况：编译器能确定循环必然无限 #

如果把i改成main的局部变量：

int main() {
    int i = 1;
    std::cout << "Before infinite loop" << std::endl;
    while (i) {}
    ...
}

此时i是局部非volatile变量，且没有任何代码把i的指针泄露到外部（比如传给其他线程或函数）。编译器可以明确证明：没有任何合法代码能修改i的值，循环会永远运行，且没有任何可观测行为——这确实是UB。

但GCC/Clang在-O3下选择保留这个循环，本质是编译器的实现选择：对于这种能明确判定的无限UB循环，编译器认为用户可能是故意写的（比如想让程序挂起），所以没有选择消除它。而全局变量的情况因为存在不确定性，编译器更倾向于利用UB规则做优化。

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