std::contracts::evaluation_semantic
Depuis fr.cppreference.net
| Défini dans l'en-tête <contracts>
|
||
enum class evaluation_semantic : /* unspecified */ {
ignore = 1,
observe = 2,
enforce = 3,
quick_enforce = 4
};
|
(depuis C++26) | |
Les énumérateurs de std::contracts::evaluation_semantic correspondent aux sémantiques d'évaluation avec lesquelles une assertion de contrat peut être évaluée, dont les significations sont listées ci-dessous :
| Énumérateur | Signification |
ignore
|
l'assertion de contrat est évaluée avec la sémantique « ignore » |
observe
|
l'assertion de contrat est évaluée avec la sémantique « observe » |
enforce
|
l'assertion de contrat est évaluée avec la sémantique « enforce » |
quick_enforce
|
l'assertion de contrat est évaluée avec la sémantique « quick-enforce » |
Voir aussi
|
(C++26)
|
le type contenant les informations de violation de contrat
(classe) |
|
(C++26)
|
le type d'assertion de contrat violée
(énumération) |
|
(C++26)
|
la raison causant la violation de contrat
(énumération) |