Innholdsfortegnelse:
Definisjon - Hva betyr undertyping?
Undertyping er en forestilling i programmeringsspråkteori der en undertype, som er en datatype, er relatert til en supertype basert på forestillingen om substituerbarhet, der programelementer som funksjoner og underrutiner som er skrevet for supertypen fortsatt vil fungere hvis det gis undertype i stedet. Undertyper er et essensielt konsept i objektorientert programmering og kan erstatte supertyper og noen ganger til og med strengere spesifikasjoner enn supertypen.
Techopedia forklarer subtyping
Undertyping er en metode for substitusjon og kodegjenbruk som brukes i objektorienterte programmeringsspråk for å forhindre unødvendig kopiering av stort sett lignende kode og fremme kodelesbarhet og forhindre feil. En undertype er i utgangspunktet en erstatning for en supertype som kan oppfylle alle sistnevnte spesifikasjoner, og deretter noen. Så hvis B er en undertype av A, kan B alltid brukes til å erstatte en A, og enhver egenskap som er garantert av A, må også garanteres av B.
Undertypen får styrke og til og med legge til egenskaper som ikke er på supertypen, noe som betyr at den lar supertypen utvides. Så i stedet for å lage en ny supertype hver gang noe nytt er nødvendig og deretter kopiere egenskaper og betingelser fra en annen supertype, kan det ganske enkelt opprettes en undertype som utvider supertypen med flere egenskaper eller funksjoner uten å endre supertypen. I dette tilfellet vil alt som kan bevises for supertypen også være beviselig for undertypen og mer. Hvis en subtype behandles rent på samme måte som supertypen ved å bruke og spørre bare om supertype-metoder og -felt, vil resultatene være i samsvar med objekter av supertypen.
