Запитання з тегом «subtypes»

Використовуючи поняття поліморфізму, ви створюєте ієрархію класів і використовуючи посилання батьків, ви викликаєте функції інтерфейсу, не знаючи, який саме тип має об'єкт. Це чудово. Приклад: У вас є колекція тварин, і ви закликаєте всіх функцій тварин, eatі вам не байдуже, їсть це собака чи кішка. Але в тій же ієрархії …

14 design-patterns  object-oriented  polymorphism  subtypes 

Робота Ліскова в цій галузі була зосереджена на поведінковому підтипу, який, окрім безпеки системи безпеки, розглянутий у цій статті, також вимагає, щоб підтипи зберігали всіх інваріантів, гарантованих супертипами в якомусь договорі. [3] Це визначення підтипу, як правило, не можна визначити, тому воно не може бути перевірене засобом перевірки типу. Від: …

12 type-systems  subtypes