継承は欠陥機能だから使うな

2024-02-19

class Hoge(Foo) {
  // ...
}

なんてことは論理的にあり得ない。

HogeをFooとみなすかどうかは、一般的に文脈によるからだ。

だから、Hogeの定義にFooのサブタイプであることが課せられるのはおかしい。

ましてや、Fooの実装がinheritされるのは尚更おかしい。

例をあげよう。

カーテンは家具でもあるし布製品でもある。

しかし、カーテンを家具の一種だとみなすか、布製品の一種だとみなすかは、文脈による。

また、インタフェースの実装もおかしい。（たとえそれがクラス定義とインタフェース実装が分離された場合、いわゆるProtocolというパターン、であっても）

AがBであるとき、AをBとみなす方法は一般的には複数あり、どの方法によるかは文脈によるからだ。

たとえば、裏返して着られるパーカーのクラスにWearableインタフェースを実装しようとしたら、どちら向きをwear()メソッドに実装するか定まらない。

だから、A implements Bが一通りしかできない言語は論理的に欠陥がある。

継承が問題になるのは使い所が難しいからではない。

論理的に間違っているからだ。