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