義務と利益
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/28 09:17 UTC 版)
「契約による設計」（DbC）において、クライアントとサプライヤに課されるメソッド呼び出しの事前条件および事後条件は、クライアントとサプライヤとの間の契約に喩えられる。一般の契約と同様に DbC における契約は、クライアントとサプライヤの遵守すべき義務 (obligation) と義務を遵守することで得られる利益 (benefit) を記述したものと捉えられる。 クライアントの義務と利益は： クライアントの義務：メソッド呼び出し時に事前条件を満たすこと クライアントの利益：メソッド終了時に事後条件を満たした状態が得られること 一方、サプライヤの義務と利益は： サプライヤの義務：メソッド終了時に事後条件を満たすこと サプライヤの利益：事前条件を満たした状態でメソッドが呼び出されること である。サプライヤは事前条件を満たすことをクライアントに課すことで、メソッド本体に冗長な検査を記述することを避けられる。
※この「義務と利益」の解説は、「契約プログラミング」の解説の一部です。
「義務と利益」を含む「契約プログラミング」の記事については、「契約プログラミング」の概要を参照ください。
ウィキペディア小見出し辞書の「義務と利益」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 義務と利益のページへのリンク
