STL sort函数的内部实现

最新推荐文章于 2025-09-11 00:00:00 发布

原创

最新推荐文章于 2025-09-11 00:00:00 发布 · 3.9k 阅读

3 ·

CC 4.0 BY-SA版权

文章标签：

#算法

本文探讨了STL中的sort函数，重点关注其内部实现，包括递归深度阈值和__final_insertion_sort阶段。通过对代码的分析，揭示了sort算法如何在不同场景下高效工作。

（1）在STL提供的各式各样的算法中，sort()是最复杂最庞大的一个。这个算法只接受RandomAccessIterators（随机存取迭代器），然后将区间内所有元素由小到大重新排列。第二个版本允许用户自己指定一个仿函数作为排序标准。

（2）对于关系型容器，底层自己采用有自动排序功能的RB-Tree，不需要用到sort算法，序列式容器中stack、queue和priority_queue是容器适配器，都有特别的出入口，不允许用户对其进行排序。剩下的vector、deque和list，前两者的迭代器属于RandomAccessIterators，适合用sort算法，list的迭代器则属于BidirectionIterators，不在STL标准之列的slist，其迭代器更是属于ForwardIterators，都不适合于sort算法。如果要对list或者slist排序，应该他们自己提供member function sort()。那么为什么泛型算法sort()一定要求RandomAccessIterators？

（3）STL的sort()算法，数据量大时采用Quick Sort，分段递归排序。一旦分段后的数据量小于某个阈值，为避免Quick Sort的递归调用带来过大的额外开销，就改用Insertion Sort（插入排序）。如果递归层次过深，还会改用Heap Sort。