Florian Moraru PROGRAMAREA CALCULATOARELOR în limbajul C

virtuale (unul singur pentru o clasã), care este un vector de pointeri. Un apel de metodã
virtualã este tradus printr-un apel indirect prin adresa tabelului de metode virtuale, iar
un apel de metodã nevirtualã este tradus printr-un apel la o adresã fixã, stabilitã de
compilator pentru metoda respectivã.
Altfel spus, adresa functiei apelate este stabilitã la compilare pentru orice metodã
nevirtualã (“legare timpurie”), dar este stabilitã la executie pentru orice metodã
virtualã (“legare târzie”). Functia virtualã este apelatã printr-un pointer (referintã);
acel pointer trimite cãtre un obiect, iar acel obiect trimite cãtre tabelul de metode
virtuale al clasei de care apartine si deci la implementarea specificã clasei respective.
Functiile polimorfice (virtuale) au sens numai într-o ierarhie de clase (de tipuri).
Metodele virtuale împreunã cu colectiile de pointeri la tipul generic “Object” permit
realizarea de colectii generice, care pot reuni obiecte de orice tip si chiar de tipuri
diferite într-o aceeasi colectie. Putem deci sã avem o singurã clasã “Array” pentru
vectori de pointeri la obiecte, indiferent de tipul acestor obiecte, cu conditia ca el sã fie
subtip al tipului “Object”. Clasa anterioarã “Int” aratã cã pentru a memora date de un
tip primitiv într-un astfel de vector generic trebuie sã includem tipul primitiv într-o
clasã derivatã din “Object” (operatie numitã si “boxing” ). In Java si C# existã clase
anvelopã pentru toate tipurile de date primitive (char, int, long, float, double, s.a.) .
Clase abstracte
O superclasã poate fi atât de generalã încât sã nu se poatã preciza implementarea
unor metode, care pot fi însã declarate ca tip, parametri si efect (ca mod de utilizare).
Astfel de metode se numesc metode abstracte, iar o clasã cu metode abstracte este o
clasã abstractã, care nu poate genera obiecte (nu se poate instantia).
Rolul unei clase abstracte este numai acela de a servi ca bazã pentru derivarea altor
clase, deci ca tip comun mai multor subtipuri.
In C++ o metodã abstractã este o metodã virtualã purã, declaratã astfel:
// metode virtuale pure (abstracte)
virtual void print () =0; // nu este o atribuire, este un nod de declarare
virtual int equals (Object *) =0;
O metodã abstractã poate rãmâne abstractã într-o subclasã, sau poate fi definitã, cu
acelasi tip si cu aceleasi argumente ca în superclasã.
O metodã abstractã este altceva decât o metodã cu definitie nulã (fãrã efect) :
// metode virtuale cu definitie nulã (neabstracte)
virtual void print () { }
virtual int equals (Object *) { }
O metodã abstractã din superclasã trebuie implementatã într-o subclasã pentru a
crea obiecte, iar aceastã obligatie poate fi verificatã de cãtre compilator. Compilatorul
nu poate însã verifica dacã o metodã cu definitie nulã în superclasã a fost sau nu
redefinitã în subclase.