std::priority_queue の推論ガイド

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

コンテナライブラリ

シーケンス

array (C++11)

vector

vector<bool>

inplace_vector (C++26)

hive (C++26)

deque

forward_list (C++11)

list

連想

set

multiset

map

multimap

非順序連想

unordered_set (C++11)

unordered_multiset (C++11)

unordered_map (C++11)

unordered_multimap (C++11)

アダプタ

stack

queue

priority_queue

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

表示

span (C++20)

mdspan (C++23)

表

イテレータの無効化

メンバ関数テーブル

非メンバ関数テーブル

 

std::priority_queue

メンバ関数

priority_queue::priority_queue

priority_queue::~priority_queue

priority_queue::operator=

要素アクセス

priority_queue::top

容量

priority_queue::empty

priority_queue::size

変更

priority_queue::push

priority_queue::push_range (C++23)

priority_queue::emplace (C++11)

priority_queue::pop

priority_queue::swap (C++11)

非メンバ関数

swap(std::priority_queue) (C++11)

ヘルパークラス

uses_allocator<std::priority_queue> (C++11)

formatter<std::priority_queue> (C++23)

推論補助(C++17)

 

ヘッダー<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-value-type*/<InputIt>>,           class Container = std::vector</*iter-value-type*/<InputIt> > priority_queue( InputIt, InputIt, Comp = Comp(), Container = Container() )     -> priority_queue</*iter-value-type*/<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-value-type*/<InputIt>,                       std::vector</*iter-value-type*/<InputIt>, Alloc>,                       std::less</*iter-value-type*/<InputIt>>>;	(4)	(C++17以降)
template< class InputIt, class Comp, class Alloc > priority_queue( InputIt, InputIt, Comp, Alloc )     -> priority_queue</*iter-value-type*/<InputIt>,                       std::vector</*iter-value-type*/<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から)

std::priority_queue について、以下の推論ガイドが提供されています。

1-6) 基底コンテナの型、およびイテレータ範囲からの推論を許可します。 /*iter-value-type*/<It> は、任意の型Itに対する typename std::iterator_traits<It>::value_type を表します。

7-9) std::from_range_t タグと input_range からの推論を許可します。

これらのオーバーロードは、以下の場合にのみオーバーロード解決に参加します。

• InputIt は LegacyInputIterator を満たし、
• Comp は Allocator を満たさず、
• Container は Allocator を満たさない場合。
• オーバーロード (4,5) については、(C++23以降) Alloc は Allocator を満たし、
• オーバーロード (3,6) については、std::uses_allocator_v<Container, Alloc> が true である場合。

注: ライブラリが型が LegacyInputIterator を満たさないと判断する範囲は未規定ですが、最小限として、整数型は入力イテレータとして適格ではありません。同様に、型が Allocator を満たさないと判断する範囲も未規定ですが、最小限として、メンバ型Alloc::value_typeが存在し、式 std::declval<Alloc&>().allocate(std::size_t{}) が評価されないオペランドとしてwell-formedである必要があります。

注釈

機能テストマクロ	値	規格	機能
__cpp_lib_containers_ranges	202202L	(C++23)	Ranges対応の構築と挿入; オーバーロード (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	イテレータとアロケータからの推論ガイドが欠落していました	追加された