文章目录
- 一、容器概览与核心特性
-
- 核心特性速览
- 二、底层实现原理
-
- 1. 二叉堆结构
- 2. 容器适配器架构
- 三、核心操作详解
-
- 1. 容器初始化
- 2. 元素操作接口
- 3. 自定义优先队列
- 四、实战应用场景
-
- 1. 任务调度系统
- 2. 合并K个有序链表
- 五、性能优化策略
-
- 1. 底层容器选择
- 2. 批量建堆优化
- 六、注意事项与陷阱
-
- 1. 常见错误操作
- 2. 比较函数要求
- 七、C++新标准增强
-
- 1. C++11移动语义
- 2. C++17节点操作(需要底层容器支持)
- 总结与最佳实践
-
- 选择优先队列的三大条件
- 性能优化清单
- 典型应用场景
一、容器概览与核心特性
std::priority_queue
是C++标准模板库(STL)提供的容器适配器,实现优先队列数据结构。元素按优先级排序,队首始终为最大(默认)或最小元素。底层通常基于vector
实现堆结构。
核心特性速览
特性 | 说明 |
---|---|
底层容器 | 默认vector,可指定deque |
时间复杂度 | 插入O(log n),取顶O(1) |
空间复杂度 | O(n) |
迭代器支持 | ❌ 不支持遍历操作 |
头文件 | <queue> |
排序方向 | 默认大顶堆(可通过比较器修改) |
二、底层实现原理
1. 二叉堆结构
priority_queue通过完全二叉树实现,满足堆性质:
-
父节点值 ≥ 子节点值(大顶堆)
-
数组存储实现:对于索引i的节点:
-
父节点:
(i-1)/2
-
左子节点:
2*i + 1
-
右子节点:
2*i + 2
-
// 堆操作关键函数示意
void heapify_up(int i) {
while (i > 0 && heap[(i-1)/2] < heap[i]) {
swap(heap[(i-1)/2], heap[i]);
i = (i-1)/2;
}
}
void heapify_down(int i) {
int max = i;
if (left(i) < size && heap[left(i)] > heap[max])
max = left(i);
if (right(i) < size && heap[right(i)] > heap[max])
max = right(i);
if (max != i) {
swap(heap[i], heap[max]);
heapify_down(max);
}
}
2. 容器适配器架构
类声明原型:
template<
typename T,
typename Container = vector<T>,
typename Compare = less<typename Container::value_type>
> class priority_queue;
支持容器需满足:
front()
push_back()
pop_back()
- 随机访问迭代器
三、核心操作详解
1. 容器初始化
// 默认大顶堆
priority_queue<int> maxHeap;
// 小顶堆初始化
priority_queue<int, vector<int>, greater<int>> minHeap;
// 自定义比较器
struct Task {
int priority;
string description;
};
auto cmp = [](const Task& a, const Task& b) {
return a.priority < b.priority; // 大顶堆
};
priority_queue<Task, vector<Task>, decltype