1.剖析异或运算

 

二元 ^ 运算符是为整型和 bool 类型预定义的。对于整型，^ 将计算操作数的按位“异或”。对于 bool 操作数，^ 将计算操作数的逻辑“异或”；也就是说，当且仅当只有一个操作数为 true 时，结果才为 true。

数值运算举例

按位异或的3个特点:

(1) 0^0=0,0^1=1  0异或任何数＝任何数

(2) 1^0=1,1^1=0  1异或任何数－任何数取反

(3) 1^1=0,0^0=0  任何数异或自己＝把自己置0

例如：10100001^00010001=10110000

按位异或的几个常见用途:

(1) 使某些特定的位翻转

    例如对数10100001的第2位和第3位翻转，则可以将该数与00000110进行按位异或运算。

　　　　　  10100001^00000110 = 10100111

(2) 实现两个值的交换，而不必使用临时变量。

    例如交换两个整数a=10100001，b=00000110的值，可通过下列语句实现：

　　　　a = a^b； 　　//a=10100111

　　　　b = b^a； 　　//b=10100001

　　　　a = a^b； 　　//a=00000110

(3) 在汇编语言中经常用于将变量置零：

    xor   a，a

(4) 快速判断两个值是否相等

    举例1: 判断两个整数a，b是否相等，则可通过下列语句实现：

        return ((a ^ b) == 0)

    

    举例2: Linux中最初的ipv6_addr_equal()函数的实现如下:

    static inline int ipv6_addr_equal(const struct in6_addr *a1, const struct in6_addr *a2)

    {

        return (a1->s6_addr32[0] == a2->s6_addr32[0] &&

            a1->s6_addr32[1] == a2->s6_addr32[1] &&

            a1->s6_addr32[2] == a2->s6_addr32[2] &&

            a1->s6_addr32[3] == a2->s6_addr32[3]);

    }

    

    可以利用按位异或实现快速比较, 最新的实现已经修改为:

    static inline int ipv6_addr_equal(const struct in6_addr *a1, const struct in6_addr *a2)

    {

    return (((a1->s6_addr32[0] ^ a2->s6_addr32[0]) |

        (a1->s6_addr32[1] ^ a2->s6_addr32[1]) |

        (a1->s6_addr32[2] ^ a2->s6_addr32[2]) |

        (a1->s6_addr32[3] ^ a2->s6_addr32[3])) == 0);

    }