Namespaces
Variants

deduction guides for std::priority_queue

From cppreference.net
C++
Containers library
std::priority_queue
定义于头文件 <queue>
template < class Comp, class Container >

priority_queue ( Comp, Container )

- > priority_queue < typename Container :: value_type , Container, Comp > ;
(1) (C++17 起)
template < class InputIt,

class Comp = std:: less < /*iter-val-t*/ < InputIt >> ,
class Container = std:: vector < /*iter-val-t*/ < InputIt > >
priority_queue ( InputIt, InputIt, Comp = Comp ( ) , Container = Container ( ) )

- > priority_queue < /*iter-val-t*/ < InputIt > , Container, Comp > ;
(2) (C++17 起)
template < class Comp, class Container, class Alloc >

priority_queue ( Comp, Container, Alloc )

- > priority_queue < typename Container :: value_type , Container, Comp > ;
(3) (C++17 起)
template < class InputIt, class Alloc >

priority_queue ( InputIt, InputIt, Alloc )
- > priority_queue < /*iter-val-t*/ < InputIt > ,

std:: vector < /*iter-val-t*/ < InputIt > , Alloc > ,
std:: less < /*iter-val-t*/ < InputIt >>> ;
(4) (C++17 起)
template < class InputIt, class Comp, class Alloc >

priority_queue ( InputIt, InputIt, Comp, Alloc )
- > priority_queue < /*iter-val-t*/ < InputIt > ,

std:: vector < /*iter-val-t*/ < InputIt > , Alloc > , Comp > ;
(5) (C++17 起)
template < class InputIt, class Comp, class Container, class Alloc >

priority_queue ( InputIt, InputIt, Comp, Container, Alloc )

- > priority_queue < typename Container :: value_type , Container, Comp > ;
(6) (C++17 起)
template < ranges:: input_range R,

class Comp = std:: less < ranges:: range_value_t < R >> >
priority_queue ( std:: from_range_t , R && , Comp = Comp ( ) )
- > priority_queue < ranges:: range_value_t < R > ,

std:: vector < ranges:: range_value_t < R >> , Comp > ;
(7) (C++23 起)
template < ranges:: input_range R, class Comp, class Alloc >

priority_queue ( std:: from_range_t , R && , Comp, Alloc )
- > priority_queue < ranges:: range_value_t < R > ,

std:: vector < ranges:: range_value_t < R > , Alloc > , Comp > ;
(8) (C++23 起)
template < ranges:: input_range R, class Alloc >

priority_queue ( std:: from_range_t , R && , Alloc )
- > priority_queue < ranges:: range_value_t < R > ,

std:: vector < ranges:: range_value_t < R > , Alloc >> ;
(9) (C++23 起)
仅用于说明的辅助类型别名
template < class InputIt >

using /*iter-val-t*/ =

typename std:: iterator_traits < InputIt > ::

为 std::priority_queue 提供了以下 推导指引 ：

1-6) 允许从底层容器类型和迭代器范围进行推导。
7-9) 允许从 std::from_range_t 标签和 input_range 进行推导。

这些重载仅在以下情况下参与重载决议：

注意：库判定某个类型不满足 LegacyInputIterator 要求的程度是未指定的，但至少整型类型不符合输入迭代器的要求。同样地，库判定某个类型不满足 Allocator 要求的程度也是未指定的，但至少要求成员类型 Alloc::value_type 必须存在，且表达式 std:: declval < Alloc & > ( ) . allocate ( std:: size_t { } ) 在被视为未求值操作数时必须保持良构。

注释

功能测试 宏 值 标准 功能
__cpp_lib_containers_ranges 202202L (C++23) 支持范围 的构造与插入；重载版本 ( 7-9 )

示例

运行此代码 
#include <functional>
#include <iostream>
#include <queue>
#include <vector>
int main()
{
    const std::vector<int> v = {1, 2, 3, 4};
    std::priority_queue pq1{std::greater<int>{}, v}; // 推导为 std::priority_queue<
                                                     //     int, std::vector<int>,
                                                     //     std::greater<int>>
    for (; !pq1.empty(); pq1.pop())
        std::cout << pq1.top() << ' ';
    std::cout << '\n';
    std::priority_queue pq2{v.begin(), v.end()}; // 推导为 std::priority_queue<int>
    for (; !pq2.empty(); pq2.pop())
        std::cout << pq2.top() << ' ';
    std::cout << '\n';
}

输出： 

1 2 3 4
4 3 2 1

缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的C++标准。

缺陷报告 适用范围 发布时行为 修正后行为
LWG 3506 C++17 缺少来自迭代器和分配器的推导指引 已添加， ( 4-6 )