Namespaces
Variants

    std::contracts::detection_mode

    De fr.cppreference.net
     
    C++
    Support du compilateur
    Autonome 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 du langage
    Bibliothèque de concepts (C++20)
    Bibliothèque de diagnostics
    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 du système de fichiers (C++17)
    Bibliothèque de support de la 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 du langage
    Support des 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 (obsolète en C++20)
     
    Support des contrats
    Informations sur la violation de contrat
    (C++26)
    (C++26)
    (C++26)
    (C++26)
    Fonctions d'aide
    (C++26)
     
    Défini dans l'en-tête <contracts> 
    enum class detection_mode : /* unspecified */ {
    predicate_false = 1,
    evaluation_exception = 2
};
    		(depuis C++26)

    Les énumérateurs de std::contracts::detection_mode correspondent aux raisons qui provoquent la violation de contrat dans un contexte qui n'est pas manifestement évalué de manière constante, avec les significations listées ci-dessous :

    Énumérateur Signification
    predicate_false la violation de contrat se produit car le résultat du prédicat est false
    evaluation_exception la violation de contrat se produit car l'évaluation du prédicat se termine par une exception

    Notes

    Si une violation de contrat se produit dans un contexte manifestement évalué de manière constante, le gestionnaire de violation de contrat n'est pas invoqué.

    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 sémantique d'évaluation lors de la violation de contrat
    (énumération)