継承を使うべきタイミングはいつか？

リスコフの置換原則 (LSP)を満たすとき

子クラスは、親クラスと共通のインタフェースを持つ

子クラスの事前条件は、親クラスと同じかそれよりも弱い

子クラスの事後条件は、親クラスと同じかそれよりも強い

overrideってどうなん #??

interfaceが合っているならokなの？

overrideした時点で置換可能と言えなくない？という気もするけど

「置換可能」をもっと厳密に定義しないといけない #??