Innehåll
- Definition - Vad betyder subtypning?
- En introduktion till Microsoft Azure och Microsoft Cloud | I hela denna guide kommer du att lära dig vad cloud computing handlar om och hur Microsoft Azure kan hjälpa dig att migrera och driva ditt företag från molnet.
- Techopedia förklarar subtypning
Definition - Vad betyder subtypning?
Subtyping är ett begrepp i programmeringsspråksteorin där en subtyp, som är en datatyp, är relaterad till en supertyp baserad på uppfattningen om substituerbarhet, där programelement som funktioner och subroutiner som är skrivna för supertypen fortfarande fungerar om de ges undertyp istället. Undertyper är ett väsentligt koncept i objektorienterad programmering och kan ersättas med supertyper och har ibland till och med strängare specifikationer än supertypen.
En introduktion till Microsoft Azure och Microsoft Cloud | I hela denna guide kommer du att lära dig vad cloud computing handlar om och hur Microsoft Azure kan hjälpa dig att migrera och driva ditt företag från molnet.
Techopedia förklarar subtypning
Subtyping är en metod för substitution och kodanvändning som används i objektorienterade programmeringsspråk för att förhindra onödig kopiering av i stort sett liknande kod och främja kodläsbarhet och förhindra buggar. En subtyp är i grunden en ersättning för en supertyp som kan uppfylla alla latters specifikationer och sedan några. Så om B är en subtyp av A, kan B alltid användas för att ersätta en A och alla egenskaper som garanteras av A måste också garanteras av B.
Undertypen får stärka och till och med lägga till egenskaper som inte finns på supertypen, vilket innebär att den tillåter supertypen att utökas. Så istället för att skapa en ny supertyp varje gång något nytt krävs och sedan kopiera egenskaper och villkor från en annan supertyp, kan en subtyp helt enkelt skapas som utökar supertypen med ytterligare egenskaper eller funktioner utan att ändra supertypen. Då, i det här fallet, kan allt som är bevisbart för supertypen också vara bevisbart för subtypen och mer. Om en subtyp behandlas rent på samma sätt som supertypen genom att använda och fråga bara supertypmetoder och fält, skulle resultaten överensstämma med objekt av supertypen.