前引: 在算法竞赛中,选手们常常能在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;
}
【雾非雾】期待与你的下次相遇!