Namespaces
Variants

std::contracts::evaluation_semantic

来自 zh.cppreference.net
< cpp契约
 
 
 
 
定义于头文件<contracts>
enum class evaluation_semantic : /* unspecified */ {
    ignore = 1,
    observe = 2,
    enforce = 3,
    quick_enforce = 4
};
(自C++26起)

枚举器 std::contracts::evaluation_semantic 对应于合同断言可被评估的 评估语义,其含义如下所列:

枚举器 含义
ignore 契约断言在“忽略”语义下评估
observe 契约断言在“观察”语义下评估
enforce 契约断言在“强制执行”语义下评估
quick_enforce 契约断言在“快速强制执行”语义下评估

另请参阅

保存契约违反信息的类型
(类)
被违反的契约断言类型
(枚举)
导致契约违反的原因
(枚举)