在数组中交换变量的陷阱

照着算法导论写了个快排后虽然发现结果的大致顺序没错 但是有些位置上的数莫名其妙的变成了0

不信邪的翻来覆去检查了一整天都没发现代码的问题

最后只好一点点的跟踪下来 发现问题竟然出在swap

于是在电光火石间想到

为了追求逼格，在swap变量的时候我使用了异或运算

以前偶然看到过，用异或交换数组中变量的时候，如果数组下标相同，则相当于一个数连续对自己做了三次或运算,结果会导致这个数变成0

所以在用异或运算交换数组变量的时候，要先判断是否相等。

真是好坑啊。。。

------------------------------

下去又仔细想了一下，只要不使用临时变量，用+= -=等方法交换也会出同样的问题

所以问题的根源不在异或运算本身，而在于对数组下标相同时，等于对它自身做运算，所以结果定为0；

如果要追求逼格，就在处理数组的时候加一个判断，防止出现对一个数自身的运算。否则就老老实实使用temp。

附测试代码

#include <stdio.h>

void swap1(int *a,int m,int n){
	a[m] ^= a[n];
	a[n] ^= a[m];
	a[m] ^= a[n];
}

void swap2(int *a,int m,int n){
	a[m] -= a[n];
	a[n] += a[m];
	a[m] -= a[n];
}

void print(int* a, int x, int y) {
	int i;
	for (i = x; i < y + 1; i++)
		printf("%d ", a[i]);
	printf("\n");
}

int main(){
	int a[] = {1,2,3};
	print(a,0,2);
	swap1(a,1,1);
	print(a,0,2);

	int b[] = {1,2,3};
	print(b,0,2);
	swap2(b,1,1);
	print(b,0,2);
	return 0;
}