为什么此C++代码Debug构建无限运行，Release构建立即退出？

相关测试代码：

bool interrupted = false;
int main() {
    while (!interrupted) {
    }
}

Debug模式下无限循环的原因 #

Debug构建会关闭绝大多数编译优化，核心目标是保证调试时变量可观测、栈帧完整：

• 每次循环判断条件时，都会主动从内存中读取interrupted的最新值，由于全局变量初始值为false且没有修改入口，条件!interrupted恒成立，因此程序会持续死循环。

Release模式下直接退出的原因 #

Release构建会开启激进的编译优化，且符合C++标准的行为约束：

• 首先编译器在当前翻译单元内做数据流分析时，发现普通全局变量interrupted没有被标记为volatile、也不是原子类型，且当前执行路径中没有任何代码会修改它的值，因此会默认假设该变量的值在循环执行过程中不会发生变化。
• 其次C++11及更高版本的标准明确规定：不执行I/O操作、不访问volatile变量、不执行原子或同步操作的无限循环属于未定义行为，编译器有权直接删除这类没有任何副作用的空循环。因此优化后整个while循环会被直接移除，main函数执行完毕直接退出。

修复方案 #

如果你的预期是该循环可以响应其他线程/信号处理函数对interrupted的修改而退出，可以根据场景选择两种修改方式：

• 若interrupted只会在信号处理函数中修改：将变量声明改为volatile bool interrupted = false;，强制编译器每次都从内存读取变量值，不得优化读写操作。
• 若interrupted会在其他工作线程中修改：将变量声明改为std::atomic<bool> interrupted = false;，既保证变量读写的多线程可见性，也会阻止编译器将循环优化掉。

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