使用异或操作进行两数对换前提： 两数须保证不相等

如标题所述，这该是一个再明显不过的常识：谁都知道，两个相同的数异或为0。当然，在考察一个异或知识的时候，基本都不会出错。但是当我们在其他场合使用异或来辅助其他实现的时候，脱离了那个单一的知识点的语境，却容易掉入陷阱当中。这可能也是因为自己学的时候都把注意力放在单纯的记忆上，而没有挖掘多样化的使用场合以活学活用的缘故。所以，今天在试着写堆排序时花了一小时发现这个无知的错误之后，是很让我感觉吃惊的。

 

代码如下：

#include <stdio.h>

void Swap(int *a, int *b)
{
    *a = *a ^ *b;
    *b = *a ^ *b;
    *a = *a ^ *b;

    return ;
}
void SiftUp(int *arr, int n)
{
    int current, parent;

    current = n;
    parent = n/2;

    while (parent >= 1)
    {
        if (arr[parent] <= arr[current])
            break;
    
        Swap(&arr[parent], &arr[current]);

        current = parent;
        parent /= 2;    
    }

    return ;
}

void SiftDown(int *arr, int n)
{
    int current, son;

    current = 1;
    son =  current * 2;
    
    while (son <= n)
    {
        if (((son+1)<=n) && (arr[son]>arr[son+1]))
            son += 1;
        
        if (arr[current] <= arr[son])
            break;
        
        Swap(&arr[son], &arr[current]);
        current = son;
        son *= 2;
    }

    return ;
}

void Print(int *arr, int n)
{
    int i;
    
    for (i=1; i<=n; i++)
        printf("%d ", arr[i]);
    printf("\n");
}

#define TST_NUM 7
int main()
{
    int i;
    int tstData[TST_NUM + 1] = {0, 9, 1, 19, 2, 7, 5, 3};

    for (i=1; i<=TST_NUM; i++)
    {
        SiftUp(tstData, i);
    }
    Print(tstData, TST_NUM);

    for (i=TST_NUM; i>=1; i--)
    {
        SiftDown(tstData, i);
        Swap(&tstData[1], &tstData[i]);
    }
    Print(tstData, TST_NUM);

    return 0;
}    

堆排序当中会反复的交换数组中两个元素，为了显得不一般，我特意使用了异或操作来实现两个数的对换。但输出结果发现在下滤操作的最后一步，即同一个数进行对换时最后的值为0，这时才猛然想起其原因。

brainking tst:)./heapSortTst 
1 2 3 9 7 19 5 
0 9 7 5 3 2 1 

 

其实，这样一个小错误来篇总结进行详述显得大费周折。但往往就是一些小的错误才让自己反思，为什么看似掌握了很多的知识点但是在使用的时候还是和没有学一样。这次这个小错误，之所以用异或也是知道其两数相同异或为0的这种性质才能实现两数直接对换，讽刺的是，在另一个语境当中使用时却是坏在了同样的性质之下。所以，这篇小结一是提醒自己知识点得在学习的时候要找机会去用，在实践当中进行理解；二是要提醒自己，这个小错误不能再换了，下次使用对换算法的时候一定要考虑周全。