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

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

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

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