contract.md

contract

• contract[meta header]
• cpp23[meta cpp]

<contract>ヘッダでは、契約違反のハンドリングのための機能を定義する。

名前	説明	対応バージョン
contract_violation	契約違反に関する情報 (class)	C++23

バージョン

言語

• C++23

処理系

• Clang: 未実装
• GCC: 未実装
• ICC: ?
• Visual C++: 未実装

関連項目

• 契約に基づくプログラミング

参照

• P0542R5 Support for contract based programming in C++