程序猿之---C语言细节7(检测两个整型相加是否溢出)

主要内容:检测两个整型相加是否溢出

#include 
#include 
int main(int argc, char *argv[])
{
	/*
	 *  a和b为非负整型变量,检测a+b是否会“溢出” 
	 */ 
	 // INT_MAX=2147483647 
    int a=123456789,b=2147483000;
    
    /*
	方法一:
	if(a+b < 0)
	  printf("overflow\n");
	  
    错误原因:在某些机器上,加法运算将设置内部寄存器为四种状态正、负、零和溢出。
	在这种机器上c编译器有理由这样来检测 ;a与b相加,然后检查内部寄存器的相关标志是否
	为负,然而当溢出发生时,内部寄存器状态是溢出而不是负,那么溢出检测就会失败 
	*/ 
	/*
	 *  正确方法为:
	 法一、将a和b都强制转换成无符号整数;(原因:因为如果不转的话两个数,如果相加结果
	 是大于INT_MAX的话在放入32寄存器中时是有符号的,符号位被置1了,变成负数,这样就不可能
	 大于INT_MAX了,即检测不出来了) 
	 */ 
#if 1 
	 if((unsigned)a + (unsigned)b > INT_MAX) // (unsigned)必不可少,INT_MAX在limits.h中定义,如果没有则自己实现 
	 {										// INT_MAX=2147483647 
	 	printf("overflow\n");
 	 }
#else
	/*
	法二、 
	*/ 
	if(a > INT_MAX - b)    // 写成这个形式就可以不用(unsigned)了 
	{
		printf("overflow\n");
	}
#endif 	 
	return 0;
}

输出:

程序猿之---C语言细节7(检测两个整型相加是否溢出)_第1张图片

你可能感兴趣的:(C,/,C++,程序猿之---C语言细节)