Obsah:
Definícia - Čo znamená podtyp?
Podtyp je pojem v teórii programovacieho jazyka, kde podtyp, ktorý je typom údajov, súvisí so supertypom založeným na pojmu nahraditeľnosti, kde programové prvky, ako sú funkcie a podprogramy, ktoré sú napísané pre tento typ, budú stále fungovať, ak budú dané namiesto toho subtyp. Podtypy sú základným konceptom objektovo orientovaného programovania a sú nahraditeľné supertypmi a niekedy dokonca majú prísnejšie špecifikácie ako supertyp.
Techopedia vysvetľuje podtyp
Subtypizácia je metóda substitúcie a opakovaného použitia kódu používaná v objektovo orientovaných programovacích jazykoch, aby sa zabránilo zbytočnému kopírovaniu do značnej miery podobného kódu a podporovala čitateľnosť kódu a zabránilo sa chybám. Podtyp je v podstate náhradou za supertyp, ktorý môže spĺňať všetky jeho špecifikácie a potom niektoré. Takže ak B je podtyp A, potom B sa môže vždy použiť ako náhrada za A a akýkoľvek majetok, ktorý je zaručený A, musí byť tiež zaručený B.
Podtyp má povolené zosilňovať a dokonca pridávať vlastnosti, ktoré nie sú na supertype, čo znamená, že umožňuje rozšírenie supertypu. Namiesto vytvorenia nového supertypu zakaždým, keď sa vyžaduje niečo nové a potom skopírovania vlastností a podmienok z iného supertypu, by sa mohol jednoducho vytvoriť podtyp, ktorý rozširuje supertyp o ďalšie vlastnosti alebo vlastnosti bez zmeny supertypu. Potom v tomto prípade bude všetko, čo sa dá preukázať supertypu, dokázateľné aj pre podtyp a ďalšie. Ak sa s podtypom zaobchádza čisto rovnakým spôsobom ako so supertypom pomocou a dopytovania iba metód a polí supertypu, výsledky by boli v súlade s objektmi supertypu.
