在学习有符号类型整数运算时,会遇到溢出的可能:
如下代码,tadd_ok函数能检测计算结果是否溢出
#include<iostream>
using namespace std;
//判断是否溢出,返回1则不溢出,0则溢出
int tadd_ok(int x, int y)
{
int sum = x + y;
if ((x > 0 && y > 0 && sum < 0)
|| (x < 0 && y < 0 && sum > 0))
return 0; //overflow
else
return 1;
}
int main()
{
int x = 1073741824;
int y = -2147483647 - 1;
//int y = -2147483648 error C4146: 一元负运算符应用于无符号类型,结果仍为无符号类型
cout << "-y: " << -y << endl; //-y = -2147483648
cout << tadd_ok(x, -y) << endl; //1
cout << tadd_ok(x, y) << endl; //1
return 0;
}
输出:
-y: -2147483648
1
1
有几点问题:
1、出现error C4146的情况:看上去用int y=-2147483647-1;
和用int y=-2147483648
一个意思,其实后者会出现错误。
原因在于 C的头文件limit.h中定义了int类型的最大值和最小值INT_MAX 和INT_MIN:
#define INT_MAX 2147483647
#define INT_MIN (-INT_MAX - 1)
对于int y=-2147483648
,编译器会理解成对一个int值进行一元运算,显然已经溢出。
2、-y=-2147483648
,而不是2147483648,因为这超过了INT_MAX,机器码为0x80000000,所以仍然是-2147483648.