C++标准对未定义行为的限制及控制流合规性技术问询

嘿，这个问题问到了C++里最容易让人踩坑的核心点之一——未定义行为（UB）的边界和影响。咱们一步步把它拆明白：

首先得明确：C++标准里的未定义行为，指的是标准完全不对其行为做任何约束的情况。它不是“结果不确定”（那是未指定行为），也不是“由实现定义”（那是不同编译器可以有不同规则但必须明确说明）——UB是编译器可以为所欲为的领域。

常见的UB场景包括但不限于：

• 使用未初始化的自动变量（比如你代码里的undefined如果是未初始化就传进来的情况）
• 数组下标越界访问
• 有符号整数溢出
• 空指针或野指针解引用
• 修改const对象
• 函数返回类型非void但没返回值

本质上，UB是C++为了性能和灵活性，把某些行为的决定权完全交给了编译器和平台——代价就是一旦触发UB，程序的行为就彻底失控了。

答案是：完全没有。

C++标准明确规定：一旦程序触发了未定义行为，整个程序的后续行为都不再受任何约束。注意，是“整个程序”，不是从触发点开始——理论上，编译器甚至可以优化掉触发UB之前的代码，或者生成完全不符合逻辑的指令。

回到你给出的代码例子，先把代码格式化清楚：

void f(int undefined) { 
    bool startNuclearWar = true; 
    if (undefined > 0) { 
        printf("True path\n"); 
        startNuclearWar = false; 
    } else {
        // 这里不管写了什么逻辑
    }
    // 假设后续还有其他代码
}

如果undefined是一个未初始化的变量（或者其他导致undefined > 0表达式触发UB的情况），那关于这个if的控制流，标准没有任何规定：

• 编译器可以选择走then分支，也可以走else分支；
• 可以直接跳过两个分支，直接执行if之后的代码；
• 甚至可以“同时”执行两个分支（虽然实际编译器很少这么干，但标准允许）；
• 更极端的，比如直接跳转到后续代码的中间位置，或者直接终止程序，甚至忽略startNuclearWar = false的赋值，直接让后面的代码执行核战争逻辑——因为一旦触发UB，所有规则都失效了。

为什么编译器会这么“任性”？因为编译器的优化逻辑是基于程序不会触发UB的假设来工作的。如果编译器检测到某个表达式会导致UB，它可以直接把这段代码优化掉，或者按照它认为最合理的方式（通常是最优化性能的方式）生成代码——毕竟标准允许它这么做。

举个实际的例子：如果编译器发现undefined是未初始化的，它可能直接假设undefined > 0永远为真（或者永远为假），因为“未初始化变量被使用”是UB，所以编译器可以认为这种情况不会发生，从而把另一个分支的代码完全删掉。

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