«subtypes» etiketlenmiş sorular

Polimorfizm kavramını kullandığınızda bir sınıf hiyerarşisi yaratırsınız ve ebeveyn referansını kullanarak, hangi türün nesneye sahip olduğunu bilmeden arayüz işlevlerini çağırırsınız. Bu harika. Misal: Hayvan koleksiyonunuz var ve tüm hayvan fonksiyonlarını çağırıyorsunuz eatve bir köpek yemi mi yoksa kedi mi olduğunu umursamıyorsunuz. Miras ve sınıftan uygulanan diğerinden daha - Ama aynı …

14 design-patterns  object-oriented  polymorphism  subtypes 

Liskov'un bu alandaki çalışmaları, bu makalede tartışılan tip sistem güvenliğinin yanı sıra, alt tiplerin bazı sözleşmelerde üst tipler tarafından garanti edilen tüm değişmezleri korumasını gerektirdiği davranışsal alt tiplemeye odaklanmıştır. [3] Bu alt tip tanımı genellikle kararsızdır, bu nedenle bir tür denetleyicisi tarafından doğrulanamaz. Gönderen: http://www.wikiwand.com/en/Subtyping#/Function_types

13 type-systems  subtypes