> 技术文档 > 探索实现C++ STL容器适配器:优先队列priority_queue

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

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

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

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

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

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

目录

优先队列介绍

优先队列的渊源

实例化

插入元素

访问元素

获取元素个数

判断优先队列是否为空

删除堆顶元素

·

优先队列的模拟实现

类模板

插入元素

访问元素

获取元素个数

判断优先队列是否为空

删除堆顶元素

效果展示


优先队列介绍

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

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

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

特点总结:

(1)采用数组形式存储

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

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

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

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

优先队列的渊源

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

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

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

问:为什么头文件是queue?

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

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

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

名称语义分解​:

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

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

​行为本质​:

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

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

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

实例化

采用:priority_queue 变量名;

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

priority_queue V1;

也可以选择范围初始化:

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

效果展示: 

插入元素

V.push(val);

访问元素

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

V.top();

获取元素个数

V.size();

判断优先队列是否为空

V.empty();

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

删除堆顶元素

V.pop();

优先队列的模拟实现

类模板

template<class T, class contain = vector>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;}elsebreak;}}

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

访问元素

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

//访问元素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;}elsebreak;}}

效果展示

void text1_t(){priority_queue 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;}

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