c/c++没有获得溢出位状态的方法,所以需要用另外的方法判断。
对于c = a + b,如果c < a || c < b 则已经溢出了
证明如下
1.设a,b,c的类型长度为n位则有a<2^n,b<2^n
2.当a+b未溢出则必然有c>a且c>b(这个不用证明了吧?)
3.当a+b溢出则a+b>=2^n
4.因为b<2^n则a+b<a+2^n
5.对于n位2进制数,a+2^n与a相等
6.因为3,4,5所以a+b<a
c/c++没有获得溢出位状态的方法,所以需要用另外的方法判断。
对于c = a + b,如果c < a || c < b 则已经溢出了
证明如下
1.设a,b,c的类型长度为n位则有a<2^n,b<2^n
2.当a+b未溢出则必然有c>a且c>b(这个不用证明了吧?)
3.当a+b溢出则a+b>=2^n
4.因为b<2^n则a+b<a+2^n
5.对于n位2进制数,a+2^n与a相等
6.因为3,4,5所以a+b<a