std::contracts:: evaluation_semantic
From cppreference.net
C++
Utilities library
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Contract support
| Contract-violation information | ||||
|
(C++26)
|
||||
|
(C++26)
|
||||
|
evaluation_semantic
(C++26)
|
||||
|
(C++26)
|
||||
| Helper functions | ||||
|
ヘッダーで定義
<contracts>
|
||
|
enum
class
evaluation_semantic
:
/* unspecified */
{
ignore
=
1
,
|
(C++26以降) | |
std::contracts::evaluation_semantic
の列挙子は、以下の意味を持つ
評価セマンティクス
に対応します:
| 列挙子 | 意味 |
ignore
|
契約アサーションが「ignore」セマンティクスで評価される |
observe
|
契約アサーションが「observe」セマンティクスで評価される |
enforce
|
契約アサーションが「enforce」セマンティクスで評価される |
quick_enforce
|
契約アサーションが「quick-enforce」セマンティクスで評価される |
関連項目
|
(C++26)
|
契約違反情報を保持する型
(クラス) |
|
(C++26)
|
違反された契約アサーションの種類
(列挙型) |
|
(C++26)
|
契約違反の原因となった理由
(列挙型) |