C++优先队列(priority_queue)原理与应用详解

1. priority_queue 核心概念解析

优先队列（priority_queue）是C++标准模板库（STL）中一个极具特色的容器适配器，它重新定义了传统队列的访问规则。与普通队列的先进先出（FIFO）原则不同，优先队列中的元素会按照特定的优先级规则自动排序，每次访问的都是当前优先级最高的元素。

1.1 堆结构的本质实现

优先队列的底层实现基于二叉堆数据结构，这是一种特殊的完全二叉树。在最大堆中，每个父节点的值都大于或等于其子节点的值；最小堆则正好相反。这种结构特性保证了：

• 堆顶元素始终是极值（最大或最小值）
• 插入和删除操作的时间复杂度保持在O(log n)
• 空间利用率高，完全二叉树可以用数组紧凑存储

提示：虽然STL默认使用vector作为底层容器，但堆结构本身是逻辑概念，与物理存储方式无关。这也是为什么list不能作为底层容器——它不支持随机访问，无法高效实现堆调整。

1.2 容器适配器的设计哲学

作为容器适配器，priority_queue构建在其他基础容器之上。这种设计带来几个关键特性：

1. 接口精简：只暴露必要的队列操作（push/pop/top）
2. 实现灵活：底层可更换为不同的序列容器
3. 行为确定：严格遵循堆结构的操作语义

默认情况下，priority_queue使用vector作为底层容器，但开发者可以显式指定deque：

cpp复制// 显式指定底层容器为deque
priority_queue<int, deque<int>> pq;

2. 基础操作与核心API详解

2.1 基本操作全解析

让我们通过一个完整示例来剖析priority_queue的所有基础操作：

cpp复制#include <iostream>
#include <queue>
using namespace std;

void basicOperations() {
    // 初始化默认大顶堆
    priority_queue<int> maxHeap;
    
    // 批量插入元素
    const vector<int> data = {7, 2, 9, 5, 1, 8};
    for(int num : data) {
        maxHeap.push(num);  // 插入复杂度O(log n)
    }
    
    // 访问堆顶元素（不移除）
    cout << "当前最大值: " << maxHeap.top() << endl;  // 输出9
    
    // 弹出堆顶元素
    maxHeap.pop();  // 删除复杂度O(log n)
    cout << "弹出后最大值: " << maxHeap.top() << endl;  // 输出8
    
    // 实用工具方法
    cout << "队列是否为空: " << boolalpha << maxHeap.empty() << endl;
    cout << "元素数量: " << maxHeap.size() << endl;
    
    // 遍历（通过不断弹出）
    cout << "剩余元素降序: ";
    while(!maxHeap.empty()) {
        cout << maxHeap.top() << " ";
        maxHeap.pop();
    }
    // 输出: 8 7 5 2 1
}

2.2 关键行为特征

在实际使用中，有几个重要特性需要特别注意：

1. 无迭代器支持：与STL其他容器不同，priority_queue不提供迭代器接口。这是设计上的有意为之，避免破坏堆结构的完整性。

2. 删除限制：只能删除堆顶元素（通过pop），不能