t_wの輪郭

リンク日記RSS
あれ
あれ
あれ
あれ
あれ

2026年10月9日

2026/10/10 0:30:00

やること

日課

テンプレート

あれ
あれ
あれ
あれ
あれ
あれ
あれ
あれ
あれ
あれ

2026年10月8日

2026/10/8 7:07:00

やること

日課

テンプレート

あれ
あれ

あれ

2026/10/7 23:48:00

契約による設計の事前条件と事後条件は、引数や戻り値をオブジェクト化してそのオブジェクトのコンストラクタで判定したらいいんじゃないだろうか。これのメリットとしては、同じ制約を持つ複数の関数があったときに、その制約を検証するコードを共通化できる。加えて、引数の誤りを型によって検知できる。

あれ
あれ
あれ