判断两个整数相减会不会溢出，需要注意的是一个特殊情况：当减数是机器所能表示的最小负数时。

/*练习题2.32
开发环境VC++6.0*/
#include

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\n",x,y,taddOK(x,y));
printf("tsubOK_Buggy(%d,%d):%d\n",x,y,tsubOK_Buggy(x,y));
printf("tsubOK(%d,%d):%d\n",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\n",-y);
return taddOK(x, -y);
}

/*判断两个整数相减会不会溢出.返回值1表示溢出。*/
int tsubOK(int x,int y){
if(y == ~y + 1){//判断y 是不是机器可以表示的最小负整数。此式可以适用于32位及64位机器。
printf("x - y = %d\n",x - y);
return x <= 0;/*注意，此处要有=,因为：如果不加=，当0 - (-2147483648)=2147483648在32位机中是无法表示的，
得出的结果仍然是-2147483648,这显然是不对的。*/
}
else{
return taddOK(x, -y);
}
}