「D言語/関数」の版間の差分
削除された内容 追加された内容
Angol Mois (トーク | 投稿記録) 書き換え。予約語 body は廃止済み |
→契約の使い方な関する注意: typo |
||
242 行
このように、契約プログラミングは、けっしてコンパイルだけを契約違反で停止するのではなく、コンパイル以降も監視しており、実行中でも契約違反があればコードの実行を停止する。
=== 契約の使い方
'''契約をユーザーの入力のチェックに使ってはいけない。'''契約とは、あくまでも自身が書いたアルゴリズム、コードの正しさをチェックするためのみに存在するものである。関数の定義域を制限したい場合は、Assertion Error ではなく例外やエラーメッセージを残すべきである。
|