2014-06-03から1日間の記事一覧

契約プログラミングとエラー処理

関数のシグネチャは、その関数がどのように使われるべきものかを規定する。これはその関数を使うユーザとの間の取り決めのようなものである。しかし、シグネチャだけでは表現の幅に限界がある。例えば以下の関数を考えてみる。 double sqrt(double num); こ…