交换的异或实现

1. 概述

      如果想交换 a 和 b 的值，我们通常的做法是：声明一个临时变量 temp，然后再实现互换，这种方式常见的让我几乎认为

 

就应该这样做，但今日拜读《深入理解计算机系统》一书时，却发现了另一种巧妙的实现方式，不用第三个位置来临时存储，

 

只需位操作（异或）即可。

 

2. 异或

定义：

 

a^b＝a'b+ab'（a'为非a）

 

1^1 = 0；

0^0 = 0；

1^0 = 1；

0^1 = 1；

 

规则：

 

a ^ a = 0;

a ^ 0 = a;

a ^ b ^ c = a ^ (b ^ c) = (a ^ b) ^ c;

 

推论：

 

(a^b)^b = a^(b^b) = a;

 

3. code

// C实现版本
void swap(int *x, int *y)
{
    *x = *x ^ *y;
    *y = *x ^ *y;
    *x = *x ^ *y;
}

4. 结论

    虽然性能上没有什么很大优势，但这个方法开阔了思路，但却给我们柳暗花明又一村的感觉，原来还可以这样！