交换两数，不使用第三变量，且考虑溢出问题

乍看到这个问题觉得挺简单，但是看到需要考虑溢出就不知从何下手

后来看到一解法，觉得很有趣：

void swap(int &x, int &y)
{
x = x ^ y;
y = x ^ y;
x = x ^ y;
}

一开始觉得奇怪，为什么会这样，后来随便拿了两个数字验证了一下，结果果然是这样

x: 000110101
y: 011010111
x=x^y: 011100010
y=x^y: 000110101
x=x^y: 011010111

那为什么会这样呢？考虑过之后我用真值表对这种算法进行了一下验证

p	q	p ^ q ^ q
T	T	T
T	F	T
F	T	F
F	F	F

可以看到 p≡p^q^q (也可以写做q^p^q)

p	q	p ^ q ^ p
T	T	T
T	F	F
F	T	T
F	F	F

可以看到 q≡p^q^p(也可以写做q^p^p)

再拿前面的算法步骤套用这公式

x=x^y
y=x^y(x^y^y=x)
x=x^y(x^y^x=y)

这样就能看清楚为什么这样做能交换两数数值了吧