C++ 之 栈和队列（容器适配器）

---

特性

栈（stack）

1. stack是一种容器适配器，专门用在具有后进先出操作的上下文环境中，其删除只能从容器的一端进行元素的插入与提取操作。
2. stack是作为容器适配器被实现的，容器适配器即是对特定类封装作为其底层的容器，并提供一组特定的成员函数来访问其元素，将特定类作为其底层的，元素特定容器的尾部(即栈顶)被压入和弹出。
3. stack的底层容器可以是任何标准的容器类模板或者一些其他特定的容器类，这些容器类应该支持以下操作：
   empty：判空栈是否为空
   top：获取栈顶元素
   push：栈插入元素
   pop：栈删除元素
   size：返回栈内元素个数
4. 标准容器vector、deque、list均符合这些需求，默认情况下，如果没有为stack指定特定的底层容器，默认情况下使用deque。

这里给出博客链接：底层使用deque模拟实现stack：【https://blog.csdn.net/qq_42351880/article/details/100129083】

---

队列（queue）

1. 队列是一种容器适配器，专门用于先进先出上下文中操作，其中从容器一端插入元素，另一端提取元素。
2. 队列作为容器适配器实现，容器适配器即将特定容器类封装作为其底层容器类，queue提供一组特定的成员函数来访问其元素。元素从队尾入队列，从队头出队列。
3. 底层容器可以是标准容器类模板之一，也可以是其他专门设计的容器类。该底层容器应至少支持以下操作：
   empty：检测队列是否为空
   size：返回队列中有效元素的个数
   front：返回队头元素的引用
   back：返回队尾元素的引用
   push：在队列尾部入队列
   pop：在队列头部出队列
4. 标准容器类deque和list满足了这些要求。默认情况下，如果没有为queue实例化指定容器类，则使用标准容器deque。

这里给出博客链接：底层使用deque模拟实现queue：【https://blog.csdn.net/qq_42351880/article/details/100128976】

---

优先级队列（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(const Compare& x = Compare(), const Container& y =Container() );	构造一个空的优先级队列
template priority_queue(InputIterator first, InputIterator last, const Compare& comp = Compare(), const Container& ctnr = Container());	用[first, last)区间中的元素构造优先级队列
bool empty( ) const	检测优先级队列是否为空，是返回true，否则返回false
const value_type& top ( ) const	返回优先级队列中最大(最小元素)，即堆顶元素
void push ( const T& x )	在优先级队列中插入元素x
void pop ( )	删除优先级队列中最大(最小)元素，即堆顶元素

测试代码：

#include <vector>
#include <queue>
#include <functional> // greater算法的头文件

void TestPriorityQueue(){
		// 默认情况下，创建的是大堆，其底层按照小于号比较
	vector<int> v{3,2,7,6,0,4,1,9,8,5};
	priority_queue<int> q1;
	
	for (auto& e : v)
		q1.push(e);
		
	cout << q1.top() << endl;
	
	// 如果要创建小堆，将第三个模板参数换成greater比较方式
	priority_queue<int, vector<int>, greater<int>> q2(v.begin(), v.end());
	cout << q2.top() << endl;
}

输出结果：

9			//大堆堆顶元素
0			//小堆堆顶元素

• 如果在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;
};

测试代码：

void TestPriorityQueue(){
	// 大堆，需要用户在自定义类型中提供<的重载
	priority_queue<Date> q1;
	q1.push(Date(2018, 10, 29));
	q1.push(Date(2018, 10, 28));
	q1.push(Date(2018, 10, 30));
	cout << q1.top() << endl;

	// 如果要创建小堆，需要用户提供>的重载
	priority_queue<Date, vector<Date>, greater<Date>> q2;
	q2.push(Date(2018, 10, 29));
	q2.push(Date(2018, 10, 28));
	q2.push(Date(2018, 10, 30));
	cout << q2.top() << endl;
}

输出结果：

2018-10-30
2018-10-28

• 有些情况下，如果用户需要，可以自定制比较器规则。

class Less{
public:
	bool operator()(const Date* pLeft, const Date* pRight){
		return *pLeft < *pRight;
	}
};

void TestPriorityQueue(){
		// 自己定制比较的规则
	priority_queue<Date*, vector<Date*>, Less> q;
	q.push(&Date(2018, 10, 29));
	q.push(&Date(2018, 10, 28));
	q.push(&Date(2018, 10, 30));
	cout << *q.top() << endl;
}

输出结果：

2018-10-30

---

容器适配器

适配器是一种设计模式，适配器模式是将一个类的接口转换成客户希望的另外一个接口。

设计模式是一套被反复使用的、多数人知晓的、经过分类编目的、代码设计经验的总结)。

---

为什么将stack、queue、priority_queue称作为容器适配器？

虽然stack、queue、priority_queue中也可以存放元素，但在STL中并没有将其划分在容器的行列，而是将其称为容器适配器，这是因为每个容器在底层都有自己的实现方式，而stack、queue、priority_queue只是在底层将其他容器进行了封装。

引用自cplusplus.com

为什么选择deque作为stack和queue的底层默认容器？

• stack是一种后进先出的特殊线性数据结构，因此只要具有push_back()和pop_back()操作的线性结构都可以作为stack的底层容器，比如vector和list都可以；
• queue是先进先出的特殊线性数据结构，只要具有push_front()和pop_front()操作的线性结构都可以作为queue的底层容器，比如list。
• 但是STL中对stack和queue默认选择deque作为其底层容器，主要是因为：

1. stack和queue不需要遍历，因此stack和queue没有迭代器，只需要在固定的一端或者两端进行操作。
2. 在stack中元素增长时，deque比vector的效率高；queue中的元素增长时，deque不仅效率高，而且内存使用率高。