- contracts[meta header]
- std::contracts[meta namespace]
- enum[meta id-type]
- cpp26[meta cpp]
namespace std::contracts {
enum class detection_mode : unspecified {
predicate_false = 1,
evaluation_exception = 2
};
}契約違反がどのような仕組みでその違反が認識されたかを表す列挙型。
| 列挙子 | 値 | 意味 |
|---|---|---|
| predicate_false | 1 | 契約の述語が評価され、falseを返す、もしくは評価をするとfalseを返す |
| evaluation_exception | 2 | 評価中に例外が投げられ、キャッチされずに逸脱した |
- C++26
- Clang: ?
- GCC: ?
- ICC: ?
- Visual C++: ?