deduction guides for std::stack

 

C++

Compiler support

Freestanding and hosted

Language

Standard library headers

Named requirements

Feature test macros (C++20)

Language support library

Concepts library (C++20)

Metaprogramming library (C++11)

Diagnostics library

General utilities library

Strings library

Containers library

Iterators library

Ranges library (C++20)

Algorithms library

Numerics library

Localizations library

Input/output library

Filesystem library (C++17)

Regular expressions library (C++11)

Concurrency support library (C++11)

Technical specifications

Symbols index

External libraries

 

Containers library

Sequence

array (C++11)

vector

deque

forward_list (C++11)

list

Associative

set

multiset

map

multimap

Unordered associative

unordered_set (C++11)

unordered_multiset (C++11)

unordered_map (C++11)

unordered_multimap (C++11)

Adaptors

stack

queue

priority_queue

Views

span (C++20)

 

std::stack

Member functions

stack::stack

stack::~stack

stack::operator=

Element access

stack::top

Capacity

stack::empty

stack::size

Modifiers

stack::push

stack::emplace (C++11)

stack::pop

stack::swap (C++11)

Non-member functions

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

std::swap (C++11)

Deduction guides(C++17)

 

Defined in header <stack>
template< class Container > stack( Container )   -> stack<typename Container::value_type, Container>;	(1)	(since C++17)
template< class InputIt > stack( InputIt, InputIt )   -> stack<typename std::iterator_traits<InputIt>::value_type>;	(2)	(since C++23)
template< class Container, class Alloc > stack( Container, Alloc )   -> stack<typename Container::value_type, Container>;	(3)	(since C++17)
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)	(since C++23)

These deduction guides are provided for stack to allow deduction from underlying container type.

1) Deduces underlying container type from the argument.

2) Deduces the element type from the iterator, using std::deque<typename std::iterator_traits<InputIt>::value_type> as the underlying container type.

3-4) Same as (1-2), except that the allocator is provided.

These overloads participate in overload resolution only if

• InputIt (if exists) satisfies LegacyInputIterator,
• Container (if exists) does not satisfy Allocator,
• for (3) (until C++23)(4) (since C++23), Alloc satisfies Allocator, and
• std::uses_allocator_v<Container, Alloc> is true if both Container and Alloc exist.

Note: the extent to which the library determines that a type does not satisfy LegacyInputIterator is unspecified, except that as a minimum integral types do not qualify as input iterators. Likewise, the extent to which it determines that a type does not satisfy Allocator is unspecified, except that as a minimum the member type Alloc::value_type must exist and the expression std::declval<Alloc&>().allocate(std::size_t{}) must be well-formed when treated as an unevaluated operand.

Example

Run this code

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