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 > :: value_type ;
( 説明専用* )

以下の デダクションガイド が 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) Ranges-aware 構築と挿入; オーバーロード ( 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}; // deduces 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()}; // deduces 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++規格に対して遡及的に適用されました。

DR 適用対象 公開時の動作 正しい動作
LWG 3506 C++17 イテレータとアロケータからの推論ガイドが欠落していた 追加、 ( 4-6 )