std::contracts::evaluation_semantic
ja.cppreference.net から
| ヘッダで定義 <contracts>
|
||
enum class evaluation_semantic : /* unspecified */ {
ignore = 1,
observe = 2,
enforce = 3,
quick_enforce = 4
};
|
(C++26以降) | |
の列挙子はstd::contracts::evaluation_semantic に対応する 評価セマンティクス であり、契約アサーションを評価する際のセマンティクスに対応し、その意味は以下の通りです:\n
| 列挙子 | 意味 |
ignore
|
契約アサーションは “ignore” セマンティクスの下で評価される |
observe
|
契約アサーションは “observe” セマンティクスの下で評価される |
enforce
|
契約アサーションは “enforce” セマンティクスの下で評価される |
quick_enforce
|
契約アサーションは “quick-enforce” セマンティクスの下で評価される |
関連項目
|
(C++26)
|
契約違反情報を保持する型
(クラス) |
|
(C++26)
|
違反された契約アサーションの種類
(列挙型) |
|
(C++26)
|
契約違反の原因となった理由
(列挙型) |