PAT乙级真题 1011 A+B 和 C C++实现

题目

给定区间[-2³¹, 2³¹]内的3个整数A、B和C，请判断A+B是否大于C。
输入格式：
输入第1行给出正整数T(<=10)，是测试用例的个数。随后给出T组测试用例，每组占一行，顺序给出A、B和C。整数间以空格分隔。
输出格式：
对每组测试用例，在一行中输出“Case #X: true”如果A+B>C，否则输出“Case #X: false”，其中X是测试用例的编号（从1开始）。
输入样例：
4
1 2 3
2 3 4
2147483647 0 2147483646
0 -2147483648 -2147483647
输出样例：
Case #1: false
Case #2: true
Case #3: true
Case #4: false

思路

这道题的关键在于如何使加法不越界。网上许多解法用了范围更大的数据类型，如long long。

可参考：C语言-数据类型与表示范围

但这种方法总感觉有些取巧。只用int的情况下也是能防止越界的，只要做到：

• 让异号的两个数做加法
• 让同号的两个数做减法

本文使用判断符号的方法，使用了位运算中的^异或运算符。位运算符有4种：
&(按位与)、|(按位或)、^(按位异或)、~ (按位取反)。

其中异或运算符是“相异”为1，“相同”为0：

• 若x^y>0 则二者同号（符号位为0）
• 若x^y<0 则二者异号（符号位为1）

如：
1 ^ 1 = 0 ^ 0 = 0
1 ^ 0 = 0 ^ 1 = 1
(这里的1和0是位，不是数值)

再例如，1 ^ -1 = -2。因为数据在内存中以补码表示(以8位为例)：
1 = 00000001 --> 00000001（补码）
-1 = 10000001 --> 111111111（补码）
异或是在补码的基础上运算的，二者异或结果为11111110（补码）–>10000010 = -2。

算法

#include <iostream>
using namespace std;

int main()
{
    int n;
    cin >> n;
    int a, b, c;
    for (int i=0; i<n; i++){
        bool ret = false;
        cin >> a >> b >> c;
        //a,b异号或者有一个0直接算。
        if ((int)(a^b)<0 || (int)(a&b)==0){
            if (a+b>c){
                ret = true;
            }
        }
        //a b c同号的情况下
        else if((int)(a^c)>0){
            if (b>(c-a)){
                ret = true;
            }
        }
        //a b同号，a c异号
        else if (a>0){
            ret = true;
        }
        string s;
        if(ret){
            s = "true";
        }
        else{
            s = "false";
        }
        cout << "Case #" << i+1 << ": " << s << endl;
    }
    return 0;
}