深入理解计算机系统第二版习题解答CSAPP 2.11

在2.10中的inplace_swap函数的基础上，你决定写一段代码，实现将一个数组中的元素两端依次对调，你写出下面这个函数：

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

当对一个数组包含1、2、3、4时，得到预期的结果4、3、2、1。不过，当一个包含元素为1、2、3、4、5的数组使用这个函数时，你会很惊奇看到结果为5、4、0、2、1。对于偶数个元素的数组正常工作，奇数个元素的数组会把中间元素设置为0。

A.对于一个长度为奇数的数组，长度为cnt = 2k + 1，函数reverse_array最后一次循环中，变量first和last的值分别是什么？

B.为什么这时调用函数inplace_swap会将数组元素设置为0？

C.对reverse_array的代码做哪些简单改动就能消除这个问题？

解答：

A. first和last都为k。

B. 最后一次循环时。假设a[k]为p。

步骤	*x	*y
初始	a[k]=p	a[k]=p
第一步		p^p=0
第二步
第三步

C. 将第5行代码改为如下即可。

 first < last