torutk https://blog.hatena.ne.jp/torutk/ torutkのブログ https://torutk.hatenablog.jp/ C++ 契約による設計では、責務を遂行する関数に対して事前条件、事後条件を定義し、クラスに対してクラス不変条件を定義します。これら条件を実行時に検証して違反が検出されればエラーを通知（伝播）することで関数の仕様と実行結果が明確になります。しかし、なかなか使いこなすには難しい概念です。「契約」という概念になじみがないということもあるでしょうし、実際に使うプログラミング言語に契約による設計がない*1ということも大きな理由と思います。C++言語は契約による設計は言語仕様にないため、実装するには工夫が必要となります。大抵はassertマクロか例外機構を使って構築することになります。そこで、C++での契約による… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftorutk.hatenablog.jp%2Fentry%2F20080913%2Fp1" title="契約による設計（Design by Contract）の実装を検討 - torutkのブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2008-09-13 00:00:00 rich https://torutk.hatenablog.jp/entry/20080913/p1 1.0 100%