Namespaces
Variants

std::contracts:: evaluation_semantic

From cppreference.net
Utilities library
Contract support
Contract-violation information
evaluation_semantic
(C++26)
Helper functions
定义于头文件 <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 合约断言以“快速强制”语义进行评估

另请参阅

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