Kas yra paveldėjimas ir polimorfizmas nuorodų tipų kontekste?

Paveldėjimas yra OOP mechanizmas, leidžiantis kurti naujas klases remiantis esamomis. Nauja klasė (paveldėtojas) paveldi tėvų klasės laukus ir metodus, taip pat gali pridėti savo arba perrašyti esamus. Tai skatina kodo pakartotinį naudojimą ir loginių hierarchijų kūrimą.

Polimorfizmas yra objekto iš skirtingų klasių gebėjimas reaguoti į tą patį metodą skirtingai. Referencinių duomenų tipų atveju tai reiškia, kad galima dirbti su skirtingų klasių objektais per bazinės klasės arba sąsajos nuorodą. Iškviečiamos metodo konkreti įgyvendinimas priklausys nuo tikrojo objekto tipo vykdymo metu. Yra du pagrindiniai polimorfizmo tipai:

• Statinis (metodų perkripimas): tas pats metodas turi keletą įgyvendinimų su skirtingais parametrais. Kompiliatorius nusprendžia, kurį naudoti pagal metodo parašą.
• Dinaminis (metodų perrašymas): pogrupis pateikia savo įgyvendinimą, kuris jau yra apibrėžtas tėvų klasėje. Metodo iškvietimas per nuorodą į tėvų klasę vykdomas, kad būtų įgyvendinta pogrupio versija (jei ji yra).