deduction guides for std::priority_queue

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.

[editar] Ejemplo

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

1 2 3 4
4 3 2 1

[editar] 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.