サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
大谷翔平
qiita.com/hiko1129
はじめに 契約による設計を知ると、よりよいプログラミングができそうだったので個人的にまとめました。 契約による設計とは 契約による設計(けいやくによるせっけい、Design By Contract)とは、プログラムコードの中にプログラムが満たすべき仕様についての記述を盛り込む事で設計の安全性を高める技法。 契約プログラミングより 具体的には、「もしそちらが事前条件及びクラス不変条件1を満たした状態で私を呼ぶと約束して下さるならば、お返しに、事後条件及びクラス不変条件を満たす状態を最終的に実現することをお約束します。」2という契約を結ぶことを言います。 事前条件、事後条件、クラス不変条件の意味 事前条件は、呼び出し側が守らなければならない条件。 事後条件は、呼ばれる側が守らなければならない条件。 クラス不変条件は、呼び出し前、呼び出し後で維持されなければならない性質。 契約による設計のメリッ
このページを最初にブックマークしてみませんか?
『qiita.com』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く