Namespaces
Variants

deduction guides for std::queue

From cppreference.net

C++
Containers library
std::queue
ヘッダーで定義 <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以降)

これらの deduction guides は 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) (until C++23) (4) (since 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) レンジ対応 の構築と挿入; (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>>
}