【C++系列】STL中的priority_queue的用法详解及模拟实现

1.priority_queue的介绍和使用

文档介绍（cplusplus官方）

stl源码中，包含三个模板参数：类型、容器适配器、比较规则。

template <class T, class Container = vector<T>,
 class Compare = less<typename Container::value_type> > 
		  class priority_queue;

其底层容器需要包含以下接口：

1… 优先队列是一种容器适配器，根据严格的弱排序标准，它的第一个元素总是它所包含的元素中最大的
2. 此上下文类似于堆，在堆中可以随时插入元素，并且只能检索最大堆元素(优先队列中位于顶部的元素)。
3. 优先队列被实现为容器适配器，容器适配器即将特定容器类封装作为其底层容器类，queue提供一组特 定的成员函数来访问其元素。元素从特定容器的“尾部”弹出，其称为优先队列的顶部。
4底层容器可以是任何标准容器类模板，也可以是其他特定设计的容器类。容器应该可以通过随机访问迭代器访问，并支持以下操作： empty()：检测容器是否为空 size()：返回容器中有效元素个数 front()：返回容器中第一个元素的引用
push_back()：在容器尾部插入元素
pop_back()：删除容器尾部元素

5.标准容器类vector和deque满足这些需求。默认情况下，如果没有为特定的priority_queue类实例化指
定容器类，则使用vector。
6. 需要支持随机访问迭代器，以便始终在内部保持堆结构。容器适配器通过在需要时自动调用算法函数 make_heap、push_heap和pop_heap来自动完成此操作

优先级队列默认使用vector作为其底层存储数据的容器，在vector上又使用了堆算法将vector中元素构造成堆的结构，因此priority_queue就是堆，所有需要用到堆的位置，都可以考虑使用priority_queue。
注意：默认情况下priority_queue是大堆。

如果在priority_queue中放自定义类型的数据，用户需要在自定义类型中提供> 或者< 的重载。

2.priority_queue的模拟实现

首先我写了一个日期类，用作自定义的类型，方便后续测试。
在date类中，重载了 > < 和输出的运算符。

class Date
{
public:
	Date(int year = 1900, int month = 1, int day = 1)
		: _year(year)
		, _month(month)
		, _day(day)
	{}
	bool operator<(const Date& d)const
	{
		return (_year < d._year) ||
			(_year == d._year && _month < d._month) ||
			(_year == d._year && _month == d._month && _day < d._day);
	}
	bool operator>(const Date& d)const
	{
		return (_year > d._year) ||
			(_year == d._year && _month > d._month) ||
			(_year == d._year && _month == d._month && _day > d._day);
	}
	friend ostream& operator<<(ostream& _cout, const Date& d)
	{
		_cout << d._year << "-" << d._month << "-" << d._day;
		return _cout;
	}
private:
	int _year;
	int _month;
	int _day;
};

对于优先级队列，上面已经说过，有三个模板参数，如下：

template<class T,class Container=vector<T>, class Compare = Less<T>>
class priority_queue
{
public:
	priority_queue() //无参构造
	:_c()
	{}

	void shiftdown(int parent) //向下调整父节点 删除时
	{
		int child = parent * 2 + 1;
		while (child < size())
		{
			if(child + 1 < size()&&_com(_c[child],_c[child + 1]))
			//if (child+1<size()&&_c[child] < _c[child + 1])
				child++;
			if (_com(_c[parent],_c[child]))
			//if (_c[parent] < _c[child])
			{
				swap(_c[parent], _c[child]);
				parent = child;
				child= parent * 2 + 1;
			}
			else break;
		}
	}

	void shiftup(int child) //向上调整 插入时
	{
		int parent = (child - 1) / 2;
		while (parent >= 0)
		{
			if (_com(_c[parent] , _c[child]))
			//if (_c[parent] < _c[child])
			{
				swap(_c[parent], _c[child]);
				child = parent;
				parent = (child - 1) / 2;
			}
			else
				break;
		}
	}

	void push(const T& val) //队尾入队 尾插
	{
		_c.push_back(val);
		shiftup(size() - 1);
	}

	void pop() //队头出队 头删
	{
		swap(_c[0], _c[size() - 1]);
		_c.pop_back();
		shiftdown(0);
	}

	size_t size() const
	{
		return _c.size();
	}

	bool empty() const
	{
		return _c.empty();
	}

	T& top() //堆顶元素
	{
		return _c.front();
	}

private:
	Container _c;
	Compare _com;
};

这里实现了自己写的Less 和Greater类；

less 建大堆，重载（）运算符，需要实现小于的比较
greater 建小堆，重载 （）运算符，需要实现大于的比较

称其为仿函数类，原因：使用方式类似于函数调用
1.完整形式：_com.operator(参数列表) ；这里的_com是我们自己创建的类对象。
2.简写形式：_com(参数列表)
注意：对于这里的大于小于，只能比较内置类型，而对于自定义类型，比如上面的date日期类，就需要在date类的内部重载大于小于。

//less 建大堆，重载 <
template<class T>
struct Less 
{
	bool operator()(const T& left,const T& right)
	{
		return left < right;
	}
};

//greater 建小堆，重载 >
template<class T>
struct Greater
{
	bool operator()(const T& left, const T& right) 
	{
		return left > right;
	}
};

3.测试用例

给出四组测试用例：

void test()
{
	priority_queue<int> pq;
	pq.push(10);
	pq.push(2);
	pq.push(5);
	pq.push(8);
	pq.push(6);
	pq.push(46);
	pq.push(56);
	while (!pq.empty())
	{
		cout << pq.top() << " ";
		pq.pop();
	}
	cout << endl;
}

1.只指定 第一个参数类型为 int ，默认使用vector为容器，使用less 建大堆。
生成结果如下：

void test2()
{
	priority_queue<int,vector<int>,Greater<int>> pq;
	pq.push(10);
	pq.push(2);
	pq.push(5);
	pq.push(8);
	pq.push(6);
	pq.push(46);
	pq.push(56);
	while (!pq.empty())
	{
		cout << pq.top() << " ";
		pq.pop();
	}
	cout << endl;
}

2.参数这样指定 ：priority_queue<int,vector,Greater> pq;
greater 建小堆 ，生成结果如下

void test3()
{
	priority_queue<Date> q1;
	q1.push(Date(2018, 10, 29));
	q1.push(Date(2018, 10, 28));
	q1.push(Date(2019, 10, 30));
	q1.push(Date(2019, 8, 30));
	q1.push(Date(2018, 3, 30));
	while (!q1.empty())
	{
		cout << q1.top() <<endl;
		q1.pop();
	}
	cout << endl;

}

3.对于自定义类型：默认为less 建大堆，在比较时调用自身的 < 重载，结果如下
日期从上到下依次减小。

void test4()
{
	priority_queue<Date,vector<Date>,Greater<Date>> q1;
	q1.push(Date(2018, 10, 29));
	q1.push(Date(2018, 10, 28));
	q1.push(Date(2019, 10, 30));
	q1.push(Date(2019, 8, 30));
	q1.push(Date(2018, 3, 30));
	while (!q1.empty())
	{
		cout << q1.top() <<endl;
		q1.pop();
	}
	cout << endl;

}

4. .对于自定义类型：
   priority_queue<Date,vector,Greater> q1;参数传入greater ，建小堆
   在比较时调用自身的 > 重载，结果如下日期从上到下依次增大。