Kazalo:
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.
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 slednje specifikacije 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 vsakokrat, ko se zahteva nekaj novega, nato pa kopirali lastnosti in pogoje iz drugega supertipa, bi lahko preprosto ustvarili podtip, ki razširi supertip 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.
