Indholdsfortegnelse:
Definition - Hvad betyder undertypning?
Subtyping er en opfattelse i programmeringssprogteorien, hvor en undertype, som er en datatype, er relateret til en supertype baseret på forestillingen om substituerbarhed, hvor programelementer som funktioner og underprogrammer, der er skrevet til supertypen, stadig fungerer, hvis de får undertype i stedet. Undertyper er et essentielt koncept i objektorienteret programmering og kan erstattes af supertyper og har undertiden endda strengere specifikationer end supertypen.
Techopedia forklarer undertypning
Subtyping er en metode til substitution og genanvendelse af kode, der bruges i objektorienterede programmeringssprog for at forhindre unødvendig kopiering af stort set lignende kode og fremme kodelæsbarheden og forhindre fejl. En undertype er dybest set en erstatning for en supertype, der kan opfylde alle sidstnævnte specifikationer, og derefter nogle. Så hvis B er en undertype af A, kan B altid bruges til at erstatte en A, og enhver egenskab, der er garanteret af A, skal også garanteres af B.
Undertypen får lov til at styrke og endda tilføje egenskaber, der ikke er på supertypen, hvilket betyder, at den giver mulighed for at udvide supertypen. Så i stedet for at oprette en ny supertype hver gang der kræves noget nyt og derefter kopiere egenskaber og betingelser fra en anden supertype, kunne en subtype ganske enkelt oprettes, der udvider supertypen med yderligere egenskaber eller funktioner uden at ændre supertypen. I dette tilfælde vil alt, hvad der kan bevises for supertypen, også bevises for undertypen og mere. Hvis en undertype behandles rent på samme måde som supertypen ved kun at bruge og forespørge supertype metoder og felter, ville resultaterne være i overensstemmelse med objekter af supertypen.
