c++ - **有符号**正整数的一元减运算符何时会导致溢出？

Question

通常，INT_MIN 是 -2 ^ n 而 INT_MAX 是 2 ^ n - 1

是否可以保证，如果 x 是 positive 类型的 int 则 expressoin -x 没有不会导致溢出？

Answer 1

它是隐式保证的，因为它对所有允许的签名形式都是正确的:

(以 16 位 int 为例)

• 1 的补码，INT_MIN = -32767, INT_MAX = 32767
• 二进制补码，INT_MIN = -32768，INT_MAX = 32767
• 符号和大小，INT_MIN = -32767，INT_MAX = 32767

不允许使用其他形式。正如我们所见，对于所有允许的形式，abs(INT_MIN) >= abs(INT_MAX)。

作为旁注，INT_MAX 不允许小于 32767 并且 INT_MIN 不允许小于 -32767。这是由 limits.h 的要求保证的。