Apoyo de contratos (C++26)

 

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) Macros de prueba de característica de la biblioteca (C++20) Servicios de programa Funciones variádicas initializer_list (C++11) is_constant_evaluated (C++20) is_within_lifetime (C++26) source_location (C++20) Apoyo de corrutinas (C++20) Apoyo de contratos (C++26) Comparación de tres vías (C++20) 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)

 

Apoyo de contratos

Información sobre violaciones de contratos

contract_violation (C++26)

assertion_kind (C++26)

evaluation_semantic (C++26)

detection_mode (C++26)

Funciones auxiliares

invoke_default_contract_violation_handler (C++26)

 

La biblioteca de apoyo de contratos define varios tipos para informar sobre violaciones de contratos.

Información sobre violaciones de contratos

Definido en el encabezado <contracts>
Definido en el espacio de nombres std::contracts
contract_violation (C++26)	El tipo que contiene la información sobre la violación de contrato. (clase)
assertion_kind (C++26)	El tipo de aserción de contrato violada. (enum)
evaluation_semantic (C++26)	La semántica de evaluación cuando ocurre la violación de contrato. (enum)
detection_mode (C++26)	La razón que causa la violación de contrato. (enum)

Funciones auxiliares

Definido en el encabezado <contracts>
Definido en el espacio de nombres std::contracts
invoke_default_contract_violation_handler (C++26)	Invoca el controlador de violaciones de contratos por defecto. (función)

Notas

Macro de Prueba de característica	Valor	Estándar	Comentario
__cpp_lib_contracts	202502L	(C++26)	Biblioteca de apoyo de contratos