руководства по выводу для std::stack

template< class Container >
stack( Container )
    -> stack<typename Container::value_type, Container>;

template< class Container, class Alloc >
stack( Container, Alloc )
    -> stack<typename Container::value_type, Container>;

template< class InputIt >
stack( InputIt, InputIt )
    -> stack<typename std::iterator_traits<InputIt>::value_type>;

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>>;

template< ranges::input_range R >
stack( std::from_range_t, R&& )
    -> stack<ranges::range_value_t<R>>;

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>>;

Для stack предоставлены следующие руководства по выводу, позволяющие вывести тип на основе типа базового контейнера.

Эти перегрузки участвуют в разрешении перегрузки только в том случае, если

• InputIt (если существует) удовлетворяет требованиям LegacyInputIterator,
• Container (если существует) не удовлетворяет требованиям Allocator,
• для перегрузки (2)(до C++23)перегрузок (4,6)(начиная с 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{}) должно быть корректным при рассмотрении в качестве невычисляемого операнда.

Примечания

Пример

#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>>
}