深入分析qsort库函数

近来其实常用到qsort库函数。

用法很简单

qsort 的函数原型是void __cdecl qsort ( void *base, size_t num, size_t width, int (__cdecl *comp)(const void *, const void* ) ) 
其中base是排序的一个集合数组，num是这个数组元素的个数，width是一个元素的大小，comp是一个比较函数。

 

#include<stdlib.h>

#define MAX 1000

int cmp(const void * a, const void *b) //from small to big

{

        return *(int *)a - *(int *)b;
}

int arr[MAX];

qsort(arr, MAX,  sizeof(int), cmp);

 

------------------------------------------------------------

正如大家所知道的，快速排序算法是现在作为数据排序中很常用的算法，它集成在ANSI C的函数库中。我们经常使用快速排序，就是调用qsort函数，那么qsort函数里面到底是怎么实现的呢？我们现在就来看一看。

在这个系列的文章中，我们主要研究一下ANSI C的库函数qsort的源代码，并给出它的性能特性分析。其中使用的源代码是VS.net 2003中VC++自带的源代码，大家可以在X:/Program Files/Microsoft Visual Studio .NET 2003/Vc7/crt/src文件夹中找到这个名为qsort.c的文件。其他C/C++编程环境也有这个文件，只是在实现上面就可能有些差异而已。

这篇文章先对qsort.c文件中的注释进行翻译，并在适当的时候进行一些分析工作。
快速排序是一个递归的过程，每次处理一个数列的时候，就从数列中选出一个数，作为划分值，然后在这个数列中，比划分值小的数移动到划分值的左边，比划分值大的数移动到划分值的右边。经过一次这样的处理之后，这个数在最终的已排序的数列的位置就确定了。然后我们把比这个数小和比这个数大的数分别当成两个子数列调用下一次递归，最终获得一个排好序的数列。
上面介绍的是基本快速排序的方法，每次把数组分成两分和中间的一个划分值，而对于有多个重复值的数组来说，基本排序的效率较低。集成在C语言库函数里面的的qsort函数，使用三路划分的方法解决这个问题。所谓三路划分，是指把数组划分成小于划分值，等于划分值和大于划分值的三个部分。

qsort的源代码基本上就分析完了，我们已经初步了解了小子数组截取（CUTOFF），三路划分，小子数组优先处理等技术的优点。

 

[cpp]  view plain  copy

