руководства по выводу типа для `std::priority_queue`

Определён в заголовочном файле `<queue>`
template< class Comp, class Container > priority_queue( Comp, Container ) -> priority_queue<typename Container::value_type, Container, Comp>;	(1)	(начиная с C++17)
template< class InputIt, class Comp = std::less</iter-val-t/<InputIt>>, class Container = std::vector</iter-val-t/<InputIt> > priority_queue( InputIt, InputIt, Comp = Comp(), Container = Container() ) -> priority_queue</iter-val-t/<InputIt>, Container, Comp>;	(2)	(начиная с C++17)
template< class Comp, class Container, class Alloc > priority_queue( Comp, Container, Alloc ) -> priority_queue<typename Container::value_type, Container, Comp>;	(3)	(начиная с C++17)
template< class InputIt, class Alloc > priority_queue( InputIt, InputIt, Alloc ) -> priority_queue</iter-val-t/<InputIt>, std::vector</iter-val-t/<InputIt>, Alloc>, std::less</iter-val-t/<InputIt>>>;	(4)	(начиная с C++17)
template< class InputIt, class Comp, class Alloc > priority_queue( InputIt, InputIt, Comp, Alloc ) -> priority_queue</iter-val-t/<InputIt>, std::vector</iter-val-t/<InputIt>, Alloc>, Comp>;	(5)	(начиная с C++17)
template< class InputIt, class Comp, class Container, class Alloc > priority_queue( InputIt, InputIt, Comp, Container, Alloc ) -> priority_queue<typename Container::value_type, Container, Comp>;	(6)	(начиная с C++17)
template< ranges::input_range R, class Comp = std::less<ranges::range_value_t<R>> > priority_queue( std::from_range_t, R&&, Comp = Comp() ) -> priority_queue<ranges::range_value_t<R>, std::vector<ranges::range_value_t<R>>, Comp>;	(7)	(начиная с C++23)
template< ranges::input_range R, class Comp, class Alloc > priority_queue( std::from_range_t, R&&, Comp, Alloc ) -> priority_queue<ranges::range_value_t<R>, std::vector<ranges::range_value_t<R>, Alloc>, Comp>;	(8)	(начиная с C++23)
template< ranges::input_range R, class Alloc > priority_queue( std::from_range_t, R&&, Alloc ) -> priority_queue<ranges::range_value_t<R>, std::vector<ranges::range_value_t<R>, Alloc>>;	(9)	(начиная с C++23)
Вспомогательные псевдонимы типов, используемые только для пояснения
template< class InputIt > using /iter-val-t/ = typename std::iterator_traits<InputIt>::value_type;		(только для пояснения*)

Для std::priority_queue предусмотрены следующие руководства по выводу типа:

1-6) Позволяют выводить тип из типа базового контейнера и диапазона итераторов.

7-9) Позволяют выводить тип из тега std::from_range_t и input_range.

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

InputIt соответствует требованиям LegacyInputIterator,
Comp не соответствует требованиям Allocator,
Container не соответствует требованиям Allocator,
для перегрузок (4,5),(начиная с C++23) Alloc соответствует требованиям Allocator, и
для перегрузок (3,6) std::uses_allocator_v<Container, Alloc> является true.

Примечание: степень, в которой библиотека определяет, что тип не соответствует требованиям LegacyInputIterator, не специфицирована; однако как минимум целочисленные типы не считаются входными итераторами. Аналогично, степень, в которой библиотека определяет, что тип не соответствует требованиям Allocator, не специфицирована; однако как минимум должен существовать тип-член Alloc::value_type, а выражение std::declval<Alloc&>().allocate(std::size_t{}) должно быть корректным, если рассматривать его как невычисляемый операнд.

Примечания

Макрос проверки поддержки возможностей	Значение	Стандарт	Возможность
`__cpp_lib_containers_ranges`	`202202L`	(C++23)	Конструирование и вставка с поддержкой диапазонов; перегрузки (7-9)

Пример

#include <functional>
#include <iostream>
#include <queue>
#include <vector>

int main()
{
    const std::vector<int> v = {1, 2, 3, 4};
    std::priority_queue pq1{std::greater<int>{}, v}; // deduces std::priority_queue<
                                                     //     int, std::vector<int>,
                                                     //     std::greater<int>>
    for (; !pq1.empty(); pq1.pop())
        std::cout << pq1.top() << ' ';
    std::cout << '\n';

    std::priority_queue pq2{v.begin(), v.end()}; // deduces std::priority_queue<int>

    for (; !pq2.empty(); pq2.pop())
        std::cout << pq2.top() << ' ';
    std::cout << '\n';
}

Вывод:

1 2 3 4
4 3 2 1

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.

DR	Применяется к	Опубликованное поведение	Корректное поведение
LWG 3506	C++17	отсутствовали руководства по выводу типа для итератора и аллокатора	добавлены, (4-6)

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

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

Примечания

Пример

Отчёты об ошибках

руководства по выводу типа для `std::priority_queue`