STL源码分析：sort函数

       

目录

支持sort的容器

几种涉及到的排序算法

插入排序

快速排序

堆排序

sort函数的策略

sort函数的实现

---

STL的sort函数非常常用，不同的STL版本有不同的实现方式，本文就来说一下SGI STL中是如何实现sort函数的。

       sort函数所采用的排序方法并非是“一种”，而是“多种”排序算法的“混合物”。在SGI STL的版本中，对一个序列调用sort函数，那么这个序列可能会经历插入排序、快速排序和堆排序，其中最为核心的是快速排序。每种排序方式都是在特定情况下使用的，搭配使用从而更加高效。

支持sort的容器

       由于需要使用到这么多的排序方式，因此调用sort函数的容器必须支持“Random access iterator”（如果不能随机访问，那么快排选取枢轴会受到极大限制），即随机访问迭代器（即支持迭代器++、--和+=、-=）。在众多STL容器中，由于红黑树的迭代器是一个双向迭代器（仅支持++、--），hashtable的迭代器是一个前向迭代器（仅支持++），因此set、map(二者本身就有序)、hash_set和hash_map以及相应的multixxx都不适用于sort函数；queue和stack不允许排序，而list的迭代器是一个双向迭代器，slist的迭代器是一个前向迭代器，因此STL容器中适用sort函数的只有vector和deque。

几种涉及到的排序算法

插入排序

       插入排序的思想，就是在排序过程中把整个序列分为有序子序列和无序子序列，初始状况下有序子序列中只含有第一个元素。接着从第二个元素开始遍历，对于每个当前遍历的元素X，都会在其左侧的有序子序列中寻找到第一个小于X的元素Y，在寻找过程中，比X大的元素会与X交换位置，找到Y后把X插入Y的后面。整个排序过程中，当前遍历的元素的左边就是有序子序列，右边及它自身则为无序子序列。插入排序过程如下所示：

        从插入排序的过程来看可以知道，插入排序的平均时间复杂度为O(N^2)，它取决于每个元素往回遍历时“何时才能找到第一个小于它的元素”。如果元素的数量比较少，那么显然插入排序会趋向于O(N)。

快速排序

       快速排序的思想，就是在序列中寻找一个枢轴，每一次遍历时可以让小于或等于枢轴的元素放在一边，而大于或等于枢轴的元素放在另外一边。然后再进行递归，对子区间进行快速排序，最终得到有序序列。 快速排序的平均时间复杂度为O(NlogN)，影响其效率的关键在于枢轴的选取，如果枢轴选取不当，那么可能最终分隔出来的两个区间一个太长一个太短，此时快速排序就会趋向于O(N^2)