std::contracts::detection_mode
Определён в заголовочном файле <contracts> | ||
|---|---|---|
enum class detection_mode : /* unspecified */ {
predicate_false = 1,
evaluation_exception = 2
};
| (начиная с C++26) |
Элементы перечисления std::contracts::detection_mode соответствуют причинам возникновения нарушения контракта в контексте, который не является явно вычисляемым как константное выражение; их значения перечислены ниже:
| Элемент перечисления | Значение |
|---|---|
predicate_false | нарушение контракта происходит, потому что результат предиката — false |
evaluation_exception | нарушение контракта происходит, потому что вычисление предиката завершается исключением |
Примечания
Если нарушение контракта происходит в контексте, явно вычисляемом как константное выражение, обработчик нарушения контракта не вызывается.
См. также
|
(C++26) | тип, хранящий сведения о нарушении контракта (класс) |
|
(C++26) | тип нарушенного утверждения контракта (перечисление) |
|
(C++26) | семантика вычисления при возникновении нарушения контракта (перечисление) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/contract/detection_mode
