分析交换两个整数的特殊写法

今天晚上看CSDN博客时，勾起了我对交换两个整数写法的思考，当然这是一个非常简单的问题，因为一个交换代码只有三行，初学者都能轻松些出来。今天我分析这个交换代码比较特殊，他利用位运算来交换两个数。代码如下:a ^= b;  b ^= a;  a ^= b;将三个式子连写：a ^= b ^= a ^= b; 。我看到这种写法是我做acm时，我的队友这样写的，当时没对这个问题产生重视，由于百度面试遇到一个位运算题，加上今天看博客时别个用到了一个最简单的交换函数，让我联想到了这种比较奇怪的写法。下面就分析下这种奇怪写法的原理所在：将三句话写成如下等价形式：a = a ^b; ….(1)  b = b ^ a; …..(2)  a = a ^ b;…..(3)。将(1)带入到(2)中得到b=b^(a^b) ……(4),

由于异或与顺序无关，则(4)可以写成：b = b ^ b ^ a …..(5),

由异或的性质知道:b ^ b = 0，所以(5)进一步改写成b = 0^a,由性质0与任何数异或不改变其值，可知上式子等价于：b=a,由以上分析可得(1),(2)两句话将a的值放入b中，即执行了(1),(2)后b的值已经改变成a的值，剩下的问题就是如何将原来的b的值放入a中。由于(1)式中对a的值进行了修改，所以将(1)代入到(3)中得到:a = (a^b)^b1……(6),

这里我将(3)中的b写成b1是因为括号中的b是表示原来的b值，而(3)式中的b已经不是原来的b,由我们对(1),(2)的分析可知，执行了(1),(2)后b的值等于a,所以b1的值等于原来a的值,所以得到：a = (a^b)^a=a^a^b,进一步得到a=b。

         最后(1)(2)(3)三句话可以合并为一句话：a ^= b ^= a ^= b;