szubtipizá

Szerző: Randy Alexander
A Teremtés Dátuma: 25 Április 2021
Frissítés Dátuma: 26 Június 2024
Anonim
szubtipizá - Technológia
szubtipizá - Technológia

Tartalom

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.


Bevezetés a Microsoft Azure és a Microsoft Cloud | A jelen útmutató során megtanulja, hogy mi a lényeg a felhőalapú számítástechnikában, és hogyan segítheti a Microsoft Azure a felhőből történő migrációt és az üzleti vállalkozás futtatását.

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 összes utóbbi specifikáció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ípusnak bizonyítható, az altípusra is 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.