void swap(int *p1,int *p2){
*p1 = p1^p2;
*p2 = p1^p2;
*p1 = p1^p2;
}
這是在 [我是蔡金龍](http://www.itdecent.cn/users/e36540d0451c) 的文章 *[C語言的位操作（One）](http://www.itdecent.cn/p/73da7e180795) *里關(guān)于無參運(yùn)算的一個例子，這一個函數(shù)的特點(diǎn)是在沒有引入臨時變量（temporary variable）的前提下對兩個變量的內(nèi)容進(jìn)行交換。
而這是怎么做到的呢？以下是對這個函數(shù)的注釋
void swap(int *p1,int *p2){ // 假設(shè) p1 的補(bǔ)碼為 1011，p2 為 0001
*p1 = *p1 ^ *p2; // 此時 *p1 為 1010 （1011 ^ 0001 == 1010）
*p2 = *p1 ^ *p2; // 此時 *p2 為 1011 （1010 ^ 0001 == 1011）
*p1 = *p1 ^ *p2; // 此時 *p1 為 0001 （1010 ^ 1011 == 0001）
}
觀察注釋后就會發(fā)現(xiàn)，當(dāng) \*p1 和 \*p2 這兩個參數(shù)進(jìn)行位間的異或運(yùn)算（^）時，會得出一個很有趣的結(jié)果（在這個例子中是 1010），這個結(jié)果與原參數(shù)（\*p1，\*p2）構(gòu)成一個互異關(guān)系（這個詞是自創(chuàng)的）。換句話來說，對著三個參數(shù)中的任意兩個參數(shù)進(jìn)行位間的異或運(yùn)算，都能夠得到余下的第三個參數(shù)。因此，在同一時間里，只需要“記住”其中的兩個參數(shù)，就可以保證信息的完整性，從而不需要第三變量的引入。
--------------------
想到這個過程用圖像來表示可能會更直觀一些，于是就做了一個維恩圖（Venn diagram）的表示。
注意其中的 \*pt 其實(shí)就是運(yùn)行函數(shù)中第一行之后的 \*p1，而位異或運(yùn)算（a ^ b）在韋恩圖里可以表示為 ~(a ^ b) 【此 ^ 非彼 ^】
PS. 在制圖時犯了一個嚴(yán)重的錯誤，在圖中的全集應(yīng)當(dāng)是 \*p1 和 \*p2的交集 （\*p1 U \*p2 == U），所以**請無視圓和長方形之間區(qū)域**
（原來的那篇因?yàn)闆]有用 markdown，結(jié)果弄不了 code block。于是就刪掉然后用 markdown 再發(fā)了一遍，Orz）