std::cmp_equal, cmp_not_equal, cmp_less, cmp_greater, cmp_less_equal, cmp_greater_equal

 

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 <utility>
template<class T, class U > constexprbool cmp_equal( T t, U u )noexcept;	(1)	(desde C++20)
template<class T, class U > constexprbool cmp_not_equal( T t, U u )noexcept;	(2)	(desde C++20)
template<class T, class U > constexprbool cmp_less( T t, U u )noexcept;	(3)	(desde C++20)
template<class T, class U > constexprbool cmp_greater( T t, U u )noexcept;	(4)	(desde C++20)
template<class T, class U > constexprbool cmp_less_equal( T t, U u )noexcept;	(5)	(desde C++20)
template<class T, class U > constexprbool cmp_greater_equal( T t, U u )noexcept;	(6)	(desde C++20)

Compara los valores de dos enteros t y u. A diferencia de los operadores de comparación integrados, los enteros negativos con signo siempre se comparan menor que (y no igual que) los enteros con signo: la comparación es segura contra la conversión de enteros con pérdida.

-1> 0u;// verdadero std::cmp_greater(-1, 0u);// falso

Es un error en tiempo de compilación si ya sea T o R no es un tipo entero con signo o sin signo (incluyendo el tipo entero estándar y los tipos enteros extendidos).

Parámetros

t	-	Argumento del lado izquierdo.
u	-	Argumento del lado derecho.

Valor de retorno

1)true si t igual que u.

2)true si t no es igual que u.

3)true si t es menor que u.

4)true si t es mayor que u.

5)true si t es menor o igual que u.

6)true si t es mayor o igual que u.

Posible implementación

template<class T, class U >constexprbool cmp_equal( T t, U u )noexcept{using UT =std::make_unsigned_t<T>;using UU =std::make_unsigned_t<U>;ifconstexpr(std::is_signed_v<T>==std::is_signed_v<U>)return t == u;elseifconstexpr(std::is_signed_v<T>)return t <0?false: UT(t)== u;elsereturn u <0?false: t == UU(u);}   template<class T, class U >constexprbool cmp_not_equal( T t, U u )noexcept{return!cmp_equal(t, u);}   template<class T, class U >constexprbool cmp_less( T t, U u )noexcept{using UT =std::make_unsigned_t<T>;using UU =std::make_unsigned_t<U>;ifconstexpr(std::is_signed_v<T>==std::is_signed_v<U>)return t < u;elseifconstexpr(std::is_signed_v<T>)return t <0?true: UT(t)< u;elsereturn u <0?false: t < UU(u);}   template<class T, class U >constexprbool cmp_greater( T t, U u )noexcept{return cmp_less(u, t);}   template<class T, class U >constexprbool cmp_less_equal( T t, U u )noexcept{return!cmp_greater(t, u);}   template<class T, class U >constexprbool cmp_greater_equal( T t, U u )noexcept{return!cmp_less(t, u);}

Notas

Estas funciones no pueden usarse para comparar std::byte, char, char8_t, char16_t, char32_t, wchar_t y bool.

Ejemplo

El ejemplo siguiente podría producir una advertencia comparación de signo distinto si se compila sin una bandera de supresión de advertencia apropiada, p. ej., -Wno-sign-compare (gcc/clang).

Ejecuta este código

#include <utility>   int main(){ static_assert( sizeof(int)==4);// precondición   // Muy sorprendente static_assert(-1> 1U );// ya que después de una conversión implícita de -1 al tipo// del lado derecho (`unsigned int`) la expresión es equivalente a: static_assert( 0xFFFFFFFFU > 1U ); static_assert( 0xFFFFFFFFU ==static_cast<unsigned>(-1));   // En contraste, la familia cmp_* compara enteros como se espera:// los enteros con signo negativo siempre se comparan menores que los// los enteros sin signo: static_assert( std::cmp_less(-1, 1U )); static_assert( std::cmp_less_equal(-1, 1U )); static_assert(! std::cmp_greater(-1, 1U )); static_assert(! std::cmp_greater_equal(-1, 1U ));}