**符号**正整数的一元减运算符何时导致溢出？

Question

通常,INT_MIN是-2 ^ n和INT_MAX是2 ^ n - 1

是否保证,如果x是正数型,int那么expressoin -x不会导致溢出？

Answer 1

它是隐式保证的，因为它对于所有允许的符号形式都是正确的：

（以 16 位为例int）

• 一个人的补语，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。这是由 limit.h 的要求保证的。