乍看到这个问题觉得挺简单,但是看到需要考虑溢出就不知从何下手
后来看到一解法,觉得很有趣:
void
swap(
int
&
x,
int
&
y)
{
x = x ^ y;
y = x ^ y;
x = x ^ 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
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)
这样就能看清楚为什么这样做能交换两数数值了吧