Subtype

<programming> If S is a subtype of T then an expression of type S may be used anywhere that one of type T can and an implicit type conversion will be applied to convert it to type T.

In object oriented programming, this means that objects of type S must accept every message that one of type T would.

< Previous Terms	Terms Containing subtype	Next Terms >
subscribing \subseteq Subset-Equational Language Substitute substrate	Ada implicit type conversion Liskov substitution principle OBJ off-by-one error	subtyping SuccessoR successor sucking mud Sue