Ποιες συνέπειες μπορεί να προκύψουν κατά την κλήση μιας εικονικής λειτουργίας μέσα σε έναν καταστροφέα αντικειμένου;

Όταν καλείται μια εικονική λειτουργία μέσα στον καταστροφέα ενός αντικειμένου σε C++, καλείται η έκδοση της λειτουργίας που αντιστοιχεί στον τρέχοντα τύπο του αντικειμένου στη φάση της καταστροφής, και όχι αυτή της παράγωγης κλάσης. Αυτό συμβαίνει επειδή κατά την εκτέλεση του καταστροφέα, το αντικείμενο έχει ήδη "συρρικνωθεί" στην βασική κλάση, και ο μηχανισμός των εικονικών κλήσεων δεν λαμβάνει υπόψη τις παράγωγες κλάσεις.

Συνέπειες:

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

Παράδειγμα:

#include <iostream>

struct Base {
    virtual ~Base() {
        foo(); // κλήση εικονικής λειτουργίας
    }
    virtual void foo() { std::cout << "Base::foo" << std::endl; }
};

struct Derived : Base {
    ~Derived() override {
        std::cout << "Derived destructor" << std::endl;
    }
    void foo() override { std::cout << "Derived::foo" << std::endl; }
};

int main() {
    Base* obj = new Derived();
    delete obj; // θα καλέσει το Base::~Base(), μέσα στο οποίο η foo() θα καλέσει το Base::foo
}

Η έξοδος θα είναι:

Derived destructor
Base::foo

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