契約による設計（Design by Contract）の実装を検討 - torutkのブログで契約による設計の実装を検討しました。今回は、検討に従って実際にC++でプログラムコードに表してみます。 事前条件 C言語標準マクロ assert を用いた実装 C言語の標準マクロassertを使…