Sadržaj:
Definicija - Što znači podtipiziranje?
Podtipizacija je pojam u teoriji programskog jezika gdje je podvrsta, koja je vrsta podataka, povezana sa superstipom temeljenom na pojmu zamjenjivosti, pri čemu će programski elementi poput funkcija i potprograma koji su napisani za superstip i dalje raditi ako im se da umjesto podvrsta. Podtipovi su važan pojam objektno orijentiranog programiranja i zamjenjivi su supersipi, a ponekad čak imaju i strože specifikacije od superstipa.
Tehopedia objašnjava podtipizaciju
Subtipizacija je metoda zamjene i ponovne upotrebe koda koja se koristi u objektno orijentiranim programskim jezicima kako bi se spriječilo nepotrebno kopiranje uglavnom sličnog koda i pospješilo čitljivost koda te spriječilo pogreške. Podtip je u osnovi zamjena za supertip koji može ispuniti sve posljednje specifikacije, a zatim i neke. Dakle, ako je B podvrsta A, tada se B uvijek može upotrijebiti za zamjenu za A, a svako svojstvo koje ga jamči A također mora jamčiti B.
Podtipu je dopušteno ojačati, pa čak i dodati svojstva koja nisu na superstipu, što znači da omogućuje proširenje superstipa. Dakle, umjesto stvaranja novog supertipa svaki put kada se traži nešto novo, a zatim kopiranja svojstava i uvjeta iz drugog supertipa, jednostavno bi se mogao stvoriti podtip koji proširuje superstip dodatnim svojstvima ili značajkama bez promjene superstipa. Tada će se, u ovom slučaju, sve što se može dokazati supersipom, također dokazati podtipom i još mnogo toga. Ako se prema podtipu tretira potpuno isti način kao i superstip koristeći se i pitajući samo superstipne metode i polja, tada bi rezultati bili u skladu s objektima superstipa.
