Руководства по выводу типов для std::queue

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

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

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

template< class InputIt, class Alloc >
queue( InputIt, InputIt, Alloc )
    -> queue<typename std::iterator_traits<InputIt>::value_type,
       std::deque<typename std::iterator_traits<InputIt>::value_type, Alloc>>;

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

template< ranges::input_range R, class Allocator >
queue( std::from_range_t, R&&, Allocator )
    -> queue<ranges::range_value_t<R>,
       std::deque<ranges::range_value_t<R>, Allocator>>;

Эти руководства по выводу типов предоставляются для queue для возможности вывода типа из базового типа контейнера.

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

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