问在C++中有符号整数溢出仍然是未定义的行为？

EN

他们还是未定义的行为吗？

是。根据C++ 11标准：

如果在评估表达式时，结果不是数学上定义的，或者不在其类型的可表示值范围内，则行为是未定义的。[...]

对这些有符号类型使用二进制补码表示的事实并不意味着在评估这些类型的表达式时使用算术模2^n。

另一方面，关于无符号算术，标准明确规定：

无符号整数，声明unsigned，应服从算术模2 ^ n的定律，其中n是特定大小整数的值表示中的位数

这意味着无符号算术运算的结果总是“ 数学定义的 ”。

仅仅因为一个类型被定义为使用二进制补码表示法，它并不遵循该类型中的算术溢出变得定义。

有符号算术溢出的未定义行为用于启用优化; 例如，编译器可以假设，如果a > b的话a + 1 > b; 这不适用于无符号算术，因为a + 1会绕回到第二次检查，因此需要执行第二次检查0。