Namespaces
Variants

    Soporte de contratos (C++26)

    De es.cppreference.net
    < cpp
     
    C++
    Soporte del compilador
    Freestanding y hosted
    Lenguaje
    Biblioteca estándar
    Encabezados de la biblioteca estándar
    Requisitos nombrados
    Macros de prueba de características (C++20)
    Biblioteca de soporte del lenguaje
    Biblioteca de conceptos (C++20)
    Biblioteca de diagnóstico
    Biblioteca de gestión de memoria
    Biblioteca de metaprogramación (C++11)
    Biblioteca de utilidades 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 soporte de concurrencia (C++11)
    Biblioteca de control de ejecución (C++26)
    Especificaciones técnicas
    Índice de símbolos
    Bibliotecas externas
     
    Biblioteca de utilidades
    Soporte del lenguaje
    Soporte de tipos (tipos básicos, RTTI)
    Macros de prueba de características de la biblioteca (C++20)
    Utilidades del programa
    Funciones variádicas
    (C++11)
    (C++20)
    (C++26)
    (C++20)
    Soporte de corrutinas (C++20)
    Soporte de contratos (C++26)
    Comparación de tres vías
    (C++20)(C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)    
    (C++20)(C++20)(C++20)    
    (C++20)(C++20)(C++20)

    Utilidades generales
    Operadores relacionales (obsoleto en C++20)
     
    Soporte de contratos
    Información de violación de contrato
    (C++26)
    (C++26)
    (C++26)
    (C++26)
    Funciones auxiliares
    (C++26)
     

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

    Información sobre violación de contrato

    Definido en el encabezado <contracts>
    Definido en el espacio de nombres std::contracts
    (C++26)
    		el tipo que contiene la información de violación de contrato
    (clase)
    (C++26)
    		el tipo de aserción de contrato violada
    (enumeración)
    (C++26)
    		la semántica de evaluación cuando ocurre la violación de contrato
    (enumeración)
    (C++26)
    		la razón que causa la violación de contrato
    (enumeración)

    Funciones auxiliares

    Definido en el encabezado <contracts>
    Definido en el espacio de nombres std::contracts
    (C++26)
    		invoca el manejador predeterminado de violación de contrato
    (función)

    Notas

    Macro de prueba de características Valor Estándar Característica
    __cpp_lib_contracts 202502L (C++26) Biblioteca de soporte para contratos