std::contracts:: detection_mode
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Contract-violation information | ||||
|
(C++26)
|
||||
|
(C++26)
|
||||
|
(C++26)
|
||||
|
detection_mode
(C++26)
|
||||
| Helper functions | ||||
|
Definido en el encabezado
<contracts>
|
||
|
enum
class
detection_mode
:
/* unspecified */
{
predicate_false
=
1
,
|
(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 está
manifiestamente evaluado como constante
, 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 termina 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) |