MyTinySTL的priority_queue源码分析

mystl项目地址为：https://github.com/Alinshans/MyTinySTL

原STL库十分庞大，父子类关系十分复杂。故借这个项目来研究原STL库的代码逻辑，对代码的理解都以注释的形式写在了注释里

前置知识：堆的建立，将堆排序学会自然就会了，下面简要说明
堆一定是完全二叉树，建堆调整往下调整，插入调整往上调整

建堆：循环 从中间元素开始，到第一个元素
			调整堆，进行一次heapify
//数组元素从1开始
void heap_build(ElemType A[],int len) //len表示数组长度
{
	for(int i=len/2;i>0;i--){ //从中间位置逆序进行堆调整
		Heapify(A,i,len); //对某个元素进行调整操作
	}
}
//我的理解是：在以K为根的子树上进行调整
void Heapify(ElemType A[],int k,int len){ //
    A[0]=A[k];//暂存A[k]
    for(i=2*k;i<=len;i*=2){ //一直到叶节点
        ......//从当前节点，兄弟节点，父节点中选取最值，然后交换
    }
    A[0] = A[k];
}
//插入元素:将元素放到数组后边，然后向上调整

对于有限队列中的heap文件的具体实现，本文没有做研究

priority_queue

// 模板类 priority_queue
// 参数一代表数据类型，参数二代表容器类型，缺省使用 mystl::vector 作为底层容器
// 参数三代表比较权值的方式，缺省使用 mystl::less 作为比较方式
template <class T, class Container = mystl::vector<T>,
  class Compare = mystl::less<typename Container::value_type>>
class priority_queue
{
	......
//两个需要维护的变量
private:
    container_type c_;     // 用底层容器来表现 priority_queue
    value_compare  comp_;  // 权值比较的标准
}

有限队列很多操作基于底层的容器。
例如：

  // 访问元素相关操作
  const_reference top() const { return c_.front(); }

  // 容量相关操作
  bool      empty() const noexcept { return c_.empty(); }
  size_type size()  const noexcept { return c_.size(); }

对如push和pop操作，是将底层容器迭代器作为参数，调用堆函数实现的。
例如：

void push(const value_type& value)
{
    c_.push_back(value);//vector在最后插入元素
    mystl::push_heap(c_.begin(), c_.end(), comp_); //调用底层函数
}
void pop()
{
    mystl::pop_heap(c_.begin(), c_.end(), comp_);
    c_.pop_back();
}

本文仅供学习。

如有错误，请指出。