std::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::queue

メンバ関数

queue::queue

queue::~queue

queue::operator=

要素アクセス

queue::front

queue::back

容量

queue::empty

queue::size

変更

queue::push

queue::push_range (C++23)

queue::emplace (C++11)

queue::pop

queue::swap (C++11)

非メンバ関数

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

operator==operator!=operator<operator>operator<=operator>=operator<=> (C++20)

ヘルパークラス

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

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

推論補助(C++17)

 

ヘッダー<queue>で定義されています
template< class Container > queue( Container )     -> queue<typename Container::value_type, Container>;	(1)	(C++17以降)
template< class Container, class Alloc > queue( Container, Alloc )     -> queue<typename Container::value_type, Container>;	(2)	(C++17以降)
template< class InputIt > queue( InputIt, InputIt )     -> queue<typename std::iterator_traits<InputIt>::value_type>;	(3)	(C++23から)
template< class InputIt, class Alloc > queue( InputIt, InputIt, Alloc )     -> queue<typename std::iterator_traits<InputIt>::value_type,        std::deque<typename std::iterator_traits<InputIt>::value_type, Alloc>>;	(4)	(C++23から)
template< ranges::input_range R > queue( std::from_range_t, R&& )     -> queue<ranges::range_value_t<R>>;	(5)	(C++23から)
template< ranges::input_range R, class Allocator > queue( std::from_range_t, R&&, Allocator )     -> queue<ranges::range_value_t<R>,        std::deque<ranges::range_value_t<R>, Allocator>>;	(6)	(C++23から)

これらの推論ガイドは、基盤となるコンテナの型からの推論を可能にするために queue に対して提供されます。

1) 引数から基盤となるコンテナの型を推論します。

2) (1) と同じですが、アロケータが提供されます。

3) イテレータから要素の型を推論します。std::deque<typename std::iterator_traits<InputIt>::value_type> を基盤となるコンテナの型として使用します。

4) (3) と同じですが、アロケータが提供されます。

5) std::from_range_t タグと input_range から要素の型を推論します。

6) (5) と同じですが、アロケータが提供されます。

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

• InputIt (存在する場合) は LegacyInputIterator を満たす,
• Container (存在する場合) は Allocator を満たさない,
• （(3)(C++23 まで)(4)(C++23 以降)）、Alloc は Allocator を満たす、そして
• std::uses_allocator_v<Container, Alloc> が true である（`Container` と `Alloc` の両方が存在する場合）。

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

注記

機能テストマクロ	値	規格	機能
__cpp_lib_adaptor_iterator_pair_constructor	202106L	(C++23)	std::queue および std::stack のイテレータペアコンストラクタ。オーバーロード (2) および (4)
__cpp_lib_containers_ranges	202202L	(C++23)	Ranges対応の構築と挿入。オーバーロード (5) および (6)

例

このコードを実行

#include <queue>
#include <vector>
 
int main()
{
    std::vector<int> v = {1, 2, 3, 4};
    std::queue s{v}; // guide #1 deduces std::queue<int, vector<int>>
}