神奇的异或运算

何为异或运算

异或运算是基本bool运算/位运算¹的中的一种， C语言里用^表示， 此处用$\oplus$表示。
运算规则为，相同为0， 不同为1：
$$\begin{gathered} 1\oplus 1=0 \\ 0\oplus 0=0 \\ 0\oplus 1=1 \\ 1\oplus 0=1 \end{gathered}$$

这是按位运算的规则。
对两个整数进行异或运算时， 实则是对它们的二进制表示按位进行异或运算。例如：
$$\begin{gathered} 3=0011b \\ 5=0101b \\ 3\oplus 5=0110b=6 \end{gathered}$$
式中的$b$代表为二进制表示。3与5的异或结果为6：6 的二进制表示中的每一位均为3和5二进制表示的对应位的异或结果。

异或运算的特点

异或运算的逆运算是其本身

注意观察这个： $3\oplus 5=6$, $6\oplus 3=5$， 也就是说， 异或运算是一种可逆²的运算， 而且它的逆运算符就是它自己本身。
对四则运算中的加法来说:$a+b=c$， $a=c-b$， 加法的运算效果可以通过减法来消除（逆）掉。
对今天的主角异或运算来说， $a\oplus b=c$，$a=c\oplus b$
更明显的比较：
$$\begin{gathered} a\ast b=c,a=c/b(b̸=0) \\ a+b=c,a=c-b \\ a\oplus b=c,a=c\oplus b \end{gathered}$$
示例结束， 就是为了说明异或的逆运算就是其本身的含义。

异或运算与顺序无关

$$a\oplus b=b\oplus a$$
即，满足交换律和结合律。其实, 与和或运算也是如此。

两种特殊的异或

$$a\oplus a=0$$
即：自已异或自己得到0。
$$a\oplus 0=a$$
即： 一个数与0异或， 值不变

异或运算的用途

听说异或运算用途很多³。这里举两个常见的例子。

用异或实现swap函数

不用异或实现的swap函数一般长这个样子， 需要定义一个中间变量：

void swap_int(int *a, int *b) {
    int t = *a;
    *a = *b;
    *b = t;
}

使用异或则不需要中间变量⁴：

void swap_int(int *a, int *b) {
    *b = *a ^ *b; 
    *a = *a ^ *b; // *a = *a ^ *a ^ *b --> *b
    *b = *a ^ *b; // *b = *a ^ *a ^ *b ^ *a ^ *b  --> *a
}

初看起来可能有点令人迷糊， 看看注释， 结合上面所讲的运算性质应该就都能明白了。

void swap_int(int *a, int *b) {
	if (a == b) return;
    *b = *a ^ *b; 
    *a = *a ^ *b; // *a = *a ^ *a ^ *b --> *b
    *b = *a ^ *b; // *b = *a ^ *a ^ *b ^ *a ^ *b  --> *a
}

当明白它为什么work时， 你可能会觉得：真妙！
但其实这种实现里有个陷阱。 考虑一下swap_int(&a, &a)， 当这样调用后， 无论之前a等于多少， 之后它的值肯定为0。 这明显不合理， 所以， 还需要一点小修改：

找出唯一不重复的数字

想必很多人在面试时都碰到过这道题：

在一堆整数里， 除了一个数字只出现了一次， 其余的数字都出现了两次， 请找出这个只出现一次的数字。

最naive的方法是使用hashmap来完成， 但这样需要的时间与空间复杂度都（相对）太高， 特别是空间上， 如果这堆速度有$10^{100}$ 个数， 得消耗多少内存啊～
最快最高效的方法就是使用异或运算， 将所有的数字都异或起来， 最终的异或结果就是只出现一次的数字。

---

1. 基本bool运算： 与（&）、或（|）、非（~）、异或（^）， 括号里为C语言中使用的运算符 ↩︎

2. 个人理解的可逆，一种非学术性的表达 ↩︎

3. 没错，就是听说。 个人除了在一些coding面试题里能看到用途， 实际工作中暂时没有碰到过使用合适的场景。 ↩︎

4. 这是《深入理解计算机系统中》中的一个例子 ↩︎