Руководства по выводу для `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-value-type/<InputIt>>, class Container = std::vector</iter-value-type/<InputIt> > priority_queue( InputIt, InputIt, Comp = Comp(), Container = Container() ) -> priority_queue</iter-value-type/<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-value-type/<InputIt>, std::vector</iter-value-type/<InputIt>, Alloc>, std::less</iter-value-type/<InputIt>>>;	(4)	(с C++17)
template< class InputIt, class Comp, class Alloc > priority_queue( InputIt, InputIt, Comp, Alloc ) -> priority_queue</iter-value-type/<InputIt>, std::vector</iter-value-type/<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)

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

1-6) Разрешают вывод из базового типа контейнера и из диапазона итераторов. /*iter-value-type*/<It> обозначает typename std::iterator_traits<It>::value_type для любого типа It.

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`	Значение	Std	Функция
`__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	Руководства по выводу от итератора и аллокатора отсутствовали	добавлены

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

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

Примечания

Пример

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

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