Кадрҳои виртуалӣ дар дохили нобудкунандаи объект чӣ оқибатҳо метавонанд пайдо шаванд?

Ҳангоми даъвати функсияи виртуалӣ дар дохили destructori объект дар C++, версияи функсияе, ки мувофиқ ба навъи ҳозираи объект дар марҳилаи нобудкунӣ аст, даъват мешавад, на он аз синфи меросӣ. Ин ба он вобаста аст, ки дар вақти иҷрои destructori объект аллакай ба синфи асосӣ "камтар" шудааст, ва механизмҳои даъвати виртуалӣ синфҳои меросиро ба назар намегиранд.

Омилиҳо:

• Агар функсияи виртуалӣ дар синфи меросӣ такрор шуда бошад, даъвати дар дохили destructori синфи асосӣ ин нусхаи такроршударо намеояд, балки нусхаи асосиро.
• Ин метавонад ба рафтори номувофиқ ё хатоҳо оварда расонад, агар функсия аз ҳолати синфи меросӣ вобаста бошад, ки аллакай нобуд шудааст.

Масалан:

#include <iostream>

struct Base {
    virtual ~Base() {
        foo(); // даъвати функсияи виртуалӣ
    }
    virtual void foo() { std::cout << "Base::foo" << std::endl; }
};

struct Derived : Base {
    ~Derived() override {
        std::cout << "Деструктор Derived" << 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
Base::foo

Аз ин рӯ, даъвати функсияи виртуалӣ дар destructori он версияи такроршударо аз синфи меросӣ намеояд.