Sisältö
- Määritelmä - Mitä alatyypitys tarkoittaa?
- Johdanto Microsoft Azureen ja Microsoft Cloud | Tämän oppaan läpi opit mitä pilvipalvelussa on kyse ja kuinka Microsoft Azure voi auttaa sinua siirtämään ja johtamaan yritystä pilvestä.
- Techopedia selittää alatyypit
Määritelmä - Mitä alatyypitys tarkoittaa?
Alatyyppiminen on käsitys ohjelmointikielen teoriassa, jossa tietotyyppiä oleva alatyyppi liittyy supertyyppiin, joka perustuu korvattavuuden käsitteeseen, jossa supertyypille kirjoitetut ohjelman elementit, kuten funktiot ja aliohjelmat, toimivat edelleen, jos niille annetaan alatyyppi sen sijaan. Alatyypit ovat olennainen käsite olio-ohjelmoinnissa ja korvaavat supertyypit, ja niillä on joskus jopa tiukempia määritelmiä kuin supertyypillä.
Johdanto Microsoft Azureen ja Microsoft Cloud | Tämän oppaan läpi opit mitä pilvipalvelussa on kyse ja kuinka Microsoft Azure voi auttaa sinua siirtämään ja johtamaan yritystä pilvestä.
Techopedia selittää alatyypit
Alikirjoittaminen on menetelmä korvaavuudelle ja koodin uudelleenkäytölle, jota käytetään olio-ohjelmointikielissä estämään pääosin samankaltaisen koodin tarpeeton kopiointi, edistämään koodin luettavuutta ja estämään virheitä. Alatyyppi on periaatteessa korvaava supertyyppi, joka voi täyttää kaikki myöhempien määritysten vaatimukset, ja sitten jotkut. Joten jos B on A: n alatyyppi, niin B: tä voidaan käyttää aina A: n korvaamiseen ja B: n on taattava myös kaikki ominaisuudet, jotka A takaa.
Alatyypin annetaan vahvistaa ja jopa lisätä ominaisuuksia, joita ei ole supertyypissä, mikä tarkoittaa, että se antaa supertyypin laajentaa. Joten sen sijaan, että luodaan uusi supertyyppi joka kerta kun jotain uutta vaaditaan ja sitten kopioidaan ominaisuuksia ja ehtoja toisesta supertyypistä, voitaisiin yksinkertaisesti luoda alatyyppi, joka laajentaa supertyyppiä lisäominaisuuksilla tai ominaisuuksilla muuttamatta supertyyppiä. Sitten, tässä tapauksessa kaikki supertyypille todistettavissa oleva voidaan todistaa myös alatyypille ja muulle. Jos alatyyppiä käsitellään puhtaasti samalla tavalla kuin supertyyppi käyttämällä ja kyselyllä vain supertyyppisiä menetelmiä ja kenttiä, niin tulokset ovat yhdenmukaisia supertyypin kohteiden kanssa.