std::strict_weak_order

 

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 conceptos

Conceptos del lenguaje principales
same_as derived_from convertible_to common_reference_with common_with integral signed_integral unsigned_integral floating_point swappableswappable_with destructible constructible_from default_initializable move_constructible copy_constructible assignable_from	Conceptos de comparación equality_comparableequality_comparable_with totally_orderedtotally_ordered_with Conceptos de objetos movable copyable semiregular regular Conceptos invocables invocableregular_invocable predicate relation equivalence_relation strict_weak_order

 

Definido en el archivo de encabezado <concepts>
template<class R, class T, class U > concept strict_weak_order =std::relation<R, T, U>;		(desde C++20)

El concepto strict_weak_order<R, T, U> especifica que la relación (relation) R impone un orden débil estricto a sus argumentos.

Requisitos semánticos

Una relación r es una relación de orden débil estricto si

• es irreflexiva: para toda x, r(x, x) es falsa;
• es transitiva: para toda a, b y c, si tanto r(a, b) como r(b, c) son verdaderas entonces r(a, c) es verdadera;
• dejemos que e(a, b) sea !r(a, b) && !r(b, a), entonces e es transitiva: e(a, b) && e(b, c) implica e(a, c).

Bajo estas condiciones, puede demostrarse que e es una relación de equivalencia, y r induce un orden estricto total en las clases de equivalencia determinadas por e.

Notas

La distinción entre relation y strict_weak_order es puramente semántica.

Referencias

• El estándar C++23 (ISO/IEC 14882:2023):

• 18.7.7 Concepto strict_weak_order [concept.strictweakorder]

• El estándar C++20 (ISO/IEC 14882:2020):

• 18.7.7 Concepto strict_weak_order [concept.strictweakorder]

Véase también

• ComparableEnMenorQue