C++ named requirements: Compare

From es.cppreference.net

Compare es un conjunto de requisitos esperados por algunas de las facilidades de la biblioteca estándar para los tipos de objetos función proporcionados por el usuario.

El valor de retorno de la operación de llamada a función aplicada a un objeto de un tipo que satisface Compare , cuando se convierte a bool , produce true si el primer argumento de la llamada aparece antes que el segundo en la relación de ordenamiento estricto débil inducida por este tipo, y false en caso contrario.

Como con cualquier BinaryPredicate , la evaluación de esa expresión no puede llamar a funciones no constantes a través de los iteradores desreferenciados y, sintácticamente, la operación de llamada a función debe aceptar const argumentos de objeto, con el mismo comportamiento independientemente de si los argumentos son const o no const .

Requisitos

El tipo T satisface Compare si

El tipo T satisface BinaryPredicate , y

Dado

comp , un objeto de tipo T ,
equiv ( a, b ) , una expresión-equivalente a ! comp ( a, b ) && ! comp ( b, a ) .

Las siguientes expresiones deben ser válidas y tener sus efectos especificados:

Expresión Tipo de retorno Requisitos

comp ( a, b )

cumple con BooleanTestable	(hasta C++20)
modela `boolean-testable`	(desde C++20)

Establece una relación de ordenamiento débil estricto con las siguientes propiedades:

Para todo a , comp ( a, a ) == false .
Si comp ( a, b ) == true entonces comp ( b, a ) == false .
Si comp ( a, b ) == true y comp ( b, c ) == true entonces comp ( a, c ) == true .

equiv ( a, b )

bool

Establece una relación de equivalencia con las siguientes propiedades:

Para todo a , equiv ( a, a ) == true .
Si equiv ( a, b ) == true , entonces equiv ( b, a ) == true .
Si equiv ( a, b ) == true y equiv ( b, c ) == true , entonces equiv ( a, c ) == true .

Nota: comp induce un orden total estricto en las clases de equivalencia determinadas por equiv .

Biblioteca estándar

Las siguientes facilidades de la biblioteca estándar esperan un tipo Compare.

set	colección de claves únicas, ordenadas por claves (plantilla de clase)
	map colección de pares clave-valor, ordenados por claves, las claves son únicas
(plantilla de clase)	multiset
colección de claves, ordenadas por claves	(plantilla de clase)
multimap	colección de pares clave-valor, ordenados por claves (plantilla de clase)
	priority_queue adapta un contenedor para proporcionar una cola de prioridad &(plantilla de clase)
sort
ordena un rango de elementos	(plantilla de función objeto función de algoritmo)`std::forward_list<T,Allocator>`
ranges::sort	(C++20) sort`std::list<T,Allocator>`ordena los elementos
(función miembro pública de	) &sort
ordena los elementos (función miembro pública de	) &sort
)	stable_sort&ordena un rango de elementos preservando el orden relativo entre elementos equivalentes
(plantilla de función objeto función de algoritmo)
	ranges::stable_sort (C++20)&
partial_sort ordena los primeros N elementos de un rango	ranges::stable_sort (C++20)&
(plantilla de función objeto función de algoritmo)	ranges::partial_sort&(C++20)
partial_sort_copy	ranges::partial_sort&(C++20)
copia y ordena parcialmente un rango de elementos (plantilla de función	objeto función de algoritmo) &ranges::partial_sort_copy
(C++20)	objeto función de algoritmo) &ranges::partial_sort_copy
is_sorted	(C++11) comprueba si un rango está ordenado&(plantilla de función
objeto función de algoritmo)
ranges::is_sorted	(C++20) &is_sorted_until
(C++11) encuentra el mayor subrango ordenado	(C++20) &is_sorted_until
(plantilla de función	objeto función de algoritmo) &ranges::is_sorted_until
(C++20)	objeto función de algoritmo) &ranges::is_sorted_until
nth_element	encuentra el elemento N si el rango estuviera ordenado (plantilla de función & objeto función de algoritmo)
ranges::nth_element
(C++20)	lower_bound&encuentra el primer elemento no menor que el valor dado usando búsqueda binaria
(plantilla de función objeto función de algoritmo)
	ranges::lower_bound (C++20)&
upper_bound encuentra el primer elemento mayor que el valor dado usando búsqueda binaria	ranges::lower_bound (C++20)&
(plantilla de función	objeto función de algoritmo) `std::forward_list<T,Allocator>`ranges::upper_bound
(C++20)	binary_search`std::list<T,Allocator>`determina si un elemento existe en un rango usando búsqueda binaria
(plantilla de función	objeto función de algoritmo) &ranges::binary_search
(C++20)	objeto función de algoritmo) &ranges::binary_search
equal_range	encuentra el rango de elementos que coinciden con el valor dado usando búsqueda binaria (plantilla de función & objeto función de algoritmo)
ranges::equal_range
(C++20)	merge&fusiona dos rangos ordenados
(plantilla de función objeto función de algoritmo)	merge&fusiona dos rangos ordenados
	ranges::merge (C++20)&
merge fusiona dos listas ordenadas	ranges::merge (C++20)&
(función miembro pública de	) &merge
fusiona dos listas ordenadas (función miembro pública de	) &merge
)	inplace_merge&fusiona dos rangos ordenados en el lugar
(plantilla de función objeto función de algoritmo)	inplace_merge&fusiona dos rangos ordenados en el lugar
	ranges::inplace_merge (C++20)&
includes determina si una secuencia es una subsecuencia de otra	ranges::inplace_merge (C++20)&
(plantilla de función	objeto función de algoritmo) &ranges::includes
(C++20)	objeto función de algoritmo) &ranges::includes
set_difference	calcula la diferencia entre dos conjuntos (plantilla de función & objeto función de algoritmo)
ranges::set_difference
(C++20)	set_intersection&calcula la intersección de dos conjuntos
(plantilla de función objeto función de algoritmo)	set_intersection&calcula la intersección de dos conjuntos
ranges::set_intersection	(C++20) &set_symmetric_difference
calcula la diferencia simétrica entre dos conjuntos (plantilla de función	(C++20) &set_symmetric_difference
objeto función de algoritmo)	ranges::set_symmetric_difference (C++20)&
set_union calcula la unión de dos conjuntos	ranges::set_symmetric_difference (C++20)&
(plantilla de función	objeto función de algoritmo) &ranges::set_union
(C++20)	objeto función de algoritmo) &ranges::set_union
push_heap	agrega un elemento a un montículo máximo (plantilla de función & objeto función de algoritmo)
ranges::push_heap
(C++20)	pop_heap&elimina el elemento más grande de un montículo máximo
(plantilla de función objeto función de algoritmo)
	ranges::pop_heap (C++20)&
make_heap crea un montículo máximo a partir de un rango de elementos	ranges::pop_heap (C++20)&
(plantilla de función objeto función de algoritmo)	ranges::make_heap&(C++20)
sort_heap	ranges::make_heap&(C++20)
convierte un montículo máximo en un rango de elementos ordenados en orden ascendente (plantilla de función	objeto función de algoritmo) &ranges::sort_heap
(C++20)	objeto función de algoritmo) &ranges::sort_heap
is_heap	(C++11) comprueba si el rango dado es un montículo máximo&(plantilla de función
objeto función de algoritmo)
ranges::is_heap	(C++20) &is_heap_until
(C++11) encuentra el mayor subrango que es un montículo máximo	(C++20) &is_heap_until
(plantilla de función	objeto función de algoritmo) &ranges::is_heap_until
(C++20)	objeto función de algoritmo) &ranges::is_heap_until

Informes de defectos

Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares publicados anteriormente de C++.

DR	Aplicado a	Comportamiento publicado	Comportamiento correcto
LWG 2114 ( P2167R3 )	C++98	la convertibilidad contextual de tipos de retorno a bool no reflejaba la práctica de las implementaciones	requisitos corregidos
LWG 3031	C++98	los requisitos sobre valores const eran insuficientes	requisitos reforzados

Véase también

strict_weak_order (C++20)	especifica que una `relation` impone un ordenamiento estricto débil (concepto)
Operadores de comparación	`<` , `<=` , `>` , `>=` , `==` , `!=` , y `<=>` (C++20) , comparan los argumentos

Compiler support
Freestanding and hosted
Language
Standard library
Standard library headers
Named requirements
Feature test macros (C++20)
Language support library
Concepts library (C++20)
Diagnostics library
Memory management library
Metaprogramming library (C++11)
General utilities library
Containers library
Iterators library
Ranges library (C++20)
Algorithms library
Strings library
Text processing library
Numerics library
Date and time library
Input/output library
Filesystem library (C++17)
Concurrency support library (C++11)
Execution control library (C++26)
Technical specifications
Symbols index
External libraries

es.cppreference.net

Namespaces