解读宏#define SWAP(a,b)

忽然想起上个月参加的各种宣讲会被各个笔试爆，想起里面有个是写宏的。
我当初就蒙了，我用过最简单
#define max(a,b)    (a>b?a:b;)
类似这样的。然后今天就搜了一下，发现有个很神奇的
#define SWAP(a,b) (a)^=(b)^=(a)^=(b)
链接：http://bbs.csdn.net/topics/370002037
上面这个连接里面的内容很棒，关于宏的一些说明。
然后我就想找个解读的。结果发现另外一个分析环境甚么的
博客：http://blog.csdn.net/guoxuequan/article/details/8039836
博客里面要得出的结论是gcc和vc编译器的结论有所不同。
接着我就看到评论里面的

#define swap(a,b) (a^=b,b^=a,a^=b)

正题

首先^这个符号是按位异或(没有进位的加)；

通俗

1^1=0;

0^0=0;

0^1=1;

1^0=1;

a^=b;//这个【b】不变，【a】中每位上如果为0，说明【 原a 】此位和【b】上的是一样的；如果为1，说明 【原a】此位和【b】上的是不一样的；

b^=a;//这个【b】变为【原a】，具体：如果【b】某位上和【原a】一样，那么【a】此位上为0，【b】上此位的异或0正好为【原a】上此位；

                                   如果【b】某位上和【原a】不同，那么【a】此位上为1，【b】上此位的异或1正好为【原a】上此位；

a^=b;//这个【a】变为【原b】，具体：如果【b】某位上和【原b】一样，那么【a】此位上为0，【b】上此位的异或0正好为【原b】上此位；

                                   如果【b】某位上和【原b】不同，那么【a】此位上为1，【b】上此位的异或1正好为【原b】上此位.

来个简单样例

a=11100和b=00110

a^=b;(11010,00110)

b^=a;(11010,11100)

a^=b;(00110,11100)