表明されている事後条件はきつくすることしかできないというルールに沿うため継承したものと論理積が取られます。Main;結果、実行時エラーになってしまいました。元で表明されている事後条件には全ての派生型で考えられる最も緩い条件を指定しなければなりません。Main;事後条件は多態します。触れましたように事後条件の式の中での呼び出しは多態しません。それとは別に、事後条件の書かれているサブプログラム自体を多態呼び出しした場合は事後条件も多態します。事前条件を満たすのが呼び出し側の責任なのに対して、事後条件を満たすのはサブプログラム側の責任でありそれはディスパッチ後のサブプログラム本体に付随するものだからです。事前条件も事後条件もどちらもきつい方を満たさないといけないという覚え方でいいと思います。含めて軽く触れていきます。して展開され、派生先には継承されません。して展開され、派生先には継承されません。自体は派生先に継承されます。繰り返し指定する必要があります。仮に継承したら、あるいは同じものを指定したらしたで、同じ条件が何度も重複して追加されていく形になって非効率になる恐れがあります。継承されない仕様になった理由だそうです。練り込み不足を感じます......。継承はされませんが派生型のオブジェクトに埋め込まれている基底型部分では動作します。チェックされますし、基底型部分にデフォルト初期化を使わなければ関係ないです。使って作成していますので関係ないです。