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

需要注意的是一个特殊情况：当减数是机器所能表示的最小负数时。

/*练习题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\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);
	}		
}