【C++】stack、queue和优先级队列

阿瑾0618

已于 2024-03-28 21:17:43 修改

阅读量1.8k

点赞数 23

分类专栏： C++ 数据结构文章标签： c++ 开发语言

于 2024-03-28 21:03:55 首次发布

本文链接：https://blog.csdn.net/Eristic0618/article/details/137115043

版权

数据结构同时被 2 个专栏收录

23 篇文章 3 订阅

订阅专栏

C++

22 篇文章 3 订阅

订阅专栏

一、前言

通过前面的学习，我们已经对string、vector和list类有了了解

本文中介绍的stack、queue和优先级队列相比于前面的容器而言接口较少，并且有了前面的基础，在学习这几个容器的使用和模拟实现时会更好上手。

因此，本文仅对接口的使用进行简单介绍，把重点放在优先级队列等部分。

二、stack类

2.1 了解stack

stack - C++ Reference (cplusplus.com)https://legacy.cplusplus.com/reference/stack/stack/通过文档，我们可以了解到以下的内容：

区别于vector等容器，stack是一种容器适配器。通俗的讲，stack封装了一个其他的容器，并提供特定的成员函数来对容器进行操作并遵循栈的后进先出（Last-in First-out）原则。
stack的底层容器至少要支持以下操作：

empty：判空
size：获取容器有效元素个数
back：获取容器尾部元素
push_back：尾插
pop_back：尾删

通过这些操作，我们就可以实现栈的压入和弹出等行为
我们可以指定vector、list和deque作为stack的底层容器，如果没有指定，默认情况下使用deque，后面会对该容器进行介绍。

2.2 使用stack

在实例化与stack类类似的容器适配器时，模板参数除了必须要传入元素类型，还可以选择传入底层容器的种类

例如：

（1）empty

bool empty() const;

检测栈是否为空

（2）size

size_type size() const;

返回stack中元素的个数

（3）top

value_type& top();

const value_type& top(); const

返回栈顶元素的引用

（4）push

void push(const value_type& val);

将val压入栈中

（5）pop

void pop();

将栈顶元素弹出

例如：

2.3 stack的模拟实现

前面提到，stack是一个容器适配器，其底层封装了其他的容器，这里我们以vector作为底层容器

namespace Eristic
{
	template<class T, class Container = vector<T>> 
    //一个模板参数传入数据类型，一个模板参数传入底层容器   
	class stack
	{
	public:
		void push(const T& val)
		{
			_con.push_back(val); //压栈即在容器尾部插入数据
		}

		void pop()
		{
			_con.pop_back(); //出栈即删除容器尾部的数据
		}

		const T& top()
		{
			return _con.back(); //栈顶元素即容器尾部的元素
		}

		size_t size()
		{
			return _con.size();
		}

		bool empty()
		{
			return _con.empty();
		}

	private:
		Container _con; //对容器进行封装
	};
}

三、queue类

3.1 了解queue

cplusplus.com/reference/queue/queue/https://cplusplus.com/reference/queue/queue/通过文档，我们可以了解到以下的内容：

队列也是一种容器适配器，对容器进行封装，提供特定的成员函数对容器进行操作并遵循队列的先进先出（First-in First-out）原则。
队列的底层容器至少要支持以下操作：

empty：判空
size：获取容器有效元素个数
front：获取容器头部元素
back：获取容器尾部元素
push_back：尾插
pop_front：头删

通过这些操作，我们就可以实现队列的出队和入队等行为。

我们可以指定list和deque作为queue的底层容器，如果没有指定，默认情况下使用deque

3.2 使用queue

（1）empty

bool empty() const;

检测队列是否为空

（2）size

size_type size() const;

返回队列中有效元素的个数

（3）front

value_type& front();

const value_type& front(); const

返回队头元素的引用

（4）back

value_type& back();

const value_type& (); const

（5）push

void push(const value_type& val);

从队尾将元素val入队列

（6）pop

void pop();

将队头元素出队列

例如：

3.3 queue的模拟实现

因为queue需要头删，如果底层使用vector效率太低，这里我们使用list作为queue的底层容器

namespace Eristic
{
	template<class T, class Container = list<T>>
	class queue
	{
	public:
		void push(const T& val)
		{
			_con.push_back(val); //入队列，即从容器尾部插入数据
		}

		void pop()
		{
			_con.pop_front(); //出队列，即从容器头部删除数据
		}

		const T& front()
		{
			return _con.front();
		}

