Inhoud
- Definitie - Wat betekent Subtyping?
- Een inleiding tot Microsoft Azure en de Microsoft Cloud | In deze handleiding leert u wat cloud computing inhoudt en hoe Microsoft Azure u kan helpen bij het migreren en runnen van uw bedrijf vanuit de cloud.
- Techopedia legt Subtyping uit
Definitie - Wat betekent Subtyping?
Subtypen is een begrip in de programmeertaaltheorie waarbij een subtype, dat een gegevenstype is, gerelateerd is aan een supertype op basis van het begrip substitueerbaarheid, waarbij programma-elementen zoals functies en subroutines die zijn geschreven voor het supertype nog steeds werken als de in plaats daarvan subtype. Subtypen zijn een essentieel concept in objectgeoriënteerd programmeren en kunnen worden vervangen door supertypen en hebben soms zelfs strengere specificaties dan het supertype.
Een inleiding tot Microsoft Azure en de Microsoft Cloud | In deze handleiding leert u wat cloud computing inhoudt en hoe Microsoft Azure u kan helpen bij het migreren en runnen van uw bedrijf vanuit de cloud.
Techopedia legt Subtyping uit
Subtypen is een methode voor vervanging en hergebruik van code die wordt gebruikt in objectgeoriënteerde programmeertalen om onnodig kopiëren van grotendeels vergelijkbare code te voorkomen en codeleesbaarheid te bevorderen en bugs te voorkomen. Een subtype is eigenlijk een vervanging voor een supertype dat aan alle laatste specificaties kan voldoen, en nog wat. Dus als B een subtype van A is, kan B altijd worden gebruikt om een A te vervangen en moet elke eigenschap die door A wordt gegarandeerd ook door B worden gegarandeerd.
Het subtype mag versterken en zelfs eigenschappen toevoegen die niet van het supertype zijn, wat betekent dat het supertype kan worden uitgebreid. Dus in plaats van een nieuw supertype te maken telkens wanneer er iets nieuws nodig is en vervolgens eigenschappen en voorwaarden van een ander supertype te kopiëren, kan een subtype eenvoudig worden gemaakt dat het supertype met extra eigenschappen of functies uitbreidt zonder het supertype te wijzigen. In dit geval zal alles wat aantoonbaar is voor het supertype ook aantoonbaar zijn voor het subtype en meer. Als een subtype puur op dezelfde manier wordt behandeld als het supertype door alleen methoden en velden van het supertype te gebruiken en te bevragen, dan zouden de resultaten consistent zijn met objecten van het supertype.