Namespaces
Variants

    std::contracts::assertion_kind

    De es.cppreference.net
     
    C++
    Soporte del compilador
    Implementaciones independientes y alojadas
    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ósticos
    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 de 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)
     
    Definido en el encabezado <contracts> 
    enum class assertion_kind : /* unspecified */ {
    pre = 1,
    post = 2,
    assert = 3
};
    		(desde C++26)

    Los enumeradores de std::contracts::assertion_kind corresponden a las formas sintácticas de una aserción de contrato, con los significados listados a continuación:

    Enumerador Significado
    pre la aserción de contrato es una aserción de precondición
    post la aserción de contrato es una aserción de postcondición
    assert la aserción de contrato es una contract_assert declaración

    Véase también

    (C++26)
    		el tipo que contiene la información de violación de contrato
    (clase)
    (C++26)
    		la semántica de evaluación cuando ocurre la violación de contrato
    (enum)
    (C++26)
    		la razón que causa la violación de contrato
    (enum)