1065 A+B and C

#include <iostream>
using namespace std;
int main(){
	int n;
	long long a, b, c, sum;
	cin >> n;
	for(int i = 0; i < n; i++){
		cin >> a >> b >> c;
		sum = a + b;
        if(a > 0 && b > 0 && sum < 0){
            printf("Case #%d: true\n", i + 1);
        }else if(a < 0 && b < 0 && sum >= 0){
            printf("Case #%d: false\n", i + 1);
        }else{
            printf("Case #%d: %s\n", i + 1, sum > c?"true" : "false");
        }
	}
    return 0;
}

a > 0 && b > 0 溢出的结果是个负数，
a < 0 && b < 0 溢出的结果是个大于等于0 的数！

https://blog.csdn.net/weixin_39484422/article/details/89195697

long long 取值范围为[-2^63,263-1]

①A+B取值为[2^63, 2^64-2]时越界，这时使用 long long 存储后的值的区间为[-2^63,-2]

因为 2^63-264=-2^63 在取值范围内

(2^64-2)-264=-2 在取值范围内

故A>0,B>0,A+B<0时为正溢出 此时A+B>C

②A+B取值为[-2^64, -2^63-1]时越界，这时使用 long long 存储后的值的区间为[0,2^63-1]

因为 -2⁶⁴⁺²64=0 在取值范围内

(-2^63-1)+264=2^63-1 在取值范围内

故A<0,B<0,A+B>=0时为负溢出 此时A+B<C

③没有溢出的情况下，则正常判断 A+B>C