STL源码剖析(heap)

STL heap并不是容器，而是一系列的算法。

这些算法接受RandomAccessIterator[start, end)，并将其表述成一棵完全二叉树。

关于heap算法可以参考之前算法导论的一篇博客:http://www.cnblogs.com/runnyu/p/4677170.html。

先看看heap算法的接口

// 改变[first, last)元素的次序 使其变成一个max_heap
// 其实现就是堆排序中的建堆过程
template <class RandomAccessIterator>
inline void make_heap(RandomAccessIterator first, RandomAccessIterator last) { ... }

/* 
    将元素插入堆中 并维护堆的性质(详细看下面的图解)
    (在执行push_heap之前就应该把元素push_back到容器最后 如:
    vec.push_back(1);
    push_heap(vec.begin(), vec.end());)

    虽然这样子接口看起来有点奇怪 但是如果操作的是vector
    将要插入的元素作为第三个参数的话  在该函数进行插入的时候
    可能vector会进行扩容 导致传进来的迭代器失效
*/ 
template <class RandomAccessIterator>
inline void push_heap(RandomAccessIterator first, RandomAccessIterator last) { ... }

// 将尾元素替换成首元素(max) 并维护堆的性质
// 旧的尾元素会插入到适当的位置
// 然后由客户端调用pop_back等方法移除尾元素(具体看下面图解)
template <class RandomAccessIterator>
inline void pop_heap(RandomAccessIterator first, RandomAccessIterator last) { ... }

// 每次调用pop_heap将最大的元素移到最后 实现排序
template <class RandomAccessIterator>
void sort_heap(RandomAccessIterator first, RandomAccessIterator last) 
{ 
    while (last - first > 1) pop_heap(first, last--, comp); 
}

下图是push_heap()的图解

下图是pop_back()的图解

再参照堆排序的实现，heap算法的实现就很容易理解了，具体代码我就不贴了。

下一次会讲几个容器适配器: priority_queue(底层使用heap算法实现)、stack(默认使用deque实现)、queue(默认使用deuqe实现)。