Зачем нужны виртуальные деструкторы?

Question

Я знаю, что они используются для получения деструктора любых подклассов (при удалении указателя). Но что происходит в фоновом режиме?

Я имею в виду, что подкласс наследует этот виртуальный деструктор своего базового класса. Наследовать что-то значит для меня, чтобы получить что-то такое, как оно есть. Но в этом случае подкласс не получает тот же деструктор, который имеет базовый класс. (Может быть, он получает то же самое, особенно если у него нет тела). Дело в том, что он делает другие вещи, даже если подкласс не переопределяет его. Итак, как это работает?

Допустим, мы имеем (C++):

class BaseClass{ 
    int i; 
    public: 
    virtual ~BaseClass(){} 
}; 

class SubClass: public BaseClass{ 
    int j; 
}; 

BaseClass* bptr = new SubClass; 
delete bprt; 

В этом случае мы хотим, чтобы программа освобождения памяти объекта потребностей типа подкласса. То есть, унаследованный int i и собственный int j. Если у нас не было виртуального деструктора в BaseClass, тогда будет использован деструктор, созданный по умолчанию в BaseClass (у него есть пустое тело, и после этого все члены BaseClass будут удалены и память освободится).

Большой вопрос: виртуальный деструктор в BaseClass будет наследоваться SubClass, но SubClass не переопределяет его. Почему унаследованный деструктор больше, чем в классе, на который он унаследован? (он удаляет как целые числа i, так и j при выполнении объекта SubClass)

Answer 1

Во-первых, как new как распределяет память, а затем запускает конструктор, delete будет запускать деструкторы, а затем освобождать память.

Когда вы создаете новый SubClass, он сначала создает BaseClass и запускает его конструктор, затем делает SubClass и запускает его конструктор.

Когда мы вызываем delete, деконструкция происходит в обратном порядке. Сначала удаляется Subclass, затем BaseClass.

Обратите внимание: сначала это отличается от других виртуальных функций - только один экземпляр переопределенной функции будет вызван. Деструкторы являются особыми.

Если BaseClass не является виртуальным, они, когда вы вызываете delete bprt;, вызывается только деструктор BaseClass. Это плохо.

В вашем случае у вас есть виртуальный деструктор базы данных и явным образом не написал ваш собственный (и вы не сделали невозможным создание компилятором для вас), поэтому компилятор генерирует его для вас. См. here

Почему это беспокоило? Поскольку деструктор вызывается, когда вы вызываете объект delete, или он выходит из области видимости. Делает ли это «делать больше» - ну нет, не в этом случае.