Vsebina
- Opredelitev - Kaj pomeni podtipizacija?
- Uvod v Microsoft Azure in Microsoft Cloud | V tem priročniku boste spoznali, kaj sploh pomeni računalništvo v oblaku in kako vam lahko Microsoft Azure pomaga preseliti in voditi vaše podjetje iz oblaka.
- Tehopedija razlaga podtipizacijo
Opredelitev - Kaj pomeni podtipizacija?
Podtipizacija je pojem v teoriji programskega jezika, kjer je podtip, ki je podatkovni tip, povezan z nadrejenim tipom, ki temelji na pojmu zamenljivosti, kjer bodo programski elementi, kot so funkcije in podprogrami, zapisani za superstip, še vedno delovali, če jim damo namesto podtipa. Podtipi so bistven koncept objektno usmerjenega programiranja in so nadomestljivi z supertipi in imajo včasih celo strožje specifikacije kot supertipi.
Uvod v Microsoft Azure in Microsoft Cloud | V tem priročniku boste spoznali, kaj sploh pomeni računalništvo v oblaku in kako vam lahko Microsoft Azure pomaga preseliti in voditi vaše podjetje iz oblaka.
Tehopedija razlaga podtipizacijo
Podtipizacija je metoda za nadomestitev in ponovno uporabo kode, ki se uporablja v objektno usmerjenih programskih jezikih za preprečevanje nepotrebnega kopiranja v veliki meri podobne kode in spodbujanje berljivosti kode ter preprečevanje napak. Podtip je v osnovi nadomestek za supertip, ki lahko izpolni vse specifikacije latters in nato nekatere. Če je B podtip A, potem lahko B vedno uporabimo za nadomestitev A, vsako lastnost, ki jo jamči A, pa mora zagotoviti tudi B.
Podtipu je dovoljeno okrepiti in celo dodati lastnosti, ki niso na superstipu, kar pomeni, da omogoča razširitev superstipa. Torej, namesto da bi ustvarili nov supertip vsakič, ko se zahteva nekaj novega in nato kopirali lastnosti in pogoje iz drugega supertipa, bi lahko preprosto ustvarili podtip, ki podtip razširi z dodatnimi lastnostmi ali funkcijami, ne da bi spremenil supertip. Potem bo v tem primeru vse, kar je dokazljivo za supertip, dokazljivo tudi za podtip in še več. Če se podtip obravnava na enak način kot supertip z uporabo in poizvedovanjem samo nadrejenih metod in polj, bi bili rezultati skladni s predmeti supertipa.