数组中用异或进行数值交换需要注意的问题

一个简单的交换两个数值的函数可以这么写：

void swap(int x, int y)
{
int temp = x;
x = y;
y = temp;
}

高级一点的可以这么写：

void swap(int x, int y)
{
x = x^y;
y = x^y;
x = x^y;
}

到现在为止对于交换两个数的值完全没有问题。
但是，当需要交换数组中的两个值时，第二种写法就存在bug。函数如下：

void swap(int[] array, int i, int j)
{
//i,j为需要交换数值的数组下标

array[i] = array[i]^array[j];
array[j] = array[i]^array[j];
array[i] = array[i]^array[j];
}

对于某些排序算法，如快排，在算法运行的过程中可能会交换两个相同下标的值，这时的函数调用就会出现swap(array,i,i)的情况，
如果swap函数是第二种实现，根据异或的运算规则---两个相同的数异或结果为0---就会把array[i]的值变成零。

所以正确写法如下：

void swap(int[] array, int i, int j)
{
//i,j为需要交换数值的数组下标
if(i == j)
return;//下标相同直接返回
array[i] = array[i]^array[j];
array[j] = array[i]^array[j];
array[i] = array[i]^array[j];
}

快排中的partition函数可能出现交换相同下标值，代码如下：

int partition(int[] array, int start, int end)
{
int pivot = array[end];
int i = start - 1;
for(int j = start;j<end;j++)
{
if(array[j] < pivot)
{
i++;
swap(array,i,j);//行1
}
}

i++;
swap(array,i,end);
return i;
}

根据以上代码，当数组中的第一个数比最后一个数（即pivot）小的时候（如array = {1,2,3,}）就会出现调用swap(array,0,0)的情况，从而导致array[0]变成零。