用位运算符替换"=="

Question

仅使用按位运算符(|,&,〜,^,>>,<<)和其他基本运算符(如+, - 和!),是否可以替换下面的"=="？

int equal(int x, int y) {
    return x == y;
}

Answer 1

请记住,a XOR与a完全相同,NOT EQUALS并且XNOR完全相同EQUALS.因此,以下内容将为您提供您想要的内容:

return !(x ^ y);

Answer 2

如果它们之间没有差异,则两个数字相等:

int equal(int x, int y){
   return !(x-y);
}

Answer 3

C !运算符实际上只是简写!= 0,所以使用它似乎非常接近欺骗:)

这是我使用按位运算的假设,假设32位二进制补码机具有算术右移(技术上,在C算术右移是未定义的,但我在双补码机上看到的每个C编译器都支持这一点):

int t = (x - y) | (y - x); // <0 iff x != y, 0 otherwise
t >>= 31; // -1 iff x != y, 0 otherwise
return 1 + t; // 0 iff x != y, 1 otherwise

也就是说,实际的编译器没有这个问题.真正的硬件实际上直接支持比较.细节取决于架构,但有两个基本模型:

1. 为算术运算返回的条件代码(例如x86和ARM执行此操作).在这种情况下,通常会有一个"比较"指令,它减去两个值,不会写回整数寄存器,而是根据结果设置条件代码/标志.

2. 更多类似RISC的平台通常具有直接"分支如果相等"和"分支如果小于"操作数,它们根据结果进行比较和分支.它基本上等同于C代码

   if (a == b) goto label;
   

   要么

   if (a < b) goto label;
   

   一体机指令.