タグ付けされた質問 「subtypes」

ポリモーフィズムの概念を使用してクラス階層を作成し、親の参照を使用すると、オブジェクトを持っている特定の型を知らなくてもインターフェイス関数を呼び出します。これは素晴らしい。例： 動物のコレクションがあり、すべての動物の機能を呼び出しeatます。犬を食べるのか、猫を食べるのかは気にしません。継承と実装クラス以外から-しかし、同じクラス階層には、追加を持っている動物持ってAnimal、例えばmakeEggs、getBackFromTheFreezedStateようにしています。そのため、関数の一部のケースでは、追加の動作を呼び出す特定のタイプを知りたい場合があります。 たとえば、朝の時間で、動物だけの場合はを呼び出しますeat。それ以外の場合は、人間の場合は最初washHandsに呼び出し、次に呼び出しgetDressedますeat。この場合の対処方法は？多型が死ぬ。コードの匂いのように聞こえるオブジェクトのタイプを調べる必要があります。このケースを処理する一般的なアプローチはありますか？

14 design-patterns  object-oriented  polymorphism  subtypes 

この分野でのリスコフの研究は、行動サブタイプに焦点を当てていました。この記事で説明した型システムの安全性に加えて、サブタイプは、一部の契約のスーパータイプによって保証されるすべての不変式を保存することも必要とします。このサブタイピングの定義は一般に決定できないため、型チェッカーでは検証できません。 From：http : //www.wikiwand.com/en/Subtyping#/Function_types

12 type-systems  subtypes