什么是异或运算java java异或交换数值

在网上看到很多人喜欢用异或运算交换两个数的值

例如

a[i] = a[i] ^ a[j];
a[j] = a[i] ^ a[j];
a[i] = a[i] ^ a[j];

我自己也很喜欢用这种方式 

写起来方便而且不需要额外的辅助空间

但是最近写快排发现了一个问题

当你交换的两个数字的下标是相同的时候

例如上面的例子 如果i==j

那么这两个下标对应的数字就会有一个变成0

测试用例：

package Sorting;

import java.util.Arrays;

public class test {

	public static void swap(int[] a , int i , int j)
	{
		a[i] = a[i] ^ a[j];
		a[j] = a[i] ^ a[j];
		a[i] = a[i] ^ a[j];
	}
	public static void main(String[] args)
	{
		int[] a = {1,7};
		System.out.println("测试下标不同的交换结果");
		swap(a,0,1);
		System.out.println("现在数组内容是" + Arrays.toString(a));
		System.out.println("测试下标相同的交换结果");
		swap(a,1,1);
		System.out.println("现在数组内容是" + Arrays.toString(a));

	}
}

输出结果

测试下标不同的交换结果

现在数组内容是[7, 1]

测试下标相同的交换结果

现在数组内容是[7, 0]

可以看到 第二次交换的时候该下标的数字本应该是1，但是变成了0。

上网查了一下 有些人说是因为两个相同的数异或造成的为0的结果

想了一下 两个数异或的位运算 如果两个数相同 得到的结果是0不错

但是swap函数中包含了三次位运算

比如 1 和 1 交换

在计算机中0001和0001异或

a[i] = a[i] ^ a[j];

执行完后

a[i]的值确实为0000

a[j] = a[i] ^ a[j];

但是第二条语句执行完后 

a[j]会变成0001

最后一条语句执行完

a[i]又会变成0001 成功的完成了两个数的交换 

所以我认为不是因为相同数异或造成的

如果a数组为{1,1}； 

测试了一下 虽然两个数相同 只要数组下标不同 swap就能运行正常 也验证了我的想法

真正的原因是

如果地址相同

第一条swap语句

a[i] = a[i] ^ a[j];

a[i] = 0 ； 因为i==j

所以第二条语句运行时

a[j] = a[i] ^ a[j];

相当于又是两个相同的数异或

a[j]也是0 

那么第三条语句自然也就没用了 就造成了相同下标的数字交换会有个数字变0的问题

解决方法：

可以在交换函数中加一条语句

public static void swap(int[] a , int i , int j)
	{
		if(i==j)
			return;
		a[i] = a[i] ^ a[j];
		a[j] = a[i] ^ a[j];
		a[i] = a[i] ^ a[j];
	}