按位异或运算符^

按位异或运算符,通常称为XOR运算符,遵守以下规则:对于两个运算数的相应位,如果任何一个位是1,但不是两者全为1,那么结果的对应位将是1;否则是0。该运算符的真值表:

 b1     b2        b1 ^ b2
-------------------------
 0       0           0
 0       1           1
 1       0          1
 1       1           0

如果把w1和w2分别等于十六进制的5e和d6,那么w1与w2执行异或运算后的结果将是十六进制值e8,如下所示:

w1     0000 0000 0101 1110        0x5e
w2     0000 0000 1011 0110    | 0xd6
-----------------------------------------------
w3     0000 0000 1110 1000        0xe8
参与运算的两个值,如果两个相应bit位相同,则结果为0,否则为1。
即:
  0^0 = 0,
      1^0 = 1,
      0^1 = 1,
      1^1 = 0

例如:10100001^00010001=10110000

按位异或的3个特点:
(1) 0^0=0,0^1=1  0异或任何数=任何数
(2) 1^0=1,1^1=0  1异或任何数-任何数取反
(3)              任何数异或自己=把自己置0
                 
按位异或的几个常见用途:
(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); 
    }
转载自:http://jianyong.diandian.com/post/2011-04-19/491565
http://blog.sina.com.cn/s/blog_7aa21f320100qvaa.html
时间: 2024-12-06 08:29:04