std::contracts::detection_mode
De es.cppreference.net
| Definido en el encabezado <contracts>
|
||
enum class detection_mode : /* unspecified */ {
predicate_false = 1,
evaluation_exception = 2
};
|
(desde C++26) | |
Los enumeradores de std::contracts::detection_mode corresponden a las razones que causan que la violación del contrato ocurra bajo un contexto que no es evaluado constantemente de manera manifiesta, con los significados listados a continuación:
| Enumerador | Significado |
predicate_false
|
la violación del contrato ocurre porque el resultado del predicado es false
|
evaluation_exception
|
la violación del contrato ocurre porque la evaluación del predicado sale mediante una excepción |
Notas
Si ocurre una violación de contrato en un contexto que está manifiestamente evaluado como constante, el manejador de violación de contrato no se invoca.
Véase también
|
(C++26)
|
el tipo que contiene la información de violación de contrato
(clase) |
|
(C++26)
|
el tipo de aserción de contrato violada
(enum) |
|
(C++26)
|
la semántica de evaluación cuando ocurre la violación de contrato
(enum) |