Τι γνωρίζετε για τη λέξη-κλειδί virtual στη C++…

Το virtual στη C++ χρησιμοποιείται για τον ορισμό εικονικών συναρτήσεων στην βασική κλάση. Αυτό επιτρέπει την υλοποίηση πολυμορφισμού κατά την εκτέλεση (runtime polymorphism).

Εφαρμογή:

Ορίζει μια λειτουργία στην βασική κλάση που μπορεί να υπερισχύσει (override) σε κλάσεις που κληρονομούν.
Όταν μια εικονική λειτουργία καλείται μέσω δείκτη ή αναφοράς στη βασική κλάση, στην πραγματικότητα καλείται η υλοποίηση της λειτουργίας στο αντικείμενο της κλάσης που κληρονομεί (αν έχει υπερισχύσει). Αυτό γίνεται κατά την εκτέλεση μέσω του πίνακα εικονικών συναρτήσεων (vtable).

Βασικά σημεία:

Μόνο οι λειτουργίες μελών της κλάσης μπορούν να είναι εικονικές. Οι παγκόσμιες λειτουργίες, οι στατικές λειτουργίες και οι κατασκευαστές δεν μπορούν να είναι εικονικές.
Οι καταστροφείς (destructors) πρέπει συχνά να είναι εικονικοί για να αποφεύγονται διαρροές μνήμης κατά τη διαγραφή αντικειμένων κλάσεων που κληρονομούν μέσω δείκτη στη βασική κλάση.
Αν μια λειτουργία δηλωθεί virtual στη βασική κλάση, παραμένει αυτόματα εικονική σε όλες τις κλάσεις που κληρονομούν, ακόμη και αν το λέξη-κλειδί virtual δεν χρησιμοποιείται ρητά εκεί (αν και συνιστάται η χρήση virtual και override στις κλάσεις που κληρονομούν για σαφήνεια).
Οι καθαρές εικονικές λειτουργίες δηλώνονται με = 0 και καθιστούν την κλάση αφηρημένη. Μια τέτοια κλάση δεν μπορεί να δημιουργηθεί άμεσα.

Παράδειγμα:

#include <iostream>

class Base {
public:
    virtual void print() {
        std::cout << "Από τη Βάση" << std::endl;
    }

    virtual ~Base() {
        std::cout << "Καταστροφέας Βάσης" << std::endl;
    }
};

class Derived : public Base {
public:
    void print() override { // Χρήση του override για σαφή ένδειξη υπερκάλυψης
        std::cout << "Από την Derived" << std::endl;
    }

    ~Derived() override { // Χρήση του override
        std::cout << "Καταστροφέας Derived" << std::endl;
    }
};

int main() {
    Base* ptr = new Derived(); // Δείκτης στη βασική κλάση που δείχνει σε αντικείμενο της κλάσης που κληρονομεί

    ptr->print(); // Καλείται η Derived::print() λόγω της εικονικής λειτουργίας
    delete ptr;   // Καλούνται οι καταστροφείς Derived και μετά Base λόγω του εικονικού καταστροφέα

    return 0;
}

Σχετικές έννοιες:

vtable (πίνακας εικονικών συναρτήσεων): Πίνακας δεικτών σε εικονικές συναρτήσεις της κλάσης. Κάθε αντικείμενο με εικονικές συναρτήσεις περιέχει έναν αόρατο δείκτη (vptr) στον vtable της κλάσης του.
vptr (δείκτης στον vtable): Απαραίτητος για τον προσδιορισμό της καλούμενης λειτουργίας κατά την εκτέλεση.
= 0 (καθαρή εικονική λειτουργία): Υποδηλώνει ότι η λειτουργία δεν έχει υλοποίηση σε αυτήν την κλάση, καθιστώντας την την κλάση αφηρημένη.
override (καθοριστής υπερκάλυψης): Δείχνει ρητά ότι η λειτουργία στην κλάση που κληρονομεί υπερκαλύπτει μια εικονική λειτουργία της βασικής. Βοηθά στον εντοπισμό σφαλμάτων από τον μεταγλωττιστή.
final (καθοριστής): Απαγορεύει περαιτέρω υπερκάλυψη εικονικών λειτουργιών ή κληρονομία από την κλάση.

Εν κατακλείδι: Το virtual είναι ο βασικός μηχανισμός για την υλοποίηση πολυμορφισμού μέσω κληρονομικότητας και δυναμικής δέσμευσης συναρτήσεων στη C++.

Τι γνωρίζετε για τη λέξη-κλειδί virtual στη C++;