Tartalomjegyzék:
Fogalommeghatározás - Mit jelent az altipálás?
Az altipizálás egy fogalom a programozási nyelvi elméletben, ahol egy adattípus altípus egy szupertípushoz kapcsolódik, amely a helyettesíthetőség fogalmán alapul, ahol a szupertípushoz írt program elemek, például függvények és szubrutinok továbbra is működni fognak, ha megkapják őket. ehelyett altípus. Az altípusok alapvető fogalom az objektum-orientált programozásban, helyettesíthetők a szupertípusokkal, és néha még szigorúbb specifikációval is rendelkeznek, mint a szupertípus.
A Techopedia magyarázza az subtyping-ot
Az altipizálás az objektum-orientált programozási nyelvekben alkalmazott helyettesítés és a kód újrafelhasználásának módja, hogy elkerüljék a nagyjából hasonló kód felesleges másolását, elősegítsék a kód olvashatóságát és megakadályozzák a hibákat. Az altípus alapvetően helyettesíti a szupertípust, amely képes teljesíteni az utóbbi összes specifikációját, majd néhányat. Tehát ha B az A altípusa, akkor a B mindig helyettesíthető egy A-val, és minden tulajdonságot, amelyet az A garantál, a B-nek is garantálnia kell.
Az altípus megengedi, hogy erősítsék, sőt hozzáadják azokat a tulajdonságokat, amelyek nem tartoznak a szupertípusba, ami azt jelenti, hogy lehetővé teszi a szupertípus kiterjesztését. Tehát ahelyett, hogy minden alkalommal új supertípust hozna létre, és új tulajdonságokról és feltételekről másol egy másik szupertípust, egyszerűen létrehozhat egy altípust, amely kiterjeszti a supertípust további tulajdonságokkal vagy tulajdonságokkal, anélkül, hogy megváltoztatná a szupertípust. Akkor ebben az esetben mindent, ami a szupertípushoz igazítható, az altípushoz hasonlóan be lehet bizonyítani. Ha az altípust tisztán ugyanúgy kezelik, mint a szupertípust, csak a szupertípus típusú módszerek és mezők felhasználásával és lekérdezésével, akkor az eredmények összhangban állnak a szupertípus objektumaival.
