C++编译器优化无限循环的异常行为及规避方法咨询

问题现象 #

以下代码预期会进入无限循环且无输出，但在MSVC 2022、GCC 14开启-O2优化后，出现错误输出：

初始代码 #

// main.cpp
#include <test.h>

int main()
{
    Test t;
    t.test();
    return 0;
}

// test.h
#pragma once

class Test
{
public:
    void test();

private:
    int m_i = 0;
};

// test.cpp
#include "test.h"
#include <iostream>

void Test::test()
{
    while (true) {
        if (m_i > 100) {
            std::cout << "m_i is " << m_i << std::endl;
            return;
        }
    }
}

输出结果：

m_i is 0

修改test函数后：

void Test::test()
{
    while (true) {
        if (int i = m_i; i == 100) {
            std::cout << "m_i is " << m_i << std::endl;
            std::cout << "i is " << i << std::endl;
            return;
        }
    }
}

GCC下输出：

m_i is 0
i is 100

这类问题本质是编译器利用C++标准中的未定义行为进行了激进优化，而非单纯的编译器bug，以下是提前规避的规则：

规避规则 #

• 禁止编写无任何可观测行为的无限循环：C++标准明确规定，没有可观测副作用的无限循环属于未定义行为，编译器有权直接删除循环，执行后续代码。你代码中的循环只读取未修改的m_i，无任何输出、内存修改等可观测操作，因此被编译器优化掉，导致后续输出逻辑意外执行。

• 确保循环内存在可观测副作用：如果必须保留无限循环，要加入编译器无法忽略的可观测操作，比如：

  • 调用std::cout等IO操作（常规场景下有效，极端优化场景需额外处理）
  • 读取或写入volatile修饰的变量
  • 调用线程相关函数（如std::this_thread::yield()）

• 不要依赖未修改变量的逻辑判断：如果变量在循环生命周期内不会被修改，编译器会将其值视为常量，甚至直接替换判断条件。若判断条件逻辑上永远不成立，编译器会直接删除整个分支或循环，导致后续代码异常执行。

• 避免编写逻辑上不可达的分支：如果分支条件在正常逻辑下永远无法触发，编译器可能会将分支代码与前面的循环一同优化，导致分支代码被意外执行。

• 对比不同优化等级的行为定位问题：当-O0（无优化）下行为正常，-O2下异常时，优先检查代码中的未定义行为，而非直接认定为编译器bug（虽然编译器确实存在bug，但绝大多数此类问题源于代码违反标准规则）。

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