C++中未定义行为（UB）是针对程序本身还是其执行？

cppreference的表述并非错误，只是简化表述 #

cppreference那句“正确的C++程序不存在未定义行为”是一种简化的日常说法，核心想表达的是符合标准且在所有合法输入下都不会触发UB的程序才是“正确”的程序。这种表述省略了“所有输入”的前提，虽不够严谨，但在通用语境中是被广泛接受的简化表达，不算严格意义上的错误。

存在“程序本身而非执行场景”有UB的情况 #

确实存在一类程序，无论接收什么合法输入，其所有可能的执行路径都会触发未定义行为，这类程序可直接判定为“本身存在UB”。比如：

int main() {
    int x = 1 / 0; // 整数除以零，任何执行都会触发UB
}

这类程序的任何执行实例必然包含未定义操作，无需结合输入就能确定程序本身存在UB。

多数场景下，UB是针对“程序+输入”的组合 #

你提到的“同一程序不同输入下，有的执行触发UB有的不触发”是更常见的实际情况。比如：

#include <iostream>
int main() {
    int n;
    std::cin >> n;
    int x = 1 / n; // 仅当输入n=0时触发UB
}

这个程序本身不能直接判定为有UB，只有当输入n=0时，对应的执行才会触发UB。C++标准的表述正是针对这类场景：它明确限定了“相同程序和输入下的执行”，当该执行包含未定义操作时，标准对实现的行为不做任何要求。

总结 #

• cppreference的表述是简化的日常说法，核心意图正确，但缺乏严谨性；
• 存在程序本身必然触发UB的极端情况；
• 绝大多数实际场景中，UB需要结合程序和具体输入的执行路径来判断，C++标准的表述是精准且严谨的。

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