深入理解计算机系统系列02

深入理解计算机系列02
在《深入理解计算机系统》这本书中，提出了加法逆元的思想，并且辅以一个习题，我们知道两数交换的最经典的算法是三数交换，从计算机的底层实现上看，内存与寄存器之间的错位交换已经是两数交换的最快算法了，这本书的习题也提到，上面写出的加法逆元的两数交换的算法本质上并没有实现出更快的两数交换，而是一种智力题。下附代码：

对于任一位向量，有a^a=0
void inplace_swap()(int *x,int *y){
	*y=*x^*y;
	*x=*x^*y;
	*y=*x^*y;
	}

那么，究竟什么是加法逆元那？这个加法逆元的算法好像和前面提到的加法逆元的思想并不匹配，所以说，加法逆元的实际情况究竟是什么那？我们可以这样理解a^a=0在某种意义上是可以等价于二进制的1+1=0的，所以所谓的加法逆元大概和这个相关吧。
百度百科的定义是这样的：

设“+”为一个交换性的二元运算，即对于所有x,y，x+y=y+x。若该集内存在一个元素0，使得对于所有x，x+0=0+x=x，则此元素是唯一的。如果对于一个给定的x，存在一个x’使得x+x’=x’+x=0，则称x’是x的加法逆元。

所以说，这其实是一个广义的加法逆元的说法，这里我们的每一个元素就是它自身的加法逆元。
之后更有意思的是，《深入理解计算机系统》习题2.10之后又附加了一个2.11题，使用习题2.10的函数实现将一个数组中的元素头尾两端依次对调，下为代码

void reverse_array(int a[],int cut)
{	int first,last;
	for(first=0,last=cnt-1;
	first<=last;
	first++,last--)
	inplace_swap(&a[first],&a[last]);
}

然后提出了一个问题，上述的代码只在数组长度为偶数的时候正确工作，而在奇数的情况下只会将中间的代码设置为0。然后让我们解释一下是为什么。
这里就出现了一个十分有趣的事情，从明面上看，我们下面的代码好像一点没错，可为什么会出错了那？
仔细一看是这样，下面的代码并没有错，但是上面的两数交换的代码出了错，它只考虑了一般的情况（即两数不相等的情况），而两个数相等的两数交换它并没有考虑，实际上，由于在上面的两数交换算法中如果两数相等，在中间的一个步骤中，会产生一个0，而又因为，这两个数其实是一个数，用一个内存空间，就都成了0
这提示了我们，1.代码的出错不一定是这个代码本身的出错，还有可能是引用的别的代码处理了错
2.一定要考虑极端情况，这点在acm中表现的尤为明显。
那么书中提问了解决办法，在不改变上面的交换算法的情况下，如何改变下面的代码使得该代码在奇数的时候正常工作那？
简单的想想就会有两种方法
1.不改变中间的值，即为把for循环的判断<=改为<符号，这样就不会对中间的数做修改
2.先将中间的数保存起来，然后再将中间的数赋值过去
这么简单的一个题，却又有着两种方法，体现了两种思想，一种是不做修改，一种是做两次修改，改完之后再改回来
这个东西十分有趣，给了我们一些很重要的启发
最后附上两数交换的另一种算法（可读性不太好）

 1: void swap(int *a, int *b)
   2: {
   3:     *a = *a + *b - (*b = *a);
   4: }

这种两数交换的实现方式也十分有趣，能够充分体现运算符优先顺序的巨大用处，十分巧妙。