事前条件(契約)とは、契約プログラミングでは、関数が呼び出される前に満たすべき条件ということだが、あるモジュールや処理において、ある条件を既に満たしていることを前提として処理を書くことで汎用性やモジュール性が高めることができる。 例えば、A → …
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。