차례:
정의-서브 타이핑이란 무엇입니까?
서브 타이핑은 데이터 타입 인 서브 타입이 대체 가능성 개념에 기초한 슈퍼 타입과 관련되는 프로그래밍 언어 이론의 개념입니다. 대신 하위 유형. 서브 타입은 객체 지향 프로그래밍에서 필수적인 개념이며 슈퍼 타입으로 대체 할 수 있으며 때로는 슈퍼 타입보다 더 엄격한 사양을 갖습니다.
Techopedia는 서브 타이핑을 설명합니다
서브 타이핑은 객체 지향 프로그래밍 언어에 사용되는 대체 및 코드 재사용 방법으로, 유사한 코드의 불필요한 복사를 방지하고 코드 가독성을 높이고 버그를 방지합니다. 서브 타입은 기본적으로 후자의 스펙을 모두 충족시킬 수있는 수퍼 타입을 대체합니다. 따라서 B가 A의 하위 유형 인 경우 B는 항상 A를 대체하는 데 사용될 수 있으며 A가 보장하는 모든 속성은 B도 보장해야합니다.
하위 유형은 상위 유형에없는 특성을 강화하고 추가 할 수 있으므로 상위 유형을 확장 할 수 있습니다. 따라서 새로운 것이 필요할 때마다 새 수퍼 유형을 만든 다음 다른 수퍼 유형에서 속성과 조건을 복사하는 대신 수퍼 유형을 변경하지 않고 추가 속성이나 기능으로 수퍼 유형을 확장하는 하위 유형을 만들 수 있습니다. 그런 다음, 이 경우 수퍼 타입에 제공되는 모든 항목도 하위 타입에 제공 될 수 있습니다. 하위 유형이 수퍼 유형 메소드 및 필드 만 사용하고 조회하여 하위 유형과 완전히 동일한 방식으로 처리되는 경우 결과는 상위 유형의 오브젝트와 일치합니다.
