（编程基础）整数溢出的检测

检测整数溢出有如下三种方法：

#include <stdio.h>
#include <limits.h>

int main()
{
    printf("%x\n", INT_MAX);
    int a = INT_MAX;
    int b = 1;

    int B = b + a;
    printf("B = %d(%x)\n", B, B);

    if (a + b < 0) {
        printf("overflow 1\n");
    }

    if ((unsigned)a + (unsigned)b > INT_MAX) {
        printf("overflow 2\n");
    }

    if (a > INT_MAX - b) {
        printf("overflow 3\n");
    }
    return 0;
}

测试结果如下：

cheny.le@cheny-ThinkPad-T420:~$ ./a.out
7fffffff
B = -2147483648(80000000)
overflow 1
overflow 2
overflow 3

可以发现上述三种方法都有检测到溢出，而且在我的测试机上整型占4个字节，我们一般使用的整型的正数范围是：0~0x7fffffff，负数的范围是0x80000000~0xffffffff。

现在简单解释一下三种方法：

（1）两个变量相加，溢出的时候结果会落到0x80000000~0xffffffff，这个区域的符号整型是负数，所以判断结果是否是负数就可以达到目的（在本机上测试看起来是ok的）

但是这个测试方法也会有一个误区，因为在某些机器上，加法运算将设置一个内部寄存器为四种状态之一：正，负，零，溢出，在这种机器上，如果使用这种方法内部寄存器的状态是溢出，而不是负，就会检测失败。

（2）既然无符号整型表达的范围更大，把两个变量强转为无符号类型（这个过程不会造成精度丢失）再来跟INT_MAX做比较，这个就能达到目的。

（3）更好的办法是第三种办法，不需要对变量进行强转，做差就能判断，在此推荐一下。