Namespaces
Variants

    std::contracts::assertion_kind

    Depuis fr.cppreference.net
     
    C++
    Support du compilateur
    Indépendant et hébergé
    Langage
    Bibliothèque standard
    En-têtes de la bibliothèque standard
    Exigences nommées
    Macros de test de fonctionnalités (C++20)
    Bibliothèque de support linguistique
    Bibliothèque de concepts (C++20)
    Bibliothèque de diagnostic
    Bibliothèque de gestion de la mémoire
    Bibliothèque de métaprogrammation (C++11)
    Bibliothèque d'utilitaires généraux
    Bibliothèque de conteneurs
    Bibliothèque d'itérateurs
    Bibliothèque de plages (C++20)
    Bibliothèque d'algorithmes
    Bibliothèque de chaînes
    Bibliothèque de traitement de texte
    Bibliothèque numérique
    Bibliothèque de date et heure
    Bibliothèque d'entrée/sortie
    Bibliothèque de système de fichiers (C++17)
    Bibliothèque de support de concurrence (C++11)
    Bibliothèque de contrôle d'exécution (C++26)
    Spécifications techniques
    Index des symboles
    Bibliothèques externes
     
    Bibliothèque d'utilitaires
    Support linguistique
    Support de types (types de base, RTTI)
    Macros de test de fonctionnalités de la bibliothèque (C++20)
    Utilitaires de programme
    Fonctions variadiques
    (C++11)
    (C++20)
    (C++26)
    (C++20)
    Support des coroutines (C++20)
    Support des contrats (C++26)
    Comparaison à trois voies
    (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)

    Utilitaires généraux
    Opérateurs relationnels (déprécié en C++20)
     
    Support des contrats
    Informations sur les violations de contrat
    (C++26)
    (C++26)
    (C++26)
    (C++26)
    Fonctions auxiliaires
    (C++26)
     
    Défini dans l'en-tête <contracts> 
    enum class assertion_kind : /* unspecified */ {
    pre = 1,
    post = 2,
    assert = 3
};
    		(depuis C++26)

    Les énumérateurs de std::contracts::assertion_kind correspondent aux formes syntaxiques d'une assertion de contrat, avec les significations listées ci-dessous :

    Énumérateur Signification
    pre l'assertion de contrat est une assertion de précondition
    post l'assertion de contrat est une assertion de postcondition
    assert l'assertion de contrat est une instruction contract_assert

    Voir aussi

    (C++26)
    		le type contenant les informations de violation de contrat
    (classe)
    (C++26)
    		la sémantique d'évaluation lors de la violation de contrat
    (énumération)
    (C++26)
    		la raison causant la violation de contrat
    (énumération)