		const T& back()
		{
			return _con.back();
		}

		size_t size()
		{
			return _con.size();
		}

		bool empty()
		{
			return _con.empty();
		}

	private:
		Container _con;
	};
}

四、优先级队列

4.1 了解优先级队列

cplusplus.com/reference/queue/priority_queue/https://cplusplus.com/reference/queue/priority_queue/

通过文档，我们可以了解到以下的内容：

优先级队列（priority_queue）是一种容器适配器，相比于普通队列，其内部每个元素都有一个优先级，所有元素按照优先级的顺序排列，优先级高的元素排在队头，优先级低的元素排在队尾。
优先级队列表现为一个顺序结构的完全二叉树，以堆的方式实现排序特性，因此优先级队列的底层容器需要支持随机迭代器访问，以便始终在内部保持堆结构。
优先级队列的底层容器至少要支持以下操作：

empty：判空
size：返回容器有效元素个数
push_back：尾插
pop_back：尾删

因为优先级队列以堆的方式实现，因此将数据出队列时应按照堆的方式删除数据，也就是首尾数据交换后尾删，并重新建堆。

我们可以指定vector和deque作为优先级队列的底层容器，如果没有指定，默认情况下使用vector。

4.2 使用优先级队列

（1）empty

bool empty() const;

检测优先级队列是否为空

（2）size

size_type size() const;

返回优先级队列中有效元素个数

（3）top

const value_type& top(); const

返回优先级队列中优先级最大的元素，即堆顶元素

（4）push

void push(const value_type& val);

向优先级队列中插入元素val

（5）pop

void pop();

删除优先级队列中优先级最大的元素，即堆顶元素

4.3 仿函数

可以看到，优先级队列相比stack和queue，又多了一个模板参数：仿函数。

首先，仿函数是一个类，而不是函数

当我们实例化优先级队列时不传入仿函数，就默认使用仿函数less，其效果为：

如果我们想变为升序，就需要手动传入仿函数greater，需要包含头文件<functional>

传入的仿函数为优先级队列提供了排序的顺序

仿函数在类中重载了括号（），使得我们可以像调用函数一样去调用实例化的类对象（或者匿名对象）。

我们以仿函数greater为例，自己尝试实现一个

	template<class T>
	class greater
	{
	public:
		bool operator()(const T& x, const T& y)
		{
			return x > y;
		}
	};

像这样，就是一个仿函数，而使用仿函数的方式如下：

可以看到，我们既可以使用仿函数实例化出的对象来调用类中的函数，也可以使用匿名对象调用。

4.4 优先级队列的模拟实现

namespace Eristic
{
	template<class T>
	class less //也可以用struct，默认公开
	{
	public:
		bool operator()(const T& x, const T& y)
		{
			return x < y;
		}
	};

	template<class T>
	class greater
	{
	public:
		bool operator()(const T& x, const T& y)
		{
			return x > y;
		}
	};

	template<class T, class Container = vector<T>, class Compare = less<T>>
	class priority_queue
	{
	public:
		void adjust_up(int child) //向上调整算法
		{
			Compare com;
			int parent = (child - 1) / 2;
			while (child > 0)
			{
				if (com(_con[parent], _con[child]))
				{
					swap(_con[child], _con[parent]);
					child = parent;
					parent = (child - 1) / 2;
				}
				else
					break;
			}
		}

		void adjust_down(int parent) //向下调整算法
		{
			Compare com;
			int child = parent * 2 + 1;
			while (child < _con.size())
			{
				if (child + 1 < _con.size() && com(_con[child], _con[child + 1]))
				{
					child++;
				}
				if (com(_con[parent], _con[child]))
				{
					swap(_con[parent], _con[child]);
					parent = child;
					child = parent * 2 + 1;
				}
				else
					break;
			}
		}

		void push(const T& x)
		{
			_con.push_back(x); //队尾插入数据
			adjust_up(_con.size() - 1); //向上调整重新排序
		}

		void pop()
		{
			swap(_con[0], _con[_con.size() - 1]); //交换队头（堆顶）和队尾（堆尾）数据
			_con.pop_back(); //删除队尾数据
			adjust_down(0); //向下调整重新排序
		}

		const T& top()
		{
			return _con[0]; //取出队头（优先级最大）元素
		}

		size_t size()
		{
			return _con.size();
		}

		bool empty()
		{
			return _con.empty();
		}


	private:
		Container _con;
	};
}