«subtypes» 태그된 질문

다형성의 개념을 사용할 때 클래스 계층 구조를 작성하고 부모 참조를 사용하면 어떤 특정 유형에 객체가 있는지 몰라도 인터페이스 함수를 호출합니다. 대단하다. 예: 당신은 동물의 컬렉션을 가지고 있으며 모든 동물 기능을 호출하고 eat그것이 개를 먹는 것인지 고양이인지는 신경 쓰지 않습니다. 상속 클래스에서 구현 다른 것보다 -하지만 같은 클래스 계층 구조에서 당신은 …

14 design-patterns  object-oriented  polymorphism  subtypes 

이 분야에서 Liskov의 연구는 행동 하위 유형에 초점을 두 었으며,이 기사에서 논의 된 유형 시스템 안전성 외에도 하위 유형은 일부 계약에서 상위 유형이 보장하는 모든 불변량을 유지해야합니다. [3] 이 하위 유형 정의는 일반적으로 결정하기 어렵 기 때문에 유형 검사기로 확인할 수 없습니다. 보낸 사람 : http://www.wikiwand.com/en/Subtyping#/Function_types

13 type-systems  subtypes