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 |
