Turinys:
Apibrėžimas - Ką reiškia potipis?
Potipis yra programavimo kalbos teorijos nuostata, kai potipis, kuris yra duomenų tipas, yra susijęs su supertipu, grindžiamu pakeičiamumo idėja, kai programos elementai, tokie kaip funkcijos ir paprogramės, kurie yra parašyti supertipui, vis tiek veiks, jei jiems bus suteiktas potipis vietoj. Potipiai yra esminė į objektus orientuoto programavimo sąvoka ir yra pakeičiami supertipais ir kartais netgi turi griežtesnes specifikacijas nei supertipas.
„Techopedia“ paaiškina subtiliavimą
Subtitravimas yra pakaitalų ir kodo pakartotinio naudojimo metodas, naudojamas objektų programavimo kalbose, siekiant išvengti nereikalingo beveik panašaus kodo kopijavimo, skatinti kodo skaitomumą ir užkirsti kelią klaidoms. Potipis iš esmės yra supertipo, galinčio atitikti visas pastarojo specifikacijas, pakaitalas, o po to kai kurie. Taigi, jei B yra A potipis, tada B visada gali būti naudojamas pakeisti A ir bet kurią savybę, kurią garantuoja A, taip pat turi garantuoti B.
Pogrupiui leidžiama sustiprinti ir netgi pridėti savybes, kurių nėra supertype, o tai reiškia, kad tai leidžia išplėsti supertipą. Taigi, užuot sukūrus naują supertipą kaskart, kai reikia kažko naujo, tada kopijuodami savybes ir sąlygas iš kito supertipo, paprasčiausiai galėtų būti sukurtas potipis, kuris praplečia supertipą papildomomis savybėmis ar ypatybėmis nekeisdamas supertipo. Tuomet šiuo atveju viskas, kas įrodyta supertipui, bus įrodyta ir potipiui. Jei potipis traktuojamas lygiai taip pat kaip ir supertipas, naudojant ir suieškant tik supertipo metodus ir laukus, tada rezultatai atitiktų supertipo objektus.
