对于两个w位宽的有符号整数来说, 其能够表示的范围在-2的w-1次方到2的w次方-1之间。因此有两种情况能够使两个数相加溢出。
(1)同符号数相加
(2)异符号数相减
如果溢出,那么相加的结果超过了能够表示的范围,则有可能出现两个正数相加得到一个负数,所以相加的结果小于两个加数。或两个负数相加得到一个正数,所以相加的结果大于两个加数。
判断两个有符号整数相加是否溢出的判断如下
#define FLASE (0)
#define TURE (1)
bool add(int a, int b, int *c)
{
*c = a + b;
return((a > 0 && b > 0 && (*c<a || *c<b) || (a < 0 && b < 0 && (*c>a || *c>b)));
}