torutkのブログで契約による設計の実装を検討しました。今回は、検討に従って実際にC++でプログラムコードに表してみます。定義し、クラスに対してクラス不変条件を定義します。これら条件を実行時に検証して違反が検出されればエラーを通知(伝播)することで関数の仕様と実行結果が明確になります。...2008-09-10基底クラスのメンバ関数のオーバーロードを派生クラスで定義すると..C++C++言語における名前隠ぺいは、関数の場合引き数に関係なく名前の一致のみで発生するため、派生クラスの定義に基底クラスのメンバー関数のオーバーロードを記述すると、基底クラスの同名関数が見つからないコンパイルエラーが発生します。C++...2008-09-03GCCの関数名展開マクロ__PRETTY_FUNCTION__C++GCCで提供される、関数名に展開されるマクロなのですが、__FUNCTION__と違い、引き数、戻り値、そしてネームスペースまで含めて展開されます。引き数にvectorがあるとものすごい展開がなされ..。ブログを報告する引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。