Subtyping

What Does Subtyping Mean?

Subtyping is a notion in programming language theory where a subtype, which is a data type, is related to a supertype based on the notion of substitutability, where program elements such as functions and subroutines that are written for the supertype will still operate if given the subtype instead. Subtypes are an essential concept in object-oriented programming and are substitutable to supertypes and sometimes even have more stringent specifications than the supertype.

Advertisements

Techopedia Explains Subtyping

Subtyping is a method for substitution and code reuse used in object-oriented programming languages to prevent unnecessary copying of largely similar code and promote code readability and prevent bugs. A subtype is basically a substitute for a supertype that can fulfill all of the latter’s specifications, and then some. So if B is a subtype of A, then B can always be used to substitute for an A and any property that is guaranteed by A must also be guaranteed by B.

The subtype is allowed to strengthen and even add properties that are not on the supertype, which means that it allows the supertype to be extended. So, instead of creating a new supertype every time something new is required and then copying properties and conditions from another supertype, a subtype could simply be created that extends the supertype with additional properties or features without changing the supertype. Then, in this case, everything that is provable to the supertype will also be provable to the subtype and more. If a subtype is treated purely the same way as the supertype by using and querying only supertype methods and fields, then the results would be consistent with objects of the supertype.

Advertisements

Related Terms

Margaret Rouse

Margaret Rouse is an award-winning technical writer and teacher known for her ability to explain complex technical subjects to a non-technical, business audience. Over the past twenty years her explanations have appeared on TechTarget websites and she's been cited as an authority in articles by the New York Times, Time Magazine, USA Today, ZDNet, PC Magazine and Discovery Magazine.Margaret's idea of a fun day is helping IT and business professionals learn to speak each other’s highly specialized languages. If you have a suggestion for a new definition or how to improve a technical explanation, please email Margaret or contact her…