Для чего используется virtual у деструктора

1️⃣ Как кратко ответить

Ключевое слово virtual у деструктора используется для обеспечения корректного вызова деструкторов в иерархии наследования. Это гарантирует, что при удалении объекта через указатель на базовый класс будет вызван деструктор как базового, так и производного классов, предотвращая утечки памяти и другие ошибки.

2️⃣ Подробное объяснение темы

В C++ деструкторы используются для освобождения ресурсов, которые были выделены объектом в течение его жизненного цикла. Когда мы имеем дело с наследованием, важно, чтобы деструкторы вызывались в правильном порядке, особенно если объекты удаляются через указатели на базовый класс.

Проблема без virtual

Рассмотрим следующую ситуацию: у нас есть базовый класс Base и производный класс Derived. Если деструктор базового класса не объявлен как virtual, то при удалении объекта через указатель на базовый класс будет вызван только деструктор базового класса, что может привести к утечке памяти или другим проблемам, если производный класс выделяет ресурсы.

#include <iostream>
​
class Base {
public:
    ~Base() {
        std::cout << "Base destructor\n";
    }
};
​
class Derived : public Base {
public:
    ~Derived() {
        std::cout << "Derived destructor\n";
    }
};
​
int main() {
    Base* obj = new Derived();
    delete obj; // Вызывает только Base destructor
    return 0;
}

В этом примере, при удалении obj, вызывается только деструктор Base, а деструктор Derived не вызывается, что может привести к утечке ресурсов, если Derived выделяет память или другие ресурсы.

Решение с virtual

Чтобы гарантировать, что деструкторы вызываются в правильном порядке, деструктор базового класса должен быть объявлен как virtual. Это позволяет механизму виртуальных функций C++ вызывать правильные деструкторы в иерархии наследования.

#include <iostream>
​
class Base {
public:
    virtual ~Base() {
        std::cout << "Base destructor\n";
    }
};
​
class Derived : public Base {
public:
    ~Derived() {
        std::cout << "Derived destructor\n";
    }
};
​
int main() {
    Base* obj = new Derived();
    delete obj; // Вызывает Derived destructor, затем Base destructor
    return 0;
}

Теперь, когда деструктор Base объявлен как virtual, при удалении obj сначала вызывается деструктор Derived, а затем деструктор Base. Это гарантирует, что все ресурсы, выделенные как в производном, так и в базовом классах, будут корректно освобождены.

Зачем это нужно

Использование virtual у деструктора необходимо в ситуациях, когда объекты могут быть удалены через указатели на базовый класс. Это особенно важно в больших системах, где управление памятью и ресурсами критично для стабильности и производительности. Без virtual у деструктора можно столкнуться с утечками памяти, некорректным освобождением ресурсов и другими трудноуловимыми ошибками.