【证明】加减法交换两个整数，过程可能会溢出，但结果依然正确

请对下面的代码做出判断：

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

以下说法正确的是：

A.结果不正确，因为会溢出，用位与的方式就没问题

B.结果正确，即使会溢出

C.结果正确，不会溢出

D.其他选项都不对

答案是B 结果正确，即使会溢出。

因为如果是两个正整数相加，则先发生一次上溢，后面发生两次下溢，从而结果正确。

如果是两个负整数，则先发生一次下溢，后面发生两次上溢，从而结果也正确。

详细分析如下：

我们记待交换的两个数为A、B

设整形变量*a、*b的位表示为

*a = n31n30 ··· n0

*b = m31m30 ··· m0

只有当(*a > 0 && *b > 0) 或 (*a < 0 && *b < 0)时才会发生溢出。

两者类似，不失一般性，我们只证明A、B均大于0时的情况。

A与B均大于0时求和发生的溢出只可能是上溢。

所谓溢出，就是说，必须扩展额外一位才能够容纳正确的结果，我们记 '|'的左边为扩展位。

*a = 0|0a30 ··· a0 = a30*230 +  a29*229 + ··· + a0*20 = A

*b = 0|0b30 ··· b0 = b30*230 +  b29*229 + ··· + b0*20 = B

因为这里我们考察的是正数，所以对于扩展后的低32位，所有位均表示值，没有符号位。

也就是说，把扩展后的第33位看作是符号位。