契約による設計から見た例外 - Qiita

正しさは相対的な概念である。 Bertrand Meyer [1] Bertrand Meyer氏は「契約による設計」という概念から例外を導出し、例外の必要性をエレガントに説明しています。また、彼の説明に則れば今までの議論と比べて例外をいくぶんか形式的に扱えるようになります。契約による設計を学ぶ前に、プログラムの正しさについてもう一度考えてみましょう。 プログラムの正しさ あるプログラムが正しいかどうかを判定するにはどのようにすれば良いでしょうか。最も簡単な方法は、あるプログラムの正しさを形式的に定義する事です。より直接的に言えば、あるプログラムの正しさを簡単な論理式で表現します。その論理式が真ならばそのプログラムは正しい。偽ならばそのプログラムは正しくありません。 これだけだと関数の戻り値を検査すれば良いだけのようにも聞こえます。しかし、そう簡単な話ではありません。純粋でない言語の場合、

[sylvan_l]

契約による設計から見た例外

[masa8aurum]

良い内容

[hitode909]

良い資料

[chroju]

例外を投げる＝呼び出し元に戻す、というのは、事前条件を満たしていない場合と考えてよいのかしらね。

[non_117]

いい文章あった

[sugimori]

契約プログラミングの考え方を活用したい

[S64]

👀

[yutaka_kinjyo]

『オブジェクト指向入門』読まないとな ...

[todesking]

「IO操作には契約が適用できない」というのがDbC由来のものなのか独自研究なのかが気になる

[vanbraam]

これは素晴らしい;現状のソフトウェア・テストは{P}が成立する環境を作りCを実行して{Q}が満たされる事を検証(あるいは{P}が成立しない環境を作りCを実行して{Q}が満たされない事を検証)するモノか

[kasumani]

契約による設計から見た例外 正しさは相対的な概念である。 Bertrand Meyer [1] Bertrand Meyer氏は「契約による設計」という概念から例外を導出し、例外の必要性をエレガントに説明しています。また、彼の説明に則れば今までの

[Nnwww]

今まで「機構としての例外」しか知らなかったので本当にためになる。今回の例ではデバッグビルド時に注記した事前事後不変の各条件を検証するメタクラスとか書くと便利に使えそう。

[ruicc]

契約による設計からは例外が自然に出てくるな、IO失敗についても書いてある

[teracy_junk]

この分量を毎日書くってぱねぇな…

[kaipu1224]

発注元との例外処理をしっかりとしたいなー

[quanon]

面白い内容だった。例外について曖昧だった部分が Design by Contract を知ることで少し明確になったと思う。

[kotomalism]

相変わらずの密度

[Koozz]

面白いね 例外について今のプロジェクトでその辺概要に書いたんだけど誰も見ないしなんだかねー

[krrrr]

OOSC読んだ後に事前条件はDRYに反しやすいのではって考えて結論出なかったな