STL源码分析《3》----辅助空间不足时，如何进行归并排序

两个连在一起的序列 [first, middle) 和 [middle, last) 都已经排序，

归并排序最核心的算法就是 将 [first, middle) 和 [middle, last) 在 O(N)时间内合并成一个有序数组。

但是合并的过程中一般需要  m + n 的额外辅助空间。其中， m 、 n 是数组的左右半边的长度。

现在假如，

  1〉 辅助空间 bufSize < m + n 呢， 但是比 min(m, n) 大。也就是说能够容纳序列1 或者 序列 2。

  2〉 bufSize < min(m, n) 呢？？

  3〉假如没有辅助内存呢？？

STL implace_merge 函数在其实现中分别考虑了上述三种情况，并且尽可能地使效率比较高。

记号：长度为 m 的有序数组 A， 长度为 n 的有序数组 B， 

一、 buffer 能够容纳其中的一个有序数组

     1> 能够容纳 序列 1 [first, middle)

    

这时候只要先把 [first, middle) 拷贝到 [buffer, end_buffer) 中，

然后进行常规的 Merge, 依次将 [middle, last) 和 [buffer, end_buffer) 中小的元素放到 [first, last) 即可。不会存在数据覆盖的问题。

STL 源码如下：

template <class _BidirectionalIter, class _Distance, class _Pointer>
void __