void swap(int *a, int i, int j) { a[j] ^= a[i]; a[i] ^= a[j]; a[j] ^= a[i]; }
异或运算定律:
0 XOR 0 = 0 0 XOR 1 = 1 1 XOR 0 = 1 1 XOR 1 = 0
a XOR b = b XOR a // 交换律
(a XOR b) XOR c = a XOR (b XOR c) // 结合律
计算过程:设a[i]为x,a[j]为y
a[i] ^= a[j]; // a[i]==(x ^ y)
a[j] ^= a[i]; // a[j]==(y^(x^y))==(y^(y^x))==((y^y)^x)==(0^x),因为0^0=0,0^1=1,所以0^x==x,故a[j]==x
a[i] ^= a[j]; // a[i]==((x^y)^x),同理,a[i]==y