深入理解按位异或运算符

1 "^"为C#当中的异或运算符,通常可以理解为"排他性"运算.

2  参与运算的两个值，如果两个相应bit位相同，则结果为0，否则为1。
即：
　  0^0 = 0， 
      1^0 = 1， 
      0^1 = 1， 
      1^1 = 0

例如：10100001^00010001=10110000

3  按位异或的3个特点:
(1) 0^0=0,0^1=1  0异或任何数＝任何数
(2) 1^0=1,1^1=0  1异或任何数－任何数取反
(3) 任何数异或自己＝把自己置0
                 
4 按位异或的几个常见用途:
(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);
    }

5  应用通式:

对两个表达式执行按位异或。

result = expression1 ^ expression2

参数

result

任何变量。

expression1

任何表达式。

expression2

任何表达式。

说明

^ 运算符查看两个表达式的二进制表示法的值，并执行按位异或。该操作的结果如下所示：

0101     (expression1)1100     (expression2)----1001     (结果)

当且仅当只有一个表达式的某位上为 1 时，结果的该位才为 1。否则结果的该位为 0。

只能用于整数