x ^ y是
x XOR y，对于x和y位不同，结果为1，对于相同位，结果为0：
x = 01010011y = 00010011x ^ y = 01000000
^（x ^ y）对此取反，即对于不同的位，您得到0，否则得到1：
^(x ^ y) = 10111111 => z
然后，我们开始将z右移以掩盖其位。移位用零位填充数字的左侧：
z >> 4 = 00001011
为了将任何零传播
z到结果中，请开始执行ANDing：
z = 10111111z >> 4 = 00001011z & (z >> 4) = 00001011
还要折叠新值以将任何零向右移动：
z = 00001011z >> 2 = 00000010z & (z >> 2) = 00000010
进一步折叠到最后一位：
z = 00001010z >> 1 = 00000001z & (z >> 1) = 00000000
另一方面，如果您
x == y最初拥有的话，它将像这样：
z = 11111111z (& z >> 4) = 00001111z (& z >> 2) = 00000011z (& z >> 1) = 00000001
因此，当它真正返回1时
x == y，否则返回0。
通常，如果x和y均为零，则比较所需的时间将少于其他情况。该函数试图使之不顾其输入值而使所有调用花费相同的时间。这样，攻击者无法使用基于定时的攻击。
