在 C++ 中，编译器可以假设不会发生 UB，从而影响执行路径中的行为（甚至是明显的副作用，如 I/O），如果我正确理解了措辞，这些路径会遇到 UB，但还没有。 C是否要求在抽象机器遇到UB之前“正...