概要
<contracts>ヘッダでは、C++における契約プログラミングのサポートを提供する。
契約プログラミングは、関数やクラスの前提条件、事後条件、およびアサーションを明示的に指定するプログラミング手法である。これらの条件が満たされない場合、プログラムは契約違反を報告する。
| 名前 | 説明 | 対応バージョン |
|---|---|---|
assertion_kind |
アサーションの種類 (enum) | C++26 |
evaluation_semantic |
アサーションの評価の種類(enum) | C++26 |
detection_mode |
契約違反の検出モード(enum) | C++26 |
contract_violation |
契約違反に関する情報 (class) | C++26 |
バージョン
言語
- C++26
処理系
- Clang: 未実装
- GCC: 未実装
- ICC: ?
- Visual C++: 未実装