Namespaces
Variants

std::contracts::evaluation_semantic

Von de.cppreference.net
 
 
Dienstprogrammbibliothek
Sprachunterstützung
Typunterstützung (Basistypen, RTTI)
Bibliotheks-Feature-Test-Makros (C++20)
Programm-Dienstprogramme
Variadische Funktionen
Koroutinenunterstützung (C++20)
Vertragsunterstützung (C++26)
Drei-Wege-Vergleich
(C++20)
(C++20)(C++20)(C++20)    
(C++20)(C++20)(C++20)

Allgemeine Dienstprogramme
Relationale Operatoren (veraltet in C++20)
Ganzzahlvergleichsfunktionen
(C++20)(C++20)(C++20)    
(C++20)
Swap- und Typoperationen
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
Allgemeine Vokabular-Typen
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)
(C++23)



 
Vertragsunterstützung
Vertragsverletzungsinformationen
Hilfsfunktionen
 
Definiert in Header <contracts>
enum class evaluation_semantic : /* unspecified */ {
    ignore = 1,
    observe = 2,
    enforce = 3,
    quick_enforce = 4
};
(seit C++26)

Die Enumeratoren von std::contracts::evaluation_semantic entsprechen der Auswertungssemantik, mit der eine Vertragsbehauptung ausgewertet werden kann, mit den folgenden Bedeutungen:

Enumerator Bedeutung
ignore die Vertragsbehauptung wird unter der Semantik „ignore“ ausgewertet
observe die Vertragsbehauptung wird unter der Semantik „observe“ ausgewertet
enforce die Vertragsbehauptung wird unter der Semantik „enforce“ ausgewertet
quick_enforce die Vertragsbehauptung wird unter der Semantik „quick-enforce“ ausgewertet

Siehe auch

der Typ, der die Vertragsverletzungsinformationen enthält
(Klasse)
die Art der verletzten Vertragsassertion
(Enumeration)
der Grund, der die Vertragsverletzung verursacht
(Enumeration)