判斷兩個整數相減會不會溢出，需要注意的是一個特殊情況：當減數是機器所能表示的最小負數時。
/*練習題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);
}
}