Pytania otagowane jako subtypes

4
Jak obsługiwać metody dodane dla podtypów w kontekście polimorfizmu?
Kiedy używasz koncepcji polimorfizmu, tworzysz hierarchię klas, a korzystając z referencji rodziców wywołujesz funkcje interfejsu, nie wiedząc, który konkretny typ ma obiekt. To jest świetne. Przykład: Masz kolekcję zwierząt i przywołujesz funkcje wszystkich zwierząt eati nie obchodzi cię, czy to pies je czy kot. Ale w tej samej hierarchii klas …
2
Dlaczego behawioralne podtypowanie jest nierozstrzygalne?
Prace Liskova w tym obszarze koncentrowały się na podtypach behawioralnych, które oprócz bezpieczeństwa systemu typów omawianego w tym artykule wymagają również, aby podtypy zachowywały wszystkie niezmienniki gwarantowane przez nadtypy w niektórych kontraktach [3]. Ta definicja podtypu jest na ogół nierozstrzygalna, więc nie może być zweryfikowana przez moduł sprawdzania typu. Od: …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.