Home | Site Map |
 
Anoca.org  


Subtype

(subtype)





In computer science , a subtype states that ifgiven type A is compatible with type B, then A is a subtype of B while not always vice versa. The most importantdistinction from mere datatype is one datatype can be more than one subtype. The definition is known as Liskov substitution principle .

In object-oriented programming , this meansobjects of the same subtype respond to the same messages.

A derived type is a type given a new type but structually same to the original type. The purpose of this typeis create a new type name so that two values can have two distinct types in terms of name. It matters if the type system uses aname equivalence rule but does not matter if the system uses a structural equivalence.


sbutype, datatype, subytpe, new, subtipe, two, subtpye, one, sutbype, create, subtpe, typeis, subype, structually, sbtype, purpose, subtyp, rule, usbtype, terms, subtye, distinct, , respond, subtyep, importantdistincti...


This article is completely or partly from Wikipedia - The Free Online Encyclopedia. Original Article. The text on this site is made available under the terms of the GNU Free Documentation Licence. We take no responsibility for the content, accuracy and use of this article.

Anoca.org Encyclopedia
0.02s