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

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

/*练习题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) 是不会溢出的