1. /*** 
2. *qsort.c - quicksort algorithm; qsort() library function for sorting arrays 
3. *       Copyright (c) Microsoft Corporation. All rights reserved. 
4. * 
5. *Purpose: 
6. *       To implement the qsort() routine for sorting arrays. 
7. * 
8. ***************************************************************************** 
9.  
10. **/  
11.   
12. #include <cruntime.h>  
13. #include <stdlib.h>  
14. #include <search.h>  
15. #include <internal.h>  
16.   
17. /* 加快运行速度的优化选项 */  
18. #pragma optimize("t", on)  
19.   
20. /* 函数原型*/  
21. static void __cdecl shortsort(char *lo, char *hi, size_t width,  
22.                 int (__cdecl *comp)(const void *, const void *));  
23. static void __cdecl swap(char *p, char *q, size_t width);  
24.   
25. /* this parameter defines the cutoff between using quick sort and 
26.    insertion sort for arrays; arrays with lengths shorter or equal to the 
27.    below value use insertion sort */  
28.   
29. /* 这个参数定义的作用是，当快速排序的循环中遇到大小小于CUTOFF的数组时，就使用插入 
30. 排序来进行排序，这样就避免了对小数组继续拆分而带来的额外开销。这里的取值8，是 
31. 经过测试以后能够时快速排序算法达到最快的CUTOFF的值。*/  
32.   
33. #define CUTOFF 8            /* testing shows that this is good value */  
34.   
35.    
36. /* 源代码中这里是qsort的代码，但是我觉得先解释了qsort要调用的函数的功能比较 
37.  
38. 好。 
39.  
40.     shortsort函数： 
41.  
42.     这个函数的作用，上面已经有提到。就是当对快速排序递归调用的时候，如果遇到 
43. 大小小于CUTOFF的数组，就调用这个函数来进行排序，而不是继续拆分数组进入下一层 
44. 递归。因为虽然这里用的是基本排序方法，它的运行时间和O(n^2)成比例，但是如果是 
45. 只有8个元素，它的速度比需要递归的快速排序要快得多。另外，在源代码的注释中，说 
46. 这是一个插入排序(insertion sort)，但是我觉得这个应该是一个选择排序才对 
47. (selection sort)。至于为什么用选择排序而不用插入排序，应该是和选择排序的元素 
48. 交换次数少有关系，只需要N-1次交换，而插入排序平均需要(N^2)/2次。之所以要选择 
49. 交换次数少的算法，是因为有可能数组里面的单个元素的大小很大，使得交换成为最主 
50. 要的性能瓶颈。 
51.  
52. 参数说明： 
53.  
54. char *lo;    指向要排序的子数组的第一个元素的指针 
55. char *hi;    指向要排序的子数组的最后一个元素的指针 
56. size_t width;  数组中单个元素的大小 
57. int (__cdecl *comp)(const void *,const void *);   用来比较两个元素大 
58. 小的函数指针，这个函数是你在调用qsort的时候传入的参数，当前一个指针指向的元素 
59. 小于后一个时，返回负数；当相等时，返回0；当大于时，返回正数。*/  
60.   
61. //选择排序   
62. static void __cdecl shortsort (  
63.     char *lo,  
64.     char *hi,  
65.     size_t width,  
66.     int (__cdecl *comp)(const void *, const void *)  
67.     )  
68. {  
69.     char *p, *max;  
70.     /* Note: in assertions below, i and j are alway inside original bound of array to sort. */  
71.     while (hi > lo) {  
72.         max = lo;  
73.       /*下面这个for循环作用是从lo到hi的元素中，选出最大的一个，max指针指向这个最大项*/  
74.         for (p = lo+width; p <= hi; p += width) {  
75.             if (comp(p, max) > 0) {  
76.                 max = p;  
77.             }  
78.         }  
79.       /*这里把最大项和hi指向的项向交换*/  
80.         swap(max, hi, width);  
81.        /*hi向前移动一个指针。经过这一步，在hi后面的是已经排好序的比未排序部分所有的数要大的数。*/  
82.         hi -= width;  
83.     }  
84. }  
85.   
86.    
87.   
88. /*下面分析swap函数： 
89. 这个函数比较简单，就是交换两个项的操作，不过是用指针来实现的。 
90. */  
91.   
92. static void __cdecl swap (  
93.     char *a,  
94.     char *b,  
95.     size_t width  
96.     )  
97. {  
98.     char tmp;  
99.     if ( a != b )  
100.         /* Do the swap one character at a time to avoid potential alignment 
101.            problems. */  
102.         while ( width-- ) {  
103.             tmp = *a;  
104.             *a++ = *b;  
105.             *b++ = tmp;  
106.         }  
107. }  
108.   
109.    
110.   
111. /*下面是最重要的部分，qsort函数：*/  
112. /*使用的是非递归方式，所以这里有一个自定义的栈式结构，下面这个定义是栈的大小 
113. */  
114.   
115. #define STKSIZ (8*sizeof(void*) - 2)  
116.   
117. void __cdecl qsort (  
118.     void *base,  
119.     size_t num,  
120.     size_t width,  
121.     int (__cdecl *comp)(const void *, const void *)  
122.     )  
123. {  
124.    /*由于使用了某些技巧（下面会讲到），使得栈大小的需求不会大于1+log2(num)，因此30的栈大小应该是足够了。为什么说是30呢？ 
125.    其实在上面STKSIZ的定义中可以计算出sizeof(void*)＝4，所以8*4-2＝30*/  
126.     char *lo, *hi;              /* ends of sub-array currently sorting   数组的两端项指针，用来指明数组的上界和下界*/  
127.     char *mid;                  /* points to middle of subarray  数组的中间项指针*/  
128.     char *loguy, *higuy;        /* traveling pointers for partition step  循环中的游动指针*/  
129.     size_t size;                /* size of the sub-array  数组的大小*/  
130.     char *lostk[STKSIZ], *histk[STKSIZ];  
131.     int stkptr;                 /* stack for saving sub-array to be processed  栈顶指针*/  
132.   
133. /*如果只有一个或以下的元素，则退出*/  
134.     if (num < 2 || width == 0)  
135.         return;                 /* nothing to do */  
136.           
137.     stkptr = 0;                 /* initialize stack */  
138.   
139.     lo = base;  
140.     hi = (char *)base + width * (num-1);        /* initialize limits */  
141.   
142.     /*这个标签是伪递归的开始*/  
143. recurse:  
144.   
145.     size = (hi - lo) / width + 1;        /* number of el's to sort */  
146.    /*当size小于CUTOFF时，使用选择排序算法更快*/  
147.     if (size <= CUTOFF) {  
148.         shortsort(lo, hi, width, comp);  
149.     }  
150.     else {  
151.       /*首先我们要选择一个分区项。算法的高效性要求我们找到一个近似数组中间值 
152. 的项，但我们要保证能够很快找到它。我们选择数组的第一项、中间项和最后一项的中 
153. 间值，来避免最坏情况下的低效率。测试表明，选择三个数的中间值，比单纯选择数组 
154. 的中间项的效率要高。 
155.  
156.        我们解释一下为什么要避免最坏情况和怎样避免。在最坏情况下，快速排序算法 
157. 的运行时间复杂度是O(n^2)。这种情况的一个例子是已经排序的文件。如果我们选择最 
158. 后一个项作为划分项，也就是已排序数组中的最大项，我们分区的结果是分成了一个大 
159. 小为N-1的数组和一个大小为1的数组，这样的话，我们需要的比较次数是N + N-1 + N-2  
160. + N-3 +...+2+1=(N+1)N/2=O(n^2)。而如果选择前 中 后三个数的中间值，这种最坏情况的 
161. 数组也能够得到很好的处理。*/  
162.   
163.         mid = lo + (size / 2) * width;      /* find middle element */  
164.        /*第一项 中间项 和最后项三个元素排序*/  
165.   
166.         /* Sort the first, middle, last elements into order */  
167.         if (comp(lo, mid) > 0) {  
168.             swap(lo, mid, width);  
169.         }  
170.         if (comp(lo, hi) > 0) {  
171.             swap(lo, hi, width);  
172.         }  
173.         if (comp(mid, hi) > 0) {  
174.             swap(mid, hi, width);  
175.         }  
176.   
177.  /*下面要把数组分区成三块，一块是小于分区项的，一块是等于分区项的，而另一块是大于分区项的。*/  
178. /*这里初始化的loguy 和 higuy两个指针，是在循环中用于移动来指示需要交换的两个元素的。 
179. higuy递减，loguy递增，所以下面的for循环总是可以终止。*/  
180.   
181.         loguy = lo; /* traveling pointers for partition step  循环中的游动指针*/  
182.         higuy = hi; /* traveling pointers for partition step  循环中的游动指针*/  
183.   
184.         /* Note that higuy decreases and loguy increases on every iteration, 
185.            so loop must terminate. */  
186.         for (;;) {  
187.            /*开始移动loguy指针，直到A[loguy]>A[mid]*/  
188.             if (mid > loguy) {  
189.                 do  {  
190.                     loguy += width;  
191.                 } while (loguy < mid && comp(loguy, mid) <= 0);  
192.             }  
193.   
194.             /*如果移动到loguy>=mid的时候，就继续向后移动，使得A[loguy]>a[mid]。 
195.             这一步实际上作用就是使得移动完loguy之后，loguy指针之前的元素都是不大于划分值的元素。*/  
196.             if (mid <= loguy) {  
197.                 do  {  
198.                     loguy += width;  
199.                 } while (loguy <= hi && comp(loguy, mid) <= 0);  
200.             }  
201.   
202.            /*执行到这里的时候，loguy指针之前的项都比A[mid]要小或者等于它*/  
203.              
204.             /*下面移动higuy指针，直到A[higuy]<＝A[mid]*/  
205.             do  {  
206.                 higuy -= width;  
207.             } while (higuy > mid && comp(higuy, mid) > 0);  
208.   
209.            /*如果两个指针交叉了，则退出循环。*/  
210.   
211.             if (higuy < loguy)  
212.                 break;  
213.   
214.             /* 此时A[loguy]>A[mid],A[higuy]<=A[mid],loguy<=hi，higuy>lo。*/  
215.            /*交换两个指针指向的元素*/  
216.             swap(loguy, higuy, width);  
217.   
218.             /* If the partition element was moved, follow it.  Only need 
219.                to check for mid == higuy, since before the swap, 
220.                A[loguy] > A[mid] implies loguy != mid. */  
221.   
222.            /*如果划分元素的位置移动了，我们要跟踪它。 
223.  
224.               因为在前面对loguy处理的两个循环中的第二个循环已经保证了loguy>mid, 
225.  
226.              即loguy指针不和mid指针相等。 
227.  
228.              所以我们只需要看一下higuy指针是否等于mid指针， 
229.  
230.             如果原来是mid==higuy成立了，那么经过刚才的交换，中间值项已经到了 
231.  
232. loguy指向的位置（注意：刚才是值交换了，但是并没有交换指针。当higuy和mid相等，交换higuy和loguy指向的内容，higuy依然等于mid），所以让mid＝loguy，重新跟踪中间值。*/  
233.   
234.             if (mid == higuy)  
235.                 mid = loguy;  
236.   
237.             /* A[loguy] <= A[mid], A[higuy] > A[mid]; so condition at top 
238.                of loop is re-established */  
239.   
240.             /*这个循环一直进行到两个指针交叉为止*/  
241.         }  
242.   
243.         /*     A[i] <= A[mid] for lo <= i < loguy, 
244.                A[i] > A[mid] for higuy < i < hi, 
245.                A[hi] >= A[mid] 
246.                higuy < loguy 
247.            implying: 
248.                higuy == loguy-1 
249.                or higuy == hi - 1, loguy == hi + 1, A[hi] == A[mid] */  
250.   
251.        /*上一个循环结束之后，因为还没有执行loguy指针和higuy指针内容的交换，所以loguy指针的前面的数组元素都不大于划分值，而higuy指针之后的数组元素都大于划分值，所以此时有两种情况： 
252.  
253.        1)  higuy＝loguy－1 
254.  
255.        2)  higuy＝hi－1，loguy＝hi+1 
256.  
257.        其中第二种情况发生在一开始选择三个元素的时候，hi指向的元素和mid指向的元素值相等，而hi前面的元素全部都不大于划分值，使得移动loguy指针的时候，一直移动到了hi+1才停止，再移动higuy指针的时候，higuy指针移动一步就停止了，停在hi－1处。 
258.  
259.        */  
260.   
261.         /* Find adjacent elements equal to the partition element.  The 
262.            doubled loop is to avoid calling comp(mid,mid), since some 
263.            existing comparison funcs don't work when passed the same value 
264.            for both pointers. */  
265.   
266.         higuy += width;  
267.         if (mid < higuy) {  
268.             do  {  
269.                 higuy -= width;  
270.             } while (higuy > mid && comp(higuy, mid) == 0);  
271.         }  
272.         if (mid >= higuy) {  
273.             do  {  
274.                 higuy -= width;  
275.             } while (higuy > lo && comp(higuy, mid) == 0);  
276.         }  
277.   
278.         /* OK, now we have the following: 
279.               higuy < loguy 
280.               lo <= higuy <= hi 
281.               A[i]  <= A[mid] for lo <= i <= higuy 
282.               A[i]  == A[mid] for higuy < i < loguy 
283.               A[i]  >  A[mid] for loguy <= i < hi 
284.               A[hi] >= A[mid] */  
285.   
286.    /* We've finished the partition, now we want to sort the subarrays 
287.            [lo, higuy] and [loguy, hi]. 
288.            We do the smaller one first to minimize stack usage. 
289.            We only sort arrays of length 2 or more.*/  
290.   
291.        /* 
292.          我们可以想像一下，对于一个已经排序的数组，如果每次分成N-1和1的数组， 
293.         而我们又每次都先处理N-1那一半，那么我们的递归深度就是和N成比例，这样对于大N，栈空间的开销是很大的。 
294.         如果先处理1的那一半，栈里面最多只有2项。当划分元素刚好在数组中间时，栈的长度是logN。 
295.          对于栈的操作，就是先把大的数组信息入栈。 
296.        */  
297.   
298.         if ( higuy - lo >= hi - loguy ) {  
299.             if (lo < higuy) {  
300.                 lostk[stkptr] = lo;  
301.                 histk[stkptr] = higuy;  
302.                 ++stkptr;  
303.             }                           /* save big recursion for later */  
304.   
305.             if (loguy < hi) {  
306.                 lo = loguy;  
307.                 goto recurse;           /* do small recursion */  
308.             }  
309.         }  
310.         else {  
311.             if (loguy < hi) {  
312.                 lostk[stkptr] = loguy;  
313.                 histk[stkptr] = hi;  
314.                 ++stkptr;               /* save big recursion for later */  
315.             }  
316.   
317.             if (lo < higuy) {  
318.                 hi = higuy;  
319.                 goto recurse;           /* do small recursion */  
320.             }  
321.         }  
322.     }  
323.   
324.     /* We have sorted the array, except for any pending sorts on the stack. 
325.        Check if there are any, and do them. */  
326.   
327.    /*出栈操作，直到栈为空，退出循环*/  
328.   
329.     --stkptr;  
330.     if (stkptr >= 0) {  
331.         lo = lostk[stkptr];  
332.         hi = histk[stkptr];  
333.         goto recurse;           /* pop subarray from stack */  
334.     }  
335.     else  
336.         return;                 /* all subarrays done */  
337. }  

http://blog.csdn.net/jeiwt/article/details/5460966