継承を使用できる条件
継承を使うべきタイミングはいつか？
リスコフの置換原則 (LSP)を満たすとき
https://anond.hatelabo.jp/20201022005749
子クラスは、親クラスと共通のインタフェースを持つ
子クラスの事前条件は、親クラスと同じかそれよりも弱い
子クラスの事後条件は、親クラスと同じかそれよりも強い
overrideってどうなん #??
interfaceが合っているならokなの？
overrideした時点で置換可能と言えなくない？という気もするけど
「置換可能」をもっと厳密に定義しないといけない #??