派生先の型 と 派生元の型 の 型比較で真になる原則には、「リスコフの置換原則」という名前がついていたんですね。 リスコフの置換原則 - Wikipedia 多態性(ポリモーフィズム)と合わせて覚えておきたい言葉でした。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。