Namespaces
Variants

std::contracts:: detection_mode

From cppreference.net
Utilities library
Contract support
Contract-violation information
detection_mode
(C++26)
Helper functions
Определено в заголовочном файле <contracts>
enum class detection_mode : /* unspecified */ {

predicate_false = 1 ,
evaluation_exception = 2

} ;
(начиная с C++26)

Перечислители std::contracts::detection_mode соответствуют причинам, вызывающим нарушение контракта в контексте, который не является явно константно-вычисляемым , со значениями, перечисленными ниже:

Перечислитель Значение
predicate_false нарушение контракта происходит из-за того, что результат предиката равен false
evaluation_exception нарушение контракта происходит из-за того, что вычисление предиката завершается через исключение

Примечания

Если нарушение контракта происходит в контексте, который является явно константно-вычисляемым, обработчик нарушения контракта не вызывается.

Смотрите также

тип, содержащий информацию о нарушении контракта
(класс)
тип нарушенного контрактного утверждения
(перечисление)
семантика вычисления при возникновении нарушения контракта
(перечисление)