std::contracts::detection_mode

std::contracts::detection_mode - cppreference.com

From cppreference.com


`enum class detection_mode : /* unspecified */ { predicate_false = 1, evaluation_exception = 2 };`		(since C++26)

The enumerators of std::contracts::detection_mode correspond to the reasons that cause the contract violation to happen under a context that is not manifestly constant-evaluated, with meanings listed below:

Enumerator	Meaning
`predicate_false`	the contract violation occurs because the result of the predicate is `false`
`evaluation_exception`	the contract violation occurs because the evaluation of the predicate exits via an exception

Notes

If a contract violation occurs in a context that is manifestly constant-evaluated, the contract-violation handler is not invoked.

Notes

See also