数据结构 - 快速排序

#include <stdio.h>
//分区，通过第一个数将数组分为两个部分，返回两个部分的分界点pos
int partition(int a[], int low, int high)
{
	int pos, pivotkey = a[low];//pivoktey保存第一个元素作为关键字

	while (low < high)
	{
		while (low < high && a[high] > pivotkey)
			high--;
		a[low] = a[high];

		while (low < high && a[low] < pivotkey)
			low++;
		a[high] = a[low];
	}
	a[low] = pivotkey;//将关键字置于分界点
	pos = low;
	return pos;
}

void quick_sort(int a[], int low, int high)
{
	int pos;
	if (low < high)
	{
		pos = partition(a, low, high);
		quick_sort(a, low, pos - 1);
		quick_sort(a, pos + 1, high);
	}
}

int main()  
{  
    int i,a[10]={5,0,6,3,2,8,4,9,7,1};  
    printf("排序前：\n");  
    for (i=0;i<10;i++)  
    {  
        printf("%d ",a[i]);  
    }  
    printf("\n");  
    quick_sort(a,0,9);  
    printf("排序后：\n");  
    for (i=0;i<10;i++)  
    {  
        printf("%d ",a[i]);  
    }  
    printf("\n");  
    return 0;  
} 

在函数Partition中，high和low分别记录高低位指针，当出现比较、赋值时，下一次并不是从其对应的下一位置开始，而是从上一次发生赋值的地方开始。

什么意思？比如：

while (low < high && a[high] > pivotkey)
		high--;
a[low] = a[high];

注：high指向数据比关键字小，将a[high]赋值给a[low]，此时并未交换，故a[high]还是原来的值，只有等到low指向的数据赋值给它时，数值才会变。

所以，当再一次轮到high递减的时候，不是从high的前一个位置（high-1）开始比较，而是就从high开始。这样是否多了一次比较了？

是的，但一次比较也无所谓。如果非要严格思想，从high-1开始比，该怎么写代码？如下，可以在每次赋值的时候相应的将待赋值的指针递增或递减（记为指针移动操作），

但是此时，必须要多加一个条件，就是要考虑low < high ，因为前一次的“指针移动操作“可能会导致 low >= high .不是吗？是否有更简单的写法了？

注意一个问题：当交换数据时，是从交换位置开始继续搜索还是其下一个位置开始，这里考虑边界需要慎重，参考代码如下：

	while (low < high)
	{
		while (low < high && a[high] > pivotkey)
			high--;
		if (low < high)	//这里需要添加判断，否则会出现错误，
			a[low++] = a[high];

		while (low < high && a[low] < pivotkey)
			low++;
		if (low <high)	//同理
			a[high--] = a[low];
	}
	a[low] = pivotkey;
	pos = low;
	return pos;

如果上述代码不添加if判断，结果出错，如图