std::stack の推論ガイド

 

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::stack

メンバ関数

stack::stack

stack::~stack

stack::operator=

要素アクセス

stack::top

容量

stack::empty

stack::size

変更

stack::push

stack::push_range (C++23)

stack::emplace (C++11)

stack::pop

stack::swap (C++11)

非メンバ関数

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

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

ヘルパークラス

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

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

推論補助(C++17)

 

ヘッダ <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)(C++23 まで)(4)(C++23 以降) の場合、Alloc は Allocator を満たし、
• std::uses_allocator_v<Container, Alloc> は、Container と Alloc の両方が存在する場合に true になります。

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

注記

機能テストマクロ	値	規格	機能
__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>>
}