std::contracts:: detection_mode
From cppreference.net
C++
Utilities library
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Contract support
| Contract-violation information | ||||
|
(C++26)
|
||||
|
(C++26)
|
||||
|
(C++26)
|
||||
|
detection_mode
(C++26)
|
||||
| Helper functions | ||||
|
ヘッダーで定義
<contracts>
|
||
|
enum
class
detection_mode
:
/* unspecified */
{
predicate_false
=
1
,
|
(C++26以降) | |
std::contracts::detection_mode
の列挙子は、契約違反が
明示的に定数評価される
コンテキストではない状況で発生する原因に対応しており、その意味は以下の通りです：
| 列挙子 | 意味 |
predicate_false
|
契約違反が発生した理由：述語の結果が false であるため |
evaluation_exception
|
契約違反が発生した理由：述語の評価が例外によって終了したため |
注記
契約違反が明らかに定数評価される文脈で発生した場合、 contract-violation handler は呼び出されません。
関連項目
|
(C++26)
|
契約違反情報を保持する型
(クラス) |
|
(C++26)
|
違反された契約表明の種類
(列挙型) |
|
(C++26)
|
契約違反発生時の評価セマンティクス
(列挙型) |