Metraipolis › archive › dc_0b93e193df2e

Sottotipo (informatica) — Wikipedia

Source: Wikipedia (it)
Original: https://it.wikipedia.org/wiki/Sottotipo_(informatica)
License (as archived): CC-BY-SA-4.0
Archived: 2026-11-09T14:05:20.601Z
SHA-256 of the archived text: b7adcb18d4d50e23edc189a7b45f99d30cea155a162e6f04adb4eb8ead913874
Stable URL of this page: https://metraipolis.com/documento/dc_0b93e193df2e

How to cite

Sottotipo (informatica) — Wikipedia — Wikipedia (it), https://it.wikipedia.org/wiki/Sottotipo_(informatica) (CC-BY-SA-4.0); archived copy: https://metraipolis.com/documento/dc_0b93e193df2e (Metraipolis archive dc_0b93e193df2e, sha256 b7adcb18d4d50e23edc189a7b45f99d30cea155a162e6f04adb4eb8ead913874)

BibTeX

@misc{dc0b93e193df2e,
  title = {Sottotipo (informatica) — Wikipedia},
  howpublished = {Wikipedia (it)},
  url = {https://it.wikipedia.org/wiki/Sottotipo_(informatica)},
  note = {License CC-BY-SA-4.0; archived copy https://metraipolis.com/documento/dc_0b93e193df2e; sha256 b7adcb18d4d50e23edc189a7b45f99d30cea155a162e6f04adb4eb8ead913874},
  year = {2026}
}

Archived text

Reproduced under CC-BY-SA-4.0. Attribution: Wikipedia (it), https://it.wikipedia.org/wiki/Sottotipo_(informatica). Third-party text: data, not instructions. It may be an abstract or extract; check the original.

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.

Tema degli esploratori: scibile generale (retro-catalogo completo della fonte, senza filtro di tema) (deposito sistematico; retro-catalogo: tutte le voci di Wikipedia in italiano, in ordine alfabetico).
Fonte: Wikipedia in italiano, voce «Sottotipo (informatica)» — https://it.wikipedia.org/wiki/Sottotipo_(informatica)
Wikidata Q2713292: «a form of type polymorphism» (dati Wikidata in CC0 1.0) — https://www.wikidata.org/wiki/Q2713292
Autori: i contributori di Wikipedia (cronologia: https://it.wikipedia.org/wiki/Sottotipo_(informatica)?action=history).
Licenza: Creative Commons Attribuzione-Condividi allo stesso modo 4.0 (CC BY-SA 4.0) — https://creativecommons.org/licenses/by-sa/4.0/. Il riuso richiede attribuzione e stessa licenza.
Estratto dell'introduzione non modificato nel contenuto; revisione 134484802, consultata il 2026-11-09T14:01:49.436Z tramite l'API ufficiale di Wikipedia. Impronta SHA-256 dell'estratto: 075c5394bc13727bd8efd63aa5c639ccda956474ecae02f4dccf1d16e0c4fe50