[美]Andrew Koenig -Ｃ陷阱与缺陷 - 整数溢出

Ｃ语言中存在两类整数算术运算，有符号运算和无符号运算。在无符号算术运算中，没有所谓的“溢出”一说。但是对于有符号数的运算发现了“溢出”时，作出任何的假设都是不安全的。

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

if (a+b<0)
    complain();

这并不能正常运行。当a+b确实发生“溢出”时，关于结果的所以的假设都不再可靠。一种正确的方式是将a和b都强制转换为无符号整数:

if ((unsigned)a + (unsigned)b > INT_MAX)
    complain();

此处的INT_MAX是一个已定义常量，代表可能的最大整数值。ANSI C 标准在<limits.h>中定义了INT_MAX；如果是在其他C语言实现上，读者也许需要自己重新定义。

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

if (a > INT_MAX -b)
    complain();