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 : /* unspecified */ {

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

} ;
(C++26以降)

std::contracts::evaluation_semantic の列挙子は、以下の意味を持つ 評価セマンティクス に対応します:

列挙子 意味
ignore 契約アサーションが「ignore」セマンティクスで評価される
observe 契約アサーションが「observe」セマンティクスで評価される
enforce 契約アサーションが「enforce」セマンティクスで評価される
quick_enforce 契約アサーションが「quick-enforce」セマンティクスで評価される

関連項目

契約違反情報を保持する型
(クラス)
違反された契約アサーションの種類
(列挙型)
契約違反の原因となった理由
(列挙型)