哦？我试试看……

好像是像燕子说的那样。。。哦也看错了。。什么时候要在看看汇编。。。放了都3年了。。

写成这个形式：
template<class Type>
inline swap(const Type &x, const Type &y)
{  
    x+=y;
    y=x-y;
    x-=y;
}
只考虑内置整型的Type，要交换的两个变量是Type类型的，这个算法一定对。

至于为什么，你去看补码运算原理。

我晕
一段简单的代码
被说的连我自己都看不懂了
呵呵
o(∩_∩)o...

哦，我想明白了……
    x+=y;
    y=x-y;
    x-=y;
假设第一条指令溢出，那么x=(x+y)-2^32;
那么第二条指令变成 (x+y)-2^32-y=x-2^32。
第三条变成(x+y)-2^32-(x-2^32)=y
因为2^32超过整数范围，加减无影响，所以对结果无影响……

大意了大意了……

不过，还是不玩这种东西的好，与其这样，不如多个临时变量……

我还得去易码把我原来的发言改回来- -那里居然没人发现这个东西是正确的……

最后赞一下LZ的研究精神，是自己发现的么？

异常只是高级语言的东西，ASM 没有所谓的异常。

话说，其实不需要看补码运算原理……虽然看了的确有帮助……
多年浸淫计算机，我的思想已经完全转化为补码二进制式的了- -

上面有人说异常么？

没有，因为你用add溢出来驳lz，所以我插一句罢了

额……事实上，add溢出，也就是个标志位的问题
算上OF，其实根本就不会溢出- -
顺带说说，溢出不算异常……