按位异或交换两个变量时的一个陷阱

假设有两个int型变量x和y，为了交换二者数值，我们可以借助临时变量，如下所示：

int tmp = x;
x = y;
y = tmp;

利用异或操作的特性，不使用临时变量也可以到达交换的目的，如下所示：

x = x ^ y;
y = x ^ y; //即 y = (x ^ y) ^ y = x，y的值现在已经成x原来的值了
x = x ^ y; //x的值现在已经成y原来的值了

下面程序实现数组的反转功能，即如果数组原来为 1 、2、3、 4 、5 ，
反转后则成为5、4、3、2、1。
下面的程序能否正确实现该功能：

#include <stdio.h>
void inplace_swap(int *x, int *y) 
{
    *y = *x ^ *y; /* Step 1 */
    *x = *x ^ *y; /* Step 2 */
    *y = *x ^ *y; /* Step 3 */
 }

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

int main(void)
{
    int a[5] = {1,2,3,4,5};
    int i = 0;
    reverse_array(a,5);

    for(; i <5; i++)
        printf("%d\t", a[i]);
    printf("\n");
    return 0;
}

输出结果不是5、4、3、2、1，而是5 、4、0、2、1。Why?

问题出在inplace_swap(&a[2], &a[2])，该函数执行Step 1后， a[2]的数值被改写成了0，
即此时*x = *y = 0了。