いますぐフォークしてオンライン編集し、このページのプルリクエストを送信します。 Github へのログインが必要です。これは小さな変更に適しています。大きな変更を加えたい場合は、通常の cloneの使用をお勧めします。

日本語版について

個人的な学習のために、dlang.orgを翻訳したサイトです。翻訳に際して、様々なサイトを参考にしています。

契約プログラミング

Contents

Assert 契約
事前、事後契約
不変条件
参考文献

Contracts enable specifying conditions that must hold true when the flow of runtime execution reaches the contract. If a contract is not true, then the program is assumed to have entered an undefined state.

Rationale:

Building contract support into the language provides:

a consistent look and feel for the contracts
tool support
the implementation can generate better code using information gathered from the contracts
easier management and enforcement of contracts
handling of contract inheritance

言語仕様 リファレンス

契約プログラミング

Assert 契約

事前、事後契約

不変条件

参考文献

言語仕様リファレンス