PATA 1065.A+BandC

题目链接：点击打开链接

知识点笔记：

        显然此题需要用long long类型，但是仍然会溢出，long long类型是范围是[-2^63,2^63)，是前闭后开区间，有一个测试点我在做的时候一直通过不了，就是因为后面这个开区间，long long类型取不了2^63这个值，当A、B都为正数时，A+B>= 2^63时会超过long long的正向最大值而发生正溢出。A和B的最大值为2^63-1，A+B之和的最大值是2^64-2，溢出后的值的区间为[-2^63,-2]，由(2^64-2)%(2^64) = -2可得右边界。

同理，当A+B<-2^63时，会发生负向最小值溢出，A和B的最小值为-2^63，A+B之和的最小值是2^64-2，溢出后的值的区间为[0，2^63 ) ，由(-2^64)%(2^64) = 0可得左边界。所以代码中（a<0 && b<0 && ans>=0）这里是大于等于号。

AC代码：

#include <iostream>
using namespace std;

int main() {
	long long a,b,c,ans;
	int t;
	bool flag;
	scanf("%d",&t);
	for(int i=0;i<t;i++){
		scanf("%lld %lld %lld",&a,&b,&c);
		ans = a+b;
		if(a>0 && b>0 && ans<0) flag=true;	//正溢出
		else if(a<0 && b<0 && ans>=0) flag=false; //负溢出
		else if(ans > c) flag=true;
		else flag=false;

		if(flag == true){
			printf("Case #%d: true\n",i+1);
	    }else{
	    		printf("Case #%d: false\n",i+1);
		}
	}
	return 0;
}