整数溢出

转至《C陷阱与缺陷》

C语言中存在两类整数算术运算：有符号运算、无符号运算。

在无符号算术运算中，没有所谓的“溢出”：所有的无符号运算都是以2的n次方为模，n是结果中的位数(char 2^8、int 2^32)。

如果算术运算符的一个操作数是有符号整数，另一个是无符号整数，那么有符号整数会被转换成无符号整数，“溢出”也不可能发生。

但是，当两个操作数都是有符号整数时，“溢出”就有可能发生，而且“溢出”的结果是未定义的。

例：假定a,b是两个非负整型变量，我们需要检查a+b是否会“溢出”，一种想当然的方式：

if ( a + b < 0) /* 溢出 */
{
    complain();
}

这并不能正常运行。当a+b发生“溢出”时，所有关于结果的假设都不可靠。在某些机器上，加法运算将设置一个内部寄存器为四种状态之一：正、负、零、溢出。在这种机器上，C编译器完全有理由这样来实现：a与b相加，然后检查内部寄存器的标志是否为“负”。当加法操作发生“溢出”时，这个内部寄存器的状态是溢出而不是负，那么if语句的检查就会失败。

一种正确的方式是将a、b都强制转换为无符号整数：

if ( (unsigned)a + (unsigned)b > INT_MAX)  /* 溢出 */
{
    complain();
}

INT_MAX是一个已定义常量，代表可能的最大整数值。ANSI C标准在<limits.h>中定义INT_MAX。

不需要用到无符号算术运算的另一种方法是：

if ( a > INT_MAX - b)  /* 溢出 */
{
    complain();
}

——————————————————————————

有符号数：

符号不同的数相加肯定不会溢出；

符号相同的数相加，结果与相加的数的符号不同，则表示溢出；