CPPREFERENCE的std：：allocator示例包含以下代码（为简单起见，已缩短）： // default allocator for ints std::allocator<int> a...

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