int类型运算溢出

int类型运算溢出

在二分查找代码中有:
mid=(low+high)/2
会莫名导致溢出,查找原因;

C语言在进行二元运算时,会把较低的类型提升为较高的类型,运算结果为较高的类型;

C语言中对运算中类型提升的描述为:


其中需要注意的一点是,运算结果类型与转换后的类型相同,这样导致两个int类型数相加,其结果也是int类型,可能导致溢出.

做了个测试:

    char a=127;
    char b=100;
    int c=2147483647;
    int d=c/2;

    cout<<a+b<<endl;//输出227
    cout<<c+d<<endl;//输出-1073741826
    cout<<(c+d)/2<<endl;//输出-536870913

• 与预想中的不一样,这里char类型的运算似乎没有溢出,而int类型运算会溢出.

在书中有这一段话,

大致意思是,在整形运算时,若原始类型中所有数可以用int表示,就会统一提升为int类型;
也就是说,char类型在计算时会统一变为int类型,short也是这样.

总结

C语言中两个int类型运算时,结果也是int类型,可能产生溢出.
因此，如果表达式的结果范围大于int，而表达式中所有变量都能用int表示时，需要将变量强制转化为更大的类型以存储可能溢出的结果。
因此,在二分查找程序中,一般这样写:
mid=low+(high-low)/2