事前条件

事前条件(契約)とは、契約プログラミングでは、関数が呼び出される前に満たすべき条件ということだが、あるモジュールや処理において、ある条件を既に満たしていることを前提として処理を書くことで汎用性やモジュール性が高めることができる。

例えば、A → Bの順に処理をする場合、Bの処理中にAに関するデータなどのチェックを記述してしまうと、汎用度は下がる。独立性を高めたいなら、なるべく依存関係を減らすことが重要である。