std::contracts:: detection_mode
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Contract-violation information | ||||
|
(C++26)
|
||||
|
(C++26)
|
||||
|
(C++26)
|
||||
|
detection_mode
(C++26)
|
||||
| Helper functions | ||||
|
Défini dans l'en-tête
<contracts>
|
||
|
enum
class
detection_mode
:
/* unspecified */
{
predicate_false
=
1
,
|
(depuis C++26) | |
Les énumérateurs de
std::contracts::detection_mode
correspondent aux raisons qui provoquent la violation du contrat dans un contexte qui n'est pas
manifestement constant-évalué
, avec les significations listées ci-dessous :
| Énumérateur | Signification |
predicate_false
|
la violation du contrat se produit parce que le résultat du prédicat est false |
evaluation_exception
|
la violation du contrat se produit parce que 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) |