「表明 (プログラミング)」の版間の差分
削除された内容 追加された内容
m ロボットによる 変更: es:Aserción (informática) |
|||
7行目:
=== 契約による設計としての表明 ===
表明を仕様書の一種と見ることもできる。コードの部分が動作する前に期待される状態(事前条件)を記述し、そのコードを実行した後に期待される状態(事後条件)を記述する。また、[[クラス (コンピュータ)|クラス]]の[[不変
この手法は、契約プログラミングを明確にはサポートしていない言語でも利用価値がある。コメントではなく表明を使用する利点は、表明がプログラムの実行毎にチェックされる点である。表明が真でなくなると、エラーが表示される。これによりコードの実装が表明とずれてしまった場合を早期に検出する。これはつまり、コメントとコードの内容の不一致の問題と同じである。
|