检测整数溢出有如下三种方法:
#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)更好的办法是第三种办法,不需要对变量进行强转,做差就能判断,在此推荐一下。