std::partial_ordering

 

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 servicios

Apoyo del lenguaje Apoyo de tipos (tipos básicos, RTTI) Biblioteca de macros de prueba de característica (C++20) Servicios del programa Apoyo de corrutinas (C++20) Funciones variádicas is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) Comparación de tres vías three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)   is_eqis_ltis_lteq (C++20)(C++20)(C++20)   is_neqis_gtis_gteq (C++20)(C++20)(C++20)

Servicios generales Objetos función Manipulación de bits (C++20) bitset hash (C++11) Operadores relacionales (en desuso en C++20) rel_ops::operator!=rel_ops::operator>    rel_ops::operator<=rel_ops::operator>= Funciones de comparación de enteros cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) Intercambio y operaciones de tipos swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) Tipos vocabulario comunes pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23)

 

Definido en el archivo de encabezado <compare>
class partial_ordering;		(desde C++20)

El tipo clase std::partial_ordering (ordenamiento parcial) es el tipo resultado de una comparación de tres vías que

• permite todos los seis operadores relacionales (==, !=, <, <=, >, >=);

• permite valores incomparables: a < b, a == b, y a > b pueden todos ser falso.

Constantes

El tipo std::partial_ordering tiene cuatro valores válidos, implementados como datos miembro const static de su tipo:

Constante miembro	Definición
less(inline constexpr) [estático]	Un valor válido de tipo std::partial_ordering que indica una relación menor-que (ordenado antes). (constante miembro pública estática)
equivalent(inline constexpr) [estático]	Un valor válido de tipo std::partial_ordering que indica equivalencia (ordenado ni antes ni después). (constante miembro pública estática)
greater(inline constexpr) [estático]	Un valor válido de tipo std::partial_ordering que indica una relación mayor-que (ordenado después). (constante miembro pública estática)
unordered(inline constexpr) [estático]	Un valor válido de tipo std::partial_ordering que indica una relación con un valor incomparable. (constante miembro pública estática)

Conversiones

std::partial_ordering no puede ser convertido implícitamente a otros tipos de categoría de comparación, mientras que tanto std::strong_ordering como std::weak_ordering son convertibles implícitamente a partial_ordering.

Comparaciones

Los operadores de comparación están definidos entre valores de este tipo y el literal 0. Esto soporta las expresiones a <=> b == 0 o a <=> b < 0, que pueden usarse para convertir el resultado de una comparación de tres vías a una relación Booleana; véase std::is_eq, std::is_lt, etc.

Estas funciones no son visibles a una búsqueda no calificada o calificada, y pueden encontrarse solamente mediante la búsqueda dependiente de argumento cuando std::partial_ordering es una clase asociada de los argumentos.

El comportamiento de un programa que intenta comparar un partial_ordering con cualquier cosa que no sea el literal entero 0 no está definido.

operator==operator<operator>operator<=operator>=operator<=>

Se compara con cero o un partial_ordering. (función)

operator==

friend constexpr bool operator==(partial_ordering v, /*no especificado*/ u) noexcept;	(1)
friend constexpr bool operator==(partial_ordering v, partial_ordering w) noexcept = default;	(2)

Parámetros

v, w	-	Valores std::partial_ordering a comprobar.
u	-	Un parámetro sin usar de cualquier tipo que acepte el literal cero como argumento.

Valor de retorno

1) true si v es equivalent, false si v es less, greater, o unordered.

2) true si ambos parámetros albergan el mismo valor; de lo contrario, false.

operator<

friend constexpr bool operator<(partial_ordering v, /*no especificado*/ u) noexcept;	(1)
friend constexpr bool operator<(/*no especificado*/ u, partial_ordering v) noexcept;	(2)

Parámetros

v	-	Un valor std::partial_ordering a comprobar.
u	-	Un parámetro sin usar de cualquier tipo que acepte el literal cero como argumento.

Valor de retorno

1) true si v es less, y false si v es greater, equivalent, o unordered.

2) true si v es greater, y false si v es less, equivalent, o unordered.

operator<=

friend constexpr bool operator<=(partial_ordering v, /*no especificado*/ u) noexcept;	(1)
friend constexpr bool operator<=(/*no especificado*/ u, partial_ordering v) noexcept;	(2)

Parámetros

v	-	Un valor std::partial_ordering a comprobar.
u	-	Un parámetro sin usar de cualquier tipo que acepte el literal cero como argumento.

Valor de retorno

1) true si v es less o equivalent, y false si v es greater o unordered.

2) true si v es greater o equivalent, y false si v es less o unordered.

operator>

friend constexpr bool operator>(partial_ordering v, /*no especificado*/ u) noexcept;	(1)
friend constexpr bool operator>(/*no especificado*/ u, partial_ordering v) noexcept;	(2)

Parámetros

v	-	Un valor std::partial_ordering a comprobar.
u	-	Un parámetro sin usar de cualquier tipo que acepte el literal cero como argumento.

Valor de retorno

1) true si v es greater, y false si v es less, equivalent, o unordered.

2) true si v es less, y false si v es greater, equivalent, o unordered.

operator>=

friend constexpr bool operator>=(partial_ordering v, /*no especificado*/ u) noexcept;	(1)
friend constexpr bool operator>=(/*no especificado*/ u, partial_ordering v) noexcept;	(2)

Parámetros

v	-	Un valor std::partial_ordering a comprobar.
u	-	Un parámetro sin usar de cualquier tipo que acepte el literal cero como argumento.

Valor de retorno

1) true si v es greater o equivalent, y false si v es less o unordered.

2) true si v es less o equivalent, y false si v es greater o unordered.

operator<=>

friend constexpr partial_ordering operator<=>(partial_ordering v, /*no especificado*/ u) noexcept;	(1)
friend constexpr partial_ordering operator<=>(/*no especificado*/ u, partial_ordering v) noexcept;	(2)

Parámetros

v	-	Un valor std::partial_ordering a comprobar.
u	-	Un parámetro sin usar de cualquier tipo que acepte el literal cero como argumento.

Valor de retorno

1) v.

2) greater si v es less, less si v es greater; de lo contrario, v.

Notas

El operador integrado <=> entre valores de punto flotante utiliza este ordenamiento: el cero positivo y el cero negativo se comparan como equivalentes, pero pueden distinguirse, y los valores NaN se comparan como no ordenados con cualquier otro valor.

Véase también

strong_ordering (C++20)	El tipo del resultado de una comparación de tres vías que soporta todos los 6 operadores y es sustituible. (clase)
weak_ordering (C++20)	El tipo del resultado de una comparación de tres vías que soporta todos los 6 operadores y no es sustituible. (clase)