Namespaces
Variants

deduction guides for std::stack

From cppreference.net

C++
Containers library
std::stack
定義済みヘッダー <stack>
template < class Container >

stack ( Container )

- > stack < typename Container :: value_type , Container > ;
(1) (C++17以降)
template < class Container, class Alloc >

stack ( Container, Alloc )

- > stack < typename Container :: value_type , Container > ;
(2) (C++17以降)
template < class InputIt >

stack ( InputIt, InputIt )

- > stack < typename std:: iterator_traits < InputIt > :: value_type > ;
(3) (C++23以降)
template < class InputIt, class Alloc >

stack ( InputIt, InputIt, Alloc )
- > stack < 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 >

stack ( std:: from_range_t , R && )

- > stack < ranges:: range_value_t < R >> ;
(5) (C++23以降)
template < ranges:: input_range R, class Allocator >

stack ( std:: from_range_t , R && , Allocator )
- > stack < ranges:: range_value_t < R > ,

std:: deque < ranges:: range_value_t < R > , Allocator >> ;
(6) (C++23以降)

これらの デダクションガイド は、 stack が基となるコンテナ型からの推論を可能にするために提供されています。

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 <stack>
#include <vector>
int main()
{
    std::vector<int> v = {1, 2, 3, 4};
    std::stack s{v}; // guide #1 deduces std::stack<int, vector<int>>
}