使用异或运算交换两个变量的危险

我们知道，在排序算法中经常会需要交换序列中的两个变量，常见有两种方法：

1.借助第三个临时变量

// 交换 
int temp = array[i];             
array[i] = array[index];  
array[index] = temp;

2.借助异或运算的特性

array[i] = array[i] ^ array[index];
array[index] = array[i] ^ array[index];
array[i] = array[i] ^ array[index];

以上两种方式都实现了array[i]和array[index]的交换，但是第二种方法的使用有一个前提：i和index不能相等。

当然，理论上来说如果i和index相等的话，那就是同一个值，有什么必要交换呢？

确实如此，但是我在写选择排序的时候就遇到了这个问题，

大家不妨看看。

package com.sort;
/**
 * 选择排序类
 * 思路：每次从待排序列中选择最小的数 放在这个待排序列里面的第一位(和第一位交换)
 * @author Maggie
 *
 */
public class SelectSort 
{
	public void sort(int[] array)
	{
		for(int i = 0; i < array.length; i++)
		{
			// 在待排序列里找到最小的数子
			int index = i;
			for(int j = i+1; j < array.length; j++)
			{
				if(array[index] > array[j])
				{
					index = j;
				}
			}
			// 交换   这种交换是OK的
//			int temp = array[i];             
//			array[i] = array[index];  
//			array[index] = temp;
			
			// 这种交换必须先判断index和i不相等，否则会使改变量变为0，
			if(index != i)
			{
				// 一下方法交换有一个缺陷就是当两个数相等的时候，无法实现交换并且会将其值改为0
				array[i] = array[i] ^ array[index];
				array[index] = array[i] ^ array[index];
				array[i] = array[i] ^ array[index];
			}
			
			// 下面这种交换就完全没有问题，因为j和j+1是不可能相等的，便不会存在那样的问题
			/**
			// 中间量
			array[j] = array[j] ^ array[j+1];
			// 交换：此时的array[j+1]其实是原来的array[j]
			array[j+1] = array[j] ^ array[j+1];
			// 交换：此时的array[j]其实是原来的array[j+1]
			array[j] = array[j] ^ array[j+1];
			*/
		}
	}
}