読書記録 C#実践開発手法第2部-第7章

知らぬ間に1月過ぎておりました。
しかしひとまずは継続しているのでセーフです。

さて本日は、第７章のリスコフの置換原則の説明になります。
リスコフの置換原則は、クラスにおけるコントラクト(契約)の話に深く根付いており
非常に重要な原則だと思いますが、一見した時に全容がつかみにくい印象があります。

定義と伝えたいこと

定義としては
「SがTの派生形であるとすれば、T型のオブジェクトをS型のオブジェクトと置き換えたとしても、プログラムは動作し続けるはずである。」
というものです。
ここでは、プログラムが"動作する"ことが重要であって"期待する結果と一致する"ことは求めていません。
具体的には、コンパイルがエラーなく終了し、動作途中でアプリケーションの強制終了が発生しないようにすることが重要になります。

この定義が伝えたいことは、クラスのコントラクトのルールとして

事前条件を派生型で強化することはできない

事後条件は派生型で緩和することはできない