Sottotipo
Sign in to saveAlso known as subtype polymorphism, inclusion polymorphism
In programming language theory, subtyping (also called subtype polymorphism or inclusion polymorphism) is a form of type polymorphism. A subtype is a datatype that is related to another datatype (the supertype) by some notion of substitutability, meaning that program elements (typically subroutines or functions), written to operate on elements of the supertype, can also operate on elements of the subtype.
Wikidata facts
- Subclass of
- polymorphism
- Part of
- type system
Show 3 more facts
- Stack Exchange tag
- stackoverflow.com/tags/extends
- has characteristic
- variance
- partially coincident with
- inheritance
Sources (3)
via Wikidata · CC0
Article · Italiano
In informatica, e in particolare in programmazione, si definisce sottotipo un tipo di dato legato ad un altro tipo di dato, detto super-tipo, da una relazione di sostituibilità, intesa nel senso che un programma scritto per utilizzare elementi costruiti sul modello del supertipo, può funzionare anche con elementi costruiti sul modello del sottotipo. In generale, si assume che la relazione supertipo-sottotipo sia quella definita dal principio di sostituzione di Liskov. Ad esempio, un certo linguaggio potrebbe ammettere l'uso di valori interi al posto di valori floating point, oppure potrebbe definire un tipo numero in luogo del quale possono essere sia interi sia numeri con virgola. Nel primo caso il tipo intero sarebbe un sottotipo di floating point; nel secondo questi due tipi non avrebbero alcuna mutua relazione reciproca, ma entrambi sarebbero sottotipi di numero.
Abstract from DBpedia / Wikipedia · CC BY-SA