Namespaces
Variants

    std::contracts::assertion_kind

    Von de.cppreference.net
     
    C++
     
    Hilfsbibliothek
    Sprachunterstützung
    Typunterstützung (Basistypen, RTTI)
    Bibliotheks-Feature-Test-Makros (C++20)
    Programm-Hilfsmittel
    Variadische Funktionen
    (C++11)
    (C++20)
    (C++26)
    (C++20)
    Coroutine-Unterstützung (C++20)
    Vertragsunterstützung (C++26)
    Dreiwertiger Vergleich
    (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)

    Allgemeine Hilfsmittel
    Relationale Operatoren (veraltet in C++20)
    Integer-Vergleichsfunktionen
    (C++20)(C++20)(C++20)    
    (C++20)
    Swap und Typoperationen
    (C++20)
    (C++14)
    (C++11)
    (C++23)
    (C++11)
    (C++23)
    (C++11)
    (C++11)
    (C++17)
    Gängige Vokabular-Typen
    (C++11)
    (C++17)
    (C++17)
    (C++17)
    (C++11)
    (C++11)
    (C++17)
    (C++17)
    (C++23)



     
    Vertragsunterstützung
    Vertragsverletzungsinformationen
    (C++26)
    (C++26)
    (C++26)
    (C++26)
    Hilfsfunktionen
    (C++26)
     
    Definiert in Header <contracts> 
    enum class assertion_kind : /* unspecified */ {
    pre = 1,
    post = 2,
    assert = 3
};
    		(seit C++26)

    Die Aufzählungswerte von std::contracts::assertion_kind entsprechen den syntaktischen Formen einer Vertragszusicherung mit den unten aufgeführten Bedeutungen:

    Aufzählungswert Bedeutung
    pre die Vertragszusicherung ist eine Vorbedingungszusicherung
    post die Vertragszusicherung ist eine Nachbedingungszusicherung
    assert die Vertragszusicherung ist eine contract_assert-Anweisung

    Siehe auch

    (C++26)
    		der Typ, der die Vertragsverletzungsinformationen enthält
    (Klasse)
    (C++26)
    		die Auswertungssemantik bei Auftreten einer Vertragsverletzung
    (Enumeration)
    (C++26)
    		der Grund, der die Vertragsverletzung verursacht
    (Enumeration)