C++无副作用无限循环曾为UB的原因及与C的差异示例

当初C++标准把for(;;) {}这类无副作用的无限循环设为未定义行为（UB），核心目的是给编译器提供更大的优化空间，尤其是针对死代码消除和控制流分析的优化。下面用两个简单示例说明：

示例1：死代码消除 #

考虑以下代码：

#include <cstdio>

void print_after_loop() {
    // 无任何副作用的无限循环
    for(;;) {}
    printf("This line never runs");
}

在C++旧标准下，编译器可以判定这个无限循环是UB，进而推断循环后的printf永远不可能执行到。因此编译器会直接删除这段printf代码，最终生成的二进制里完全没有输出逻辑。如果这类循环不是UB，编译器就必须保留printf的代码——哪怕从逻辑上它永远跑不到，这会浪费编译时间和可执行文件体积。

示例2：循环外提与常量折叠 #

再看这个函数：

int get_value() {
    int val = 42;
    for(;;) {
        // 循环内没有修改val，也无任何副作用
        if (val > 100) break;
    }
    return val;
}

因为循环是UB，编译器可以直接将整个函数优化为return 42;。它不需要保留循环的执行逻辑——既然循环是UB，编译器可以假设“这个循环不会实际发生”，直接返回val的初始值。如果循环不是UB，编译器就必须保留完整的循环逻辑，哪怕它永远不会退出，这会阻碍这类常量折叠优化。

对比C语言：C标准中这类无副作用的无限循环是实现定义行为而非UB，编译器不能随意做上述优化，必须保证循环的执行逻辑被保留。

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