"异或"实现a和b两变量交换

 今天在看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两个值的交换。