Perguntas com a marcação «subtypes»

Ao usar o conceito de polimorfismo, você cria uma hierarquia de classes e, usando a referência dos pais, chama as funções de interface sem saber qual tipo específico tem o objeto. Isso é ótimo. Exemplo: Você tem uma coleção de animais e solicita a função de todos os animais eate …

14 design-patterns  object-oriented  polymorphism  subtypes 

O trabalho de Liskov nessa área enfocou a subtipagem comportamental, que além da segurança do sistema de tipos discutida neste artigo também exige que os subtipos preservem todos os invariantes garantidos pelos supertipos em algum contrato. [3] Essa definição de subtipagem geralmente é indecidível, portanto, não pode ser verificada por …

12 type-systems  subtypes