契約による設計とは : JavaA2Z

メソッドの引数及び戻り値に対して明確な仕様を決め、それに基づいて実装すること。 メソッドには、様々な仕様が存在する。 「引数にnullは不可」「文字列の長さは30以下」「0は不可」「100が渡された時のみ0、それ以外は100を返す」「エラー時にはnullを返す」等。 これらの仕様は、得てして明確には決められない。メソッドの多くは「丁寧に使ってね、変な使い方するとどうなるかわからないよ」という曖昧な仕様の元に作られている。 しかし、それでは少し使い方を間違えただけでバグが生まれ、また、実装の変化等によってそれまで動いていたものが動かなくなる事もある。 メソッドの仕様をあらかじめ明確にし、それに基づいて実装することで、バグを減らす方法、それが「契約による設計」である。 メソッドの仕様を「契約事項」とし、その契約をメソッドは必ず守ることとする。 契約はまずドキュメンテーションコメントとして記述し