std::contracts::detection_mode

来自cppreference.com
< cpp‎ | contract
 
 
 
契约支持
契约违背信息
detection_mode
(C++26)
辅助函数
 
在标头 <contracts> 定义
enum class detection_mode : /* 未指定 */ {

    predicate_false = 1,
    evaluation_exception = 2

};
(C++26 起)

std::contracts::detection_mode 的枚举项与导致在明显常量求值语境以外的语境中发生契约违背的原因一一对应:

枚举项 含义
predicate_false 因谓词的结果是 false 而发生契约违背
evaluation_exception 因在对���词求值的过程中抛出异常而发生契约违背

[编辑] 注解

在明显常量求值语境中发生契约违背时不会调用契约违背处理函数

[编辑] 参阅

持有契约违背信息的类型
(类) [编辑]
违背的契约断言的种类
(枚举) [编辑]
发生契约违背时的求值语义
(枚举) [编辑]