异或巧妙实现两变量交换

今天在看C语言的位运算时，看到了如下交换a，b两值的方法：

a = a^b;

b = a^b;

a = a^b;

后来想想，真是太神奇了！其实，我们首先知道，对于任意的x满足：

x^x == 0;

x^0 == x;

那么上面的式子事实上是利用了如上的规则，首先用a保存了a^b的 值，再用b = a ^ b = (a^b)^b=a^b^b=a^(b^b)=a^0=a，这样就成功的实现了b = a；接着又用a = a^b = (a^b)^b（第一个b还是原来的b，而第二个b已经是a的值，因为前面已经实现了交换）= (a^b)^a = a^a^b = 0^b = b，这样就实现了a = b；于是，就成功的实现了a，b两个值的交换。

//异或交换变量简单测试
#include "stdio.h"

int main()
{
	int a=12,b=34;
	a=a^b;
	b=a^b;
	a=a^b;
	printf("a=%d\nb=%d\n",a,b);
	return 0;
}