c++ - 如何检查 A+B 是否超过 long long？ (A和B都是长长的)

Question

这个问题在这里已经有了答案:

How do I detect unsigned integer overflow? (31 个回答)

关闭 9年前。

我有两个数字:A 和 B。我需要在代码中的某处计算 A+B 。 A和B都是long long，可以是正负。

我的代码运行错误，我怀疑是在计算 A+B 时出现问题。我只是想检查 A+B 是否超过 long long 范围。所以，任何方法都是可以接受的，因为我只用它来调试。

Answer 1

只有当两个数字具有相同的符号时，才可能发生溢出。如果两者都是正数，那么如果在数学上 A + B > LLONG_MAX 或等效地为 B > LLONG_MAX - A，则会出现溢出。由于右手边是非负数，后一个条件已经暗示了 B > 0。类似的论点表明，对于否定的情况，我们也不需要检查 B 的符号(感谢 Ben Voigt 指出对 B 的符号检查是不必要的)。然后你可以检查

if (A > 0) {
    return B > (LLONG_MAX - A);
}
if (A < 0) {
    return B < (LLONG_MIN - A);
}
return false;

检测溢出。由于初始检查，这些计算不会溢出。

检查 A + B 结果的符号可以保证溢出整数计算的环绕语义。但是有符号整数的溢出是未定义的行为，即使在实现了回绕行为的 CPU 上，编译器也可能假设没有发生未定义的行为，并在实现时完全删除溢出检查。因此，问题评论中建议的检查非常不可靠。