Πώς καλείτε μια καθαρή εικονική μέθοδο;

Δεν είναι δυνατόν να καλέσετε άμεσα μια καθαρή εικονική μέθοδο μέσω δείκτη σε μια αφηρημένη βασική κλάση ή μέσω ενός αντικειμένου αυτής της κλάσης, καθώς δεν έχει ορισμό στη βασική κλάση.

Ωστόσο, μια καθαρή εικονική μέθοδος μπορεί να κληθεί από τον κατασκευαστή ή τον καταστροφέα υποκείμενης κλάσης, στην οποία η μέθοδος αυτή έχει υλοποίηση. Σε αυτήν την περίπτωση, η κλήση θα επιτραπεί σε στατικό επίπεδο, και θα κληθεί η υλοποίηση της κλάσης στην οποία γίνεται η κλήση.

Παράδειγμα κλήσης από τον κατασκευαστή υποκείμενης κλάσης:

#include <iostream>

class Base {
public:
    virtual void pure_virtual_method() = 0; // Καθαρή εικονική μέθοδος
};

class Derived : public Base {
public:
    void pure_virtual_method() override {
        std::cout << "Υλοποίηση στην Derived\n";
    }

    Derived() {
        // Κλήση καθαρής εικονικής μεθόδου από τον κατασκευαστή υποκείμενης κλάσης
        pure_virtual_method();
    }
};

int main() {
    Derived obj; // Δημιουργία αντικειμένου υποκείμενης κλάσης, που καλεί τον κατασκευαστή
    return 0;
}

Σε αυτό το παράδειγμα, κατά τη δημιουργία του αντικειμένου obj της κλάσης Derived, καλείται ο κατασκευαστής Derived, στον οποίο γίνεται η κλήση pure_virtual_method(). Επειδή η κλάση Derived έχει υλοποίηση αυτής της μεθόδου, αυτή θα κληθεί επιτυχώς.

Κατά την προσπάθεια να καλέσετε μια καθαρή εικονική μέθοδο από τον κατασκευαστή ή τον καταστροφέα αφηρημένης βασικής κλάσης, στην οποία έχει δηλωθεί, θα προκύψει συμπεριφορά μη ορισμένης συμπεριφοράς (undefined behavior), καθώς τη στιγμή της εκτέλεσης του κατασκευαστή ή του καταστροφέα, η vtable της βασικής κλάσης δεν έχει ακόμη κατασκευαστεί πλήρως ή έχει ήδη καταστραφεί, και η αντίστοιχη υλοποίηση στην υποκείμενη κλάση δεν είναι διαθέσιμη.

Επίσης, μπορείτε να καλέσετε μια καθαρή εικονική μέθοδο από την υποκείμενη κλάση, χρησιμοποιώντας την προσδιοριστική περιοχή (Base::pure_virtual_method()), αλλά αυτό είναι δυνατό μόνο από υλοποίηση της καθαρής εικονικής μεθόδου στην υποκείμενη κλάση, εάν καλεί υλοποίηση από τη βασική κλάση (που δεν ισχύει για καθαρή εικονική μέθοδο) ή άλλη λειτουργία που καλεί την καθαρή εικονική μέθοδο (που επίσης οδηγεί σε μη ορισμένη συμπεριφορά), ή για την κλήση μη εικονικής μεθόδου με το ίδιο όνομα από τη βασική κλάση.

Ο σωστός τρόπος αλληλεπίδρασης με τη λογική που παρουσιάζεται από την καθαρή εικονική μέθοδο είναι η δημιουργία αντικειμένου υποκείμενης κλάσης και η κλήση αυτής της λογικής μέσω δείκτη ή αναφοράς στη βασική κλάση (πολυμορφισμός).

#include <iostream>

class Base {
public:
    virtual void pure_virtual_method() = 0;
};

class Derived : public Base {
public:
    void pure_virtual_method() override {
        std::cout << "Υλοποίηση στην Derived μέσω πολυμορφισμού\n";
    }
};

int main() {
    Base* ptr = new Derived(); // Πολυμορφική κλήση
    ptr->pure_virtual_method();
    delete ptr;
    return 0;
}

Έτσι, η "καλέστε μια καθαρή εικονική μέθοδο" με την ευρεία έννοια (μέσω αντικειμένου ή δείκτη σε βασική κλάση που δεν έχει ορισμό) δεν είναι δυνατή. Η κλήση είναι δυνατή μόνο από τον κατασκευαστή ή τον καταστροφέα της υποκείμενης κλάσης με την υλοποίησή του, ή έμμεσα, μέσω πολυμορφισμού, δημιουργώντας ένα αντικείμενο υποκείμενης κλάσης.