C++标准中“实现可假设X”表述是否暗示非X代码为UB？

一、标准条款的核心含义 #

先明确C++标准[basic.progress]p1的官方表述（翻译后）：

实现可假设任意线程最终会执行以下操作之一：

• 终止，
• 调用库I/O函数，
• 通过易失性泛左值进行访问，
• 执行同步操作或原子操作。

二、核心问题：「实现可假设X」是否等价于「不满足X即为Undefined Behavior」 #

答案是肯定的，这是C++标准中这类表述的普遍含义，核心逻辑如下：

1. 未定义行为（Undefined Behavior，简称UB）的本质：C++标准中，UB指的是标准未对其行为做出任何约束的代码场景。当标准允许实现“假设X成立”，就等于明确告知实现：无需考虑X不成立的情况——既不需要保证代码运行符合程序员预期，也不需要保证任何特定行为，编译器可自由优化甚至直接丢弃这类代码。

2. 无副作用无限循环的实例验证：像for (;;);这种完全不触发上述四类操作的无限循环，直接违背了标准给实现的假设。编译器可以合法执行任何操作：比如直接删除循环让程序继续执行后续代码、让进程直接终止，甚至生成无意义的机器码——这些都符合标准要求，因为这类代码的行为属于UB。

3. 争议观点澄清：部分讨论中提到“可假设循环终止但无限循环非UB”是对标准的误解。标准的假设并非“循环会终止”，而是“线程最终会执行指定的四类操作之一”。无副作用无限循环永远不会触发这些操作，完全违反假设，因此必然属于UB。

三、补充：C与C++的规则差异（供参考） #

需要注意，C标准在这部分的规则与C不同：C11及后续版本中，无副作用的空无限循环（如while(1);）不属于UB，这是两门语言在进度保证规则上的明确区别，但不影响C中「实现可假设X」这类表述的核心含义。

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