エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
class Hoge(Foo) { // ... } なんてことは論理的にあり得ない。 HogeをFooとみなすかどうかは、一般的に... class Hoge(Foo) { // ... } なんてことは論理的にあり得ない。 HogeをFooとみなすかどうかは、一般的に文脈によるからだ。 だから、Hogeの定義にFooのサブタイプであることが課せられるのはおかしい。 ましてや、Fooの実装がinheritされるのは尚更おかしい。 例をあげよう。 カーテンは家具でもあるし布製品でもある。 しかし、カーテンを家具の一種だとみなすか、布製品の一種だとみなすかは、文脈による。 だから、カーテンの定義にそれが家具であるとか布製品であるとかいう条件が課されるのはおかしい。 インタフェースでも同様である。 また、インタフェースの実装もおかしい。(たとえそれがクラス定義とインタフェース実装が分離された場合、いわゆるProtocolというパターン、であっても) AがBであるとき、AをBとみなす方法は一般的には複数あり、どの方法によるかは文脈に