Руководства по выводу типов для 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,
• для (3)(до C++23)(4)(с 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>>
}