std::contracts::evaluation_semantic

来自cppreference.com
< cpp‎ | contract
 
C++
 
工具库
通用工具
关系运算符 (C++20 弃用)
 
契约支持
契约违背信息
(C++26)
(C++26)
evaluation_semantic
(C++26)
(C++26)
辅助函数
(C++26)
 
在标头 <contracts> 定义
enum class evaluation_semantic : /* 未指定 */ {

    ignore = 1,
    observe = 2,
    enforce = 3,
    quick_enforce = 4

};
 (C++26 起)

std::contracts::evaluation_semantic 的枚举项与对契约断言求值时的求值语义一一对应，含义如下：

枚举项 含义
ignore 契约断言在“忽略”语义下进行求值
observe 契约断言在“观察”语义下进行求值
enforce 契约断言在“强制”语义下进行求值
quick_enforce 契约断言在“快速强制”语义下进行求值

[编辑] 参阅

(C++26)
 持有契约违背信息的类型
(类) [编辑]
(C++26)
 违背的契约断言的种类
(枚举) [编辑]
(C++26)
 导致契约违背的原因
(枚举) [编辑]
来自“https://zh.cppreference.com/mwiki/index.php?title=cpp/contract/evaluation_semantic&oldid=100041”