判断两个整数相减会不会溢出

判断两个整数相减会不会溢出，需要注意的是一个特殊情况：当减数是机器所能表示的最小负数时。/*练习题2.32
开发环境VC++6.0*/
#include<stdio.h>int taddOK（int, int）;
int tsubOK_Buggy（int x,int y）;
int tsubOK（int x,int y）;void main（）{

int x = 0;
int y = -2147483648;//-2147483648是32机器中所能表示的最小int。 printf（"taddOK（%d,%d）:%d ",x,y,taddOK（x,y））;
printf（"tsubOK_Buggy（%d,%d）:%d ",x,y,tsubOK_Buggy（x,y））;
printf（"tsubOK（%d,%d）:%d ",x,y,tsubOK（x,y））;

}/*Determine whether arguments can be added without overflow */
int taddOK（int x, int y）{
int sum = x + y;
int negOverflow = x < 0 && y < 0 && sum >= 0;
int posOverflow = x >= 0 && y >= 0 && sum <= 0; return ！negOverflow && ！posOverflow;
}/*判断两个整数相减会不会溢出.
此函数有bug：当y = -2147483648时，有-y = -2147483648，当x 为负数时，taddOK（x,y）会返回0。
而实际上，例如：-5 - （-2147483648）是不会溢出的。
*/
int tsubOK_Buggy（int x,int y）{
printf（"-y = %d ",-y）;
return taddOK（x, -y）;
}
/*判断两个整数相减会不会溢出.返回值1表示溢出。*/
int tsubOK（int x,int y）{
if（y == ~y + 1）{//判断y 是不是机器可以表示的最小负整数。此式可以适用于32位及64位机器。
printf（"x - y = %d ",x - y）;
return x <= 0;/*注意，此处要有=,因为：如果不加=，当0 - （-2147483648）=2147483648在32位机中是无法表示的，
得出的结果仍然是-2147483648,这显然是不对的。*/
}
else{
return taddOK（x, -y）;
}
}