c - 逻辑 NOT (!) 运算符不适用于按位语句

Question

我正在尝试确定是否可以在不溢出的情况下计算两个 32 位整数的总和，同时仅使用某些按位运算符和其他运算符。因此，如果整数 x 和 y 可以相加而不会溢出，则以下代码应返回 1，否则返回 0。

(((((x >> 31) + (y >> 31)) & 2) >> 1))

然而，它在应该为 1 时返回 0，反之亦然。当我使用逻辑 NOT (!) 运算符或按位异或 (^) 与 0x1 时，它没有解决问题。

!(((((x >> 31) + (y >> 31)) & 2) >> 1))

(((((x >> 31) + (y >> 31)) & 2) >> 1) ^ 0x1)

^ 这些不起作用。

提前致谢。

Answer 1

这有点干净:

~(x & y) >> 31

更新

克里斯的评论是正确的。这段代码所做的只是检查两个 MSB 是否都已设置。

我只是在看 kriss 的回答，我突然想到，假设无符号整数，只需使用一次加法加上按位运算符就可以完成同样的事情。

((x & 0x7FFFFFFF) + (y & 0x7FFFFFFF)) & 0x80000000 & (x | y)

第一个带括号的部分将两个 MSB 设置为 0，然后将结果相加。任何进位都将出现在结果的 MSB 中。下一个位掩码隔离进位。最后一项检查 x 或 y 上的一组 MSB，这会导致整体进位。要满足问题中的规范，只需执行以下操作:

~(((x & 0x7FFFFFFF) + (y & 0x7FFFFFFF)) & 0x80000000 & (x | y)) >> 31