#define SWAP(a,b) (a)^=(b)^=(a)^=(b)
说明:^
是异或符号,本宏定义的具体含义是:
a ^= b;
b ^= a;
a ^= b;
根据数字逻辑的知识:
0 ^ 0 = 0;
1 ^ 1 = 0;
1 ^ 0 = 1;
0 ^ 1 = 1;
大家都知道,一个数值在计算机中表示是一串二进制数字。如果数字可以对齐,进行三次这样的异或运算后,是可以将两个数值互换的。
读者不妨尝试将a
和b
简化成二进制数据,无论是哪种组合,其结果都是满足互换性值的。
比如,SWAP(4,3),这里为了方便演示,将其简化为4bit二进制数据:
a = 0100 ^ 0011 = 0111; // a ^= b;
b = 0011 ^ 0111 = 0100; // b ^= a;
a = 0111 ^ 0100 = 0011; // a ^= b;
得到的结果是:a = 3, b = 4