Espacios de nombres
Variantes

    deduction guides for std::priority_queue

    De cppreference.com
     
    C++
    Apoyo de compiladores
    Implementaciones independientes y albergadas
    Lenguaje
    Biblioteca estándar
    Encabezados de la biblioteca estándar
    Requisitos denominados
    Macros de prueba de característica (C++20)
    Biblioteca de apoyo del lenguaje
    Biblioteca de conceptos (C++20)
    Biblioteca de diagnósticos
    Biblioteca de gestión de memoria
    Biblioteca de metaprogramación (C++11)
    Biblioteca de servicios generales
    Biblioteca de contenedores
    Biblioteca de iteradores
    Biblioteca de rangos (C++20)
    Biblioteca de algoritmos
    Biblioteca de cadenas
    Biblioteca de procesamiento de texto
    Biblioteca numérica
    Biblioteca de fecha y hora
    Biblioteca de entrada/salida
    Biblioteca del sistema de archivos (C++17)
    Biblioteca de apoyo de concurrencia (C++11)
    Biblioteca de apoyo de ejecución (C++26)
    Especificaciones técnicas
    Índice de símbolos
    Bibliotecas externas
     
    Biblioteca de contenedores
     
    std::priority_queue
     
    <tbody> </tbody>
    Definido en el archivo de encabezado <queue>
    template <class Comp, class Container> priority_queue(Comp, Container) -> priority_queue<typename Container::value_type, Container, Comp>;
    		 (1) (desde C++17)
    template<class InputIt, class Comp = std::less</*tipo-valor-de-iter*/<InputIt>>, class Container = std::vector</*tipo-valor-de-iter*/<InputIt>> priority_queue(InputIt, InputIt, Comp = Comp(), Container = Container()) -> priority_queue</*tipo-valor-de-iter*/<InputIt>, Container, Comp>;
    		 (2) (desde C++17)
    template<class Comp, class Container, class Alloc> priority_queue(Comp, Container, Alloc) -> priority_queue<typename Container::value_type, Container, Comp>;
    		 (3) (desde C++17)
    template<class InputIt, class Alloc> priority_queue(InputIt, InputIt, Alloc) -> priority_queue</*tipo-valor-de-iter*/<InputIt>, std::vector</*tipo-valor-de-iter*/<InputIt>, Alloc>, std::less</*tipo-valor-de-iter*/<InputIt>>>;
    		 (4) (desde C++17)
    template<class InputIt, class Comp, class Alloc> priority_queue(InputIt, InputIt, Comp, Alloc) -> priority_queue</*tipo-valor-de-iter*/<InputIt>, std::vector</*tipo-valor-de-iter*/<InputIt>, Alloc>, Comp>;
    		 (5) (desde 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) (desde C++17)
    See More

    Estas guías de deducción se proporcionan para std::priority_queue para permitir la deducción a partir del tipo de contenedor subyacente y de un rango de iteradores. /*tipo-valor-de-iter*/<It> denota typename std::iterator_traits<It>::value_type para cualquier tipo It.

    Estas sobrecargas solo participan en la resolución de sobrecargas si

    • InputIt satisface InputIterator,
    • Comp no satisface Allocator,
    • Container no satisface Allocator,
    • Para las sobrecargas (4) y (5), (desde C++23) Alloc satisface Allocator, y
    • Para las sobrecargas (3) y (6), std::uses_allocator_v<Container, Alloc> es true.

    Nota: no se especifica hasta qué grado la biblioteca determina que un tipo no satisface a IteradorDeEntradaLegado, excepto que, como mínimo, los tipos enteros no califican como iteradores de entrada. Del mismo modo, no se especifica en qué medida se determina que un tipo no satisface a Allocator, excepto que, como mínimo, el tipo miembro Alloc::value_type debe existir y la expresión std::declval<Alloc &>().allocate(std::size_t{}) debe estar bien formada cuando se trate como un operando no evaluado.

    Ejemplo

    Ejecuta este código
    #include <queue>
#include <vector>
#include <iostream>
#include <functional>

int main() {
    const std::vector<int> v = {1,2,3,4};
    std::priority_queue pq1{std::greater<int>{}, v}; // deduce 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()}; // deduce std::priority_queue<int>

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

    Salida: 

    1 2 3 4
4 3 2 1

    Informes de defectos

    Los siguientes informes de defectos de cambio de comportamiento se aplicaron de manera retroactiva a los estándares de C++ publicados anteriormente.

    ID Aplicado a Comportamiento según lo publicado Comportamiento correcto
    LWG 3506 C++17 Faltaban las guías de deducción a partir de un iterador y asignador de memoria. Se agregaron.