Spec-Zone.ru › C++

направляющие вывода для std::queue

Определено в заголовке <queue>
template< class Container >
queue( Container )
    -> queue<typename Container::value_type, Container>;
(1) (начиная с C++17)
template< class Container, class Alloc >
queue( Container, Alloc )
    -> queue<typename Container::value_type, Container>;
(2) (начиная с C++17)
template< class InputIt >
queue( InputIt, InputIt )
    -> queue<typename std::iterator_traits<InputIt>::value_type>;
(3) (начиная с C++23)
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>>;
(4) (начиная с C++23)
template< ranges::input_range R >
queue( std::from_range_t, R&& )
    -> queue<ranges::range_value_t<R>>;
(5) (начиная с C++23)
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>>;
(6) (начиная с C++23)

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

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,
  • для перегрузки (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{}) должно быть корректным при использовании в контексте невычисляемого операнда.

Примечания

Макрос проверки наличия функции Значение Стандарт Функция
__cpp_lib_adaptor_iterator_pair_constructor 202106L (C++23) Конструкторы из пары итераторов для std::queue и std::stack; перегрузки (3,4)
__cpp_lib_containers_ranges 202202L (C++23) Создание и вставка с поддержкой диапазонов; перегрузки (5,6)

Пример

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

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/container/queue/deduction_guides

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API