Sisu
- Definitsioon - mida tähendab alamtüüpimine?
- Sissejuhatus Microsoft Azure'i ja Microsoft Cloud | Kogu selle juhendi kaudu saate teada, mis on pilvandmetöötlus ja kuidas Microsoft Azure aitab teil pilvest rännata ja oma ettevõtet juhtida.
- Techopedia selgitab alamtüüpimist
Definitsioon - mida tähendab alamtüüpimine?
Alatüüpimine on programmeerimiskeele teooria mõiste, kus andmetüübiks olev alamtüüp on seotud asendatavuse ideel põhineva supertüübiga, kus supertüübi jaoks kirjutatud programmielemendid, näiteks funktsioonid ja alamprogrammid, ikkagi töötavad, kui neile antakse selle asemel alamtüüp. Alatüübid on objektorienteeritud programmeerimisel oluline mõiste ja on asendatavad supertüüpidega ning mõnikord on neil isegi rangemad spetsifikatsioonid kui supertüübil.
Sissejuhatus Microsoft Azure'i ja Microsoft Cloud | Kogu selle juhendi kaudu saate teada, mis on pilvandmetöötlus ja kuidas Microsoft Azure aitab teil pilvest rännata ja oma ettevõtet juhtida.
Techopedia selgitab alamtüüpimist
Alamtüüpimine on asendamis- ja koodikasutuse meetod, mida kasutatakse objektorienteeritud programmeerimiskeeltes, et vältida suuresti sarnase koodi tarbetut kopeerimist ning edendada koodi loetavust ja vältida vigu. Alatüüp on põhimõtteliselt supertüübi asendaja, mis suudab täita kõiki viimaste spetsifikatsioone ja seejärel mõnda. Nii et kui B on A alamtüüp, saab B-d alati kasutada A asendamiseks ja ka A-ga tagatud omadused peavad olema tagatud ka B-ga.
Alamtüübil on lubatud tugevdada ja isegi lisada omadusi, mis pole supertüübis, mis tähendab, et see võimaldab supertüüpi laiendada. Nii et selle asemel, et luua iga kord uus supertüüp, tuleb midagi uut ja seejärel kopeerida atribuudid ja tingimused teiselt supertüübilt, luua lihtsalt alamtüüp, mis laiendab supertüüpi täiendavate omaduste või omadustega, ilma supertüüpi muutmata. Siis on sel juhul kõik, mis supertüübi suhtes tõestatav, ka alamtüübi ja muu tõestatav. Kui alamtüüpi käsitletakse puhtalt samamoodi nagu supertüüpi, kasutades ja pärides ainult supertüübi meetodeid ja välju, oleksid tulemused kooskõlas supertüübi objektidega.