std::priority_queue

来自cppreference.com
 
C++
 
容器库
 
std::priority_queue
 
<tbody> </tbody>
在标头 <queue> 定义
template< class T, class Container = std::vector<T>, class Compare = std::less<typename Container::value_type> > class priority_queue;
See More

优先级队列是一种容器适配器，它提供常数时间的（默认）最大元素查找，对数代价的插入与提取。

可以通过用户提供的 Compare 更改顺序，例如，用 std::greater<T> 将导致最小元素作为 top() 出现。

priority_queue 的作用类似于管理某些随机访问容器中的堆，其优势是不可能意外使堆失效。

std::priority_queue 的全部成员函数均为 constexpr：在常量表达式求值中创建并使用 std::priority_queue 对象是可能的。

然而，std::priority_queue 对象通常不能为 constexpr，因为任何动态分配的存储都必须在相同的常量表达式求值中释放。

(C++26 起)

模板形参

T - 存储元素的类型。T 与 Container::value_type 不是同一类型时非良构。
Container - 用于存储元素的底层容器类型。容器必须满足序列容器 (SequenceContainer) 的要求，并且它的迭代器必须满足老式随机访问迭代器 (LegacyRandomAccessIterator) 的要求。另外，它必须提供拥有通常语义的下列函数：
  • back()，例如 std::vector::back()，
  • push_back()，例如 std::deque::push_back()，
  • pop_back()，例如 std::vector::pop_back()。

标准容器 std::vector（不包括 std::vector<bool>）和 std::deque 满足这些要求。

Compare - 提供严格弱序的比较 (Compare) 类型。

注意比较 (Compare) 形参的定义，使得它的第一实参在弱序中 先于 它的第二实参时返回 true。但因为优先级队列首先输出最大元素，所以“先来”的元素实际上会在最后输出。即队列头含有按照比较 (Compare) 所施加弱序的“最后”元素。

成员类型

类型 定义
container_type Container[编辑]
value_compare Compare
value_type Container::value_type[编辑]
size_type Container::size_type[编辑]
reference Container::reference[编辑]
const_reference Container::const_reference[编辑]

成员对象

名字 定义
Container c
 底层容器
(受保护成员对象) [编辑]
Compare comp
 比较函数对象
(受保护成员对象)

成员函数

 构造 priority_queue
(公开成员函数) [编辑]
析构 priority_queue
(公开成员函数) [编辑]
将值赋给容器适配器
(公开成员函数) [编辑]
元素访问
访问队首元素
(公开成员函数) [编辑]
容量
检查容器适配器是否为空
(公开成员函数) [编辑]
返回元素数
(公开成员函数) [编辑]
修改器
插入元素，并对底层容器排序
(公开成员函数) [编辑]
(C++23)
 插入元素范围并对底层容器排序
(公开成员函数) [编辑]
(C++11)
 原位构造元素并排序底层容器
(公开成员函数) [编辑]
移除队首元素
(公开成员函数) [编辑]
(C++11)
 交换内容
(公开成员函数) [编辑]

成员对象

非成员函数

(C++11)
 特化 std::swap 算法
(函数模板) [编辑]

辅助类

(C++11)
 特化 std::uses_allocator 类型特征
(类模板特化) [编辑]
(C++23)
 std::priority_queue 的格式化支持
(类模板特化) [编辑]

推导指引

 (C++17 起)

注解

功能特性测试宏 值 标准 功能特性
__cpp_lib_containers_ranges 202202L (C++23) 容器的按范围构造和插入
__cpp_lib_constexpr_containers 202502L (C++26) constexpr std::priority_queue

示例

运行此代码
#include <functional>
#include <iostream>
#include <queue>
#include <string_view>
#include <vector>

template<typename T>
void pop_println(std::string_view rem, T& pq)
{
    std::cout << rem << ": ";
    for (; !pq.empty(); pq.pop())
        std::cout << pq.top() << ' ';
    std::cout << '\n';
}

template<typename T>
void println(std::string_view rem, const T& v)
{
    std::cout << rem << ": ";
    for (const auto& e : v)
        std::cout << e << ' ';
    std::cout << '\n';
}

int main()
{
    const auto data = {1, 8, 5, 6, 3, 4, 0, 9, 7, 2};
    println("data", data);

    std::priority_queue<int> max_priority_queue;

    // 填充优先级队列。
    for (int n : data)
        max_priority_queue.push(n);

    pop_println("max_priority_queue", max_priority_queue);

    // std::greater<int> 使得最大优先队列表现为最小优先队列。
    std::priority_queue<int, std::vector<int>, std::greater<int>>
        min_priority_queue1(data.begin(), data.end());

    pop_println("min_priority_queue1", min_priority_queue1);

    // 定义最小优先队列的另一种方法
    std::priority_queue min_priority_queue2(data.begin(), data.end(), std::greater<int>());

    pop_println("min_priority_queue2", min_priority_queue2);

    // 使用自定义的函数对象来比较元素。
    struct
    {
        bool operator()(const int l, const int r) const { return l > r; }
    } customLess;

    std::priority_queue custom_priority_queue(data.begin(), data.end(), customLess);

    pop_println("custom_priority_queue", custom_priority_queue);

    // 使用 lambda 来比较元素。
    auto cmp = [](int left, int right) { return (left ^ 1) < (right ^ 1); };
    std::priority_queue<int, std::vector<int>, decltype(cmp)> lambda_priority_queue(cmp);

    for (int n : data)
        lambda_priority_queue.push(n);

    pop_println("lambda_priority_queue", lambda_priority_queue);
}

输出： 

data: 1 8 5 6 3 4 0 9 7 2
max_priority_queue: 9 8 7 6 5 4 3 2 1 0
min_priority_queue1: 0 1 2 3 4 5 6 7 8 9
min_priority_queue2: 0 1 2 3 4 5 6 7 8 9
custom_priority_queue: 0 1 2 3 4 5 6 7 8 9
lambda_priority_queue: 8 9 6 7 4 5 2 3 0 1

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告 应用于 出版时的行为 正确行为
LWG 307 C++98 Container 不能是 std::vector<bool> 可以是
LWG 2566 C++98 缺少对 Container::value_type 的要求 T 和 Container::value_type 不同时非良构
LWG 2684 C++98 priority_queue 接收比较器但缺少对它的成员 typedef 已添加

参阅

 动态的连续数组
(类模板) [编辑]
节省空间的动态 bitset
(类模板特化) [编辑]
双端队列
(类模板) [编辑]