Polimorfismo e funzioni virtuali

Il Polimorfismo consente di trattare oggetti di classi derivate diverse tramite un puntatore o riferimento alla loro classe base, garantendo l'esecuzione della versione corretta di ciascun metodo a runtime (Late Binding).

Funzioni Virtuali: virtual ed override

Per abilitare il polimorfismo su un metodo, dobbiamo dichiararlo con la parola chiave virtual all'interno della classe base. Nelle classi derivate, usiamo lo specificatore override per indicare esplicitamente che stiamo sovrascrivendo tale metodo.

class Employee {
public:
    virtual void work() {
        std::cout << "Lavoro generico" << std::endl;
    }
    // IMPORTANTE: Distruttore virtuale nella classe base per evitare memory leak
    virtual ~Employee() = default;
};

class Developer : public Employee {
public:
    void work() override {
        std::cout << "Scrittura codice in C++" << std::endl;
    }
};

Utilizzando puntatori alla classe base, C++ risolverà il metodo corretto a runtime:

Employee* emp = new Developer();
emp->work(); // Stampa "Scrittura codice in C++" invece di "Lavoro generico"
delete emp;

Classi Astratte e Funzioni Virtuali Pure

Una funzione virtuale pura è una funzione membro virtuale dichiarata con = 0 alla fine. Essa rappresenta un contratto formale: la classe base non fornisce alcuna implementazione, delegandola interamente alle sottoclassi.

Una classe che contiene almeno una funzione virtuale pura è detta Classe Astratta e non può essere istanziata direttamente.

class Instrument {
public:
    virtual void play() = 0; // Virtuale pura
    virtual ~Instrument() = default;
};

class Piano : public Instrument {
public:
    void play() override {
        std::cout << "Suono del pianoforte..." << std::endl;
    }
};

Prova tu