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 : /* 未指定 */ {

predicate_false = 1 ,
evaluation_exception = 2

} ;
(C++26 起)

std::contracts::detection_mode 的枚举值对应导致合约违规在非 显式常量求值 上下文中发生的原因,其含义如下所示:

枚举项 含义
predicate_false 合约违反发生的原因是谓词结果为 false
evaluation_exception 合约违反发生的原因是谓词求值过程通过异常退出

注释

如果在明显常量求值的上下文中发生契约违反,则不会调用 契约违反处理器

参见

保存契约违反信息的类型
(类)
被违反的契约断言类型
(枚举)
契约违反发生时的求值语义
(枚举)