>>845
そのリスコフ置換原則＝ is-a が必ずしもいつも使えるとは限らないのですよ

例えば、数の体系は例えば
複素数⊃実数⊃有理数⊃整数⊃自然数
ですが、じゃあ、「複素数」からインプリメントするか？というと、私はそうは思えません