探索实现C++ STL容器适配器:优先队列priority_queue

发布于:2025-07-08 ⋅ 阅读:(16) ⋅ 点赞:(0)

前引: 在算法竞赛中,选手们常常能在0.01秒内分出胜负;在实时交易系统中,毫秒级的延迟可能意味着数百万的盈亏;在高并发服务器中,每秒需要处理数万条不同优先级的请求——这些系统背后,都隐藏着同一种强大的数据结构:​优先队列(priority_queue)​作为C++标准库中最优雅的数据结构适配器,priority_queue完美封装了堆算法的高效性,却只需几行代码即可实现复杂优先级管理。本文将深入剖析:

(1)​堆原理与优先队列的机械美学​

(2)定制化优先级策略的高级技巧​

(3)实战性能对比与编译器级优化​

(4)在万亿级数据处理中的独特优势

目录

优先队列介绍

优先队列的渊源

实例化

插入元素

访问元素

获取元素个数

判断优先队列是否为空

删除堆顶元素

·

优先队列的模拟实现

类模板

插入元素

访问元素

获取元素个数

判断优先队列是否为空

删除堆顶元素

效果展示


优先队列介绍

优先队列priority_queue 是 C++ 标准模板库(STL)中的一个容器适配器,提供了堆数据结构的实现(默认为最大堆)。它在需要高效访问最大/最小元素的场景下非常有用!

如果需要使用小顶堆,可以这样传参 priority_queue< int , vector<int> , greater<int> > 

它是默认基于(大顶)堆实现的,例如一颗用数组存储的完全二叉树:

特点总结:

(1)采用数组形式存储

(2)默认基于最大堆实现

(3)适配器容器底层为 vector (使用需要包含#include<queue>) 

(4)每次只能访问队列顶部的元素,即优先级最高的元素

(5)复杂度:访问O(1)、插入O(log n)、删除顶部元素O(log n)

优先队列的渊源

我们通过 优先队列 的容器结构应该猜到,它的底层容器是 vector ,为什么不取名叫优先维克托呢

问:为什么底层容器是vector?

连续内存结构适合堆的随机访问需求,缓存友好,且动态数组支持高效尾部操作

问:为什么头文件是queue?

作为容器适配器,优先队列在概念上属于队列的一种,与queue共用同一头文件,体现了接口的一致性,比如队列的各种接口刚好吻合它的访问、插入、删除行为:

priority_queue --> "<queue>头文件" : 声明接口

问:为什么叫优先队列而不是优先维克托?

名称语义分解​:

优先(Priority):元素按内在重要性排序,而非插入顺序

队列(Queue):仅允许特定端点访问的操作模型(队尾插入,队首访问)

​行为本质​:

插入操作:push(),时间复杂度 O(log n)

访问操作:top(),总是获取优先级最高的元素

删除操作:pop(),移除当前最高优先级元素

实例化

采用:priority_queue<数据类型> 变量名;

我们可以选择默认初始化:

priority_queue<int> V1;

也可以选择范围初始化:

priority_queue<int> V2(arr,arr+n);
//或者用另一个容器去初始化
priority_queue<int> V3(V1.begin(),V1.end());

效果展示: 

插入元素

V.push(val);

访问元素

遵循堆的性质,只能访问堆顶元素

V.top();

获取元素个数

V.size();

判断优先队列是否为空

V.empty();

为空返回 true ;不为空返回 false

删除堆顶元素

V.pop();

优先队列的模拟实现

类模板

template<class T, class contain = vector<T>>
class priority_queue
{
public:
    //构造可以不写,因为可以直接使用vector

    //函数实现
private:
    contain x;
}

既然底层是 vector,我们用缺省参数直接实例化出一个 vector 类型的变量就可以作为底层实现了

插入元素

插入元素调用vector的接口就行了,这里由于需要满足优先队列的性质(大顶堆),我们还需要在插入之后使用向上调整,保证堆顶(首元素)是最大的

插入元素:

//插入数据
void push(const T& date)
{
	x.push_back(date);
	//向上调整
	Upgrade(size() - 1);
}

向上调整:

//向上调整
void Upgrade(int child)
{
	//父节点
	int parent = (child - 1) / 2;
	//如果孩子节点大于父节点,就向上调整交换(根节点可能也需要调整)
	while (parent >= 0)
	{
		//只要进入循环,那么节点下标一定是在合法范围
		if (x[child] > x[parent])
		{
			//交换
			swap(x[child], x[parent]);
			//更新孩子、父节点
			child = parent;
			parent = (child - 1) / 2;
		}
		else
			break;
	}
}

这样经过向上调整就可以达到下面的效果:

访问元素

访问第一个元素即可(堆顶元素)

//访问元素
T top()
{
	return x[0];
}

获取元素个数

//计算元素个数
T size()
{
	return x.size();
}

判断优先队列是否为空

//判断是否为空
bool empty()
{
	return x.empty();
}

删除堆顶元素

这里的删除调用 vector的尾删即可。

删除的方法:先交换堆顶 和 尾部元素,再删除,再使用向下调整保证大顶堆的性质

//删除堆顶元素
void pop()
{
	Eliminate(size() - 1);
}

向下调整: 

//向下调整
void Eliminate(int child)
{
	//交换堆顶和末尾元素
	swap(x[child], x[0]);
	//去尾
	x.pop_back();
	//父子节点
	int parent = 0;
	child = 2 * parent + 1;
	//开始调整(子节点不能超过范围)
	while (child < x.size())
	{
		//如果右节点大于左节点
		if (x[child] < x[child + 1])
		{
			child++;
		}
		//如果父节点小于子节点
		if (x[parent] < x[child])
		{
			swap(x[parent], x[child]);
			//更新
			parent = child;
			child = 2 * parent + 1;
		}
		else
			break;
	}
}

效果展示

void text1_t()
{
	priority_queue<int> V1;
	//插入元素
	V1.push(10);
	V1.push(15);
	V1.push(5);
	V1.push(20);
	V1.push(0);
	V1.push(25);
	//元素个数
	cout << V1.size() << endl;
	//访问堆顶元素
	cout << V1.top() << endl;
	//出堆顶元素
	V1.pop();
	//访问堆顶元素
	cout << V1.top() << endl;
	//判断是否为空
	cout << V1.empty() << endl;
}

                                                   【雾非雾】期待与你的下次相遇! 


网站公告

今日签到

点亮在社区的每一天
去签到