deduction guides for std::priority_queue

 

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

De secuencias

array (C++11)

vector

vector<bool>

inplace_vector (C++26)

deque

forward_list (C++11)

list

Asociativos

set

multiset

map

multimap

Asociativos no ordenados

unordered_set (C++11)

unordered_multiset (C++11)

unordered_map (C++11)

unordered_multimap (C++11)

Adaptadores

stack

queue

priority_queue

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

Vistas

span (C++20)

mdspan (C++23)

Tablas

Invalidación de iteradores

Tabla de funciones miembro

Tabla de funciones no miembro

 

std::priority_queue

Funciones miembro

priority_queue::priority_queue

priority_queue::~priority_queue

priority_queue::operator=

Acceso a elementos

priority_queue::top

Capacidad

priority_queue::empty

priority_queue::size

Modificadores

priority_queue::push

priority_queue::emplace (C++11)

priority_queue::pop

priority_queue::swap (C++11)

Funciones no miembro

std::swap (C++11)

Guías de deducción(C++17)

 

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)

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 typenamestd::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(){conststd::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.