STL源码刨析——sort

以下是阿鲤对STL源码刨析中sort函数的学习总结；希望可以帮助到大家：

首先看看reference-c++上是怎样对sort函数描述的

由图可以看出，sort是有两个版本的；第一个版本是对区间内的所有呀元素按照从小到大的顺序排列；第二个版本则是使用了一个仿函数作为区间的排序标准的。

ok，我们现在知道了sort由两个版本，那就让我们现在走进源码的世界把！

版本一：

template<class _RanIt> inline
	void sort(const _RanIt _First, const _RanIt _Last)
	{	// order [_First, _Last), using operator<
	_STD sort(_First, _Last, less<>());//封装了升序的版本而
	}

版本二： 

template<class _RanIt,
	class _Pr> inline
	void sort(const _RanIt _First, const _RanIt _Last, _Pr _Pred)
	{	// order [_First, _Last), using _Pred
	_Adl_verify_range(_First, _Last);//利用编译器自带的ADL查找规则, 找到与类型参数相匹配的重载函数.
	const auto _UFirst = _Get_unwrapped(_First);
	const auto _ULast = _Get_unwrapped(_Last);
	_Sort_unchecked(_UFirst, _ULast, _ULast - _UFirst, _Pass_fn(_Pred));//排序
	}

我们可以看出，版本一其实在第层调用的是版本二，只不过是写死了排序方式为less而已；现在让我们看看版本二；

_Sort_unchecked：

const int _ISORT_MAX = 32;

template<class _RanIt,
	class _Pr> inline
	void _Sort_unchecked(_RanIt _First, _RanIt _Last, _Iter_diff_t<_RanIt> _Ideal, _Pr _Pred)
	{	// order [_First, _Last), using _Pred
	_Iter_diff_t<_RanIt> _Count;//索引
    
    //快速排序
	while (_ISORT_MAX < (_Count = _Last - _First) && 0 < _Ideal)
		{	// divide and conquer by quicksort
		auto _Mid = _Partition_by_median_guess_unchecked(_First, _Last, _Pred);
		// TRANSITION, VSO#433486
		_Ideal = (_Ideal >> 1) + (_Ideal >> 2);	// allow 1.5 log2(N) divisions

		if (_Mid.first - _First < _Last - _Mid.second)
			{	// loop on second half
			_Sort_unchecked(_First, _Mid.first, _Ideal, _Pred);
			_First = _Mid.second;
			}
		else
			{	// loop on first half
			_Sort_unchecked(_Mid.second, _Last, _Ideal, _Pred);
			_Last = _Mid.first;
			}
		}

    //数据量过大采用堆排序
	if (_ISORT_MAX < _Count)
		{	// heap sort if too many divisions
		_Make_heap_unchecked(_First, _Last, _Pred);
		_Sort_heap_unchecked(_First, _Last, _Pred);
		}
    //数据量小的采用插入排序
	else if (2 <= _Count)
		{
		_Insertion_sort_unchecked(_First, _Last, _Pred);	// small
		}
	}

由_Sort_unchecked函数我们可以看出sort在实现的时候，对于大数据量的数据会采用Quick Sort进行分段递归排序；而对于数据量小的数据则会采用insertion sort。

为什么在小数据量的时候采用插入排序？

这是为了避免quick_sort的递归调用带来的过大负荷。并且如果递归层次过深还会调用Heap sort。