异或交换变量及陷阱详解

版权声明：本文为博主原创文章，转载请注明出处。 https://blog.csdn.net/hkhl_235/article/details/79672191

两数异或相同为0， 不同为1
不借助中间变量， 异或操作效率高， 节省空间（嵌入式开发）

简单讲解一下其交换过程
例如 a = 1; b = 0; (异或按二进制位操作， 这里演示就用简单点数字好了)
a = a ^ b;
b = a ^ b;
a = a ^ b;


a = 1 ^ 0 = 1;
b = 1 ^ 0 = 1;
a = 1 ^ 1 = 0;


最终 a = 0, b = 1  达到交换的目的


然而这种交换却有一个隐藏的陷阱， 所以我们在写函数swap时候需要注意
调用swap(int *a, int *b) ， 我们可以传入 相同数值的a，b
但是不能给a,b传入同一片地址的变量


例如这样调用 swap(&a[i], &a[j])， 当a[i] = a[j] 结果并没有任何问题
但是当i = j的时候，结果却并不是我们想要的


分析：

当a[i] = 1时， 且i = j时候（a[j]也等于1）
相当swap(&a[i], &a[i]); （传入的是 同一个地址的变量）
a = 1 
a = a ^ a;
a = a ^ a;
a = a ^ a;

期望结果 a = 1

a = 1 ^ 1 = 0;
a = 0 ^ 0 = 0;
a = 0 ^ 0 = 0;
最终 a = 0;

当a[i] = a[j](注意和i = j 的区别) 时候调用
swap(&a[i], &a[j])
a = 1 ,   b = 1

a = a ^ b;
b = a ^ b;
a = a ^ b;

a = 1 ^ 1 = 0;
b = 0 ^ 1 = 1;
a = 0 ^ 1 = 1;
最终 a = 1; b = 1;
结果正确

所以编写函数应该如下：

void swap(int *pa, int *pb)
{
    if(pa == pb)  //地址相同

reutrn ;

    *pa = *pa ^ *pb;
    *pb = *pa ^ *pb;
    *pa = *pa ^ *pb;
}