precondition を明確にした上で、それに反する入力が来たならば caller の責任、それに反しない入力に適切に対処していない実装ならば callee の責任、というだけの話では?

CryoliteCryolite のブックマーク 2017/06/30 13:46

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

Big Sky :: 虫が入り込むその瞬間

    今日とある場所で虫が入り込む瞬間を見た。虫といってもバグの方。それはプログラマ向けの Q&A サイトで始まった。質問の内容はこうだ。 文字列には0または4がだけが含まれる。文字列は 4 から始まり、例えば 440...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう