В следующем примере b – это тип полиморфного указателя, статический тип которого — Base*, а динамический тип — Derived*.
struct Base
{
virtual void f();
};
struct Derived : Base
{
};
int main()
{
Base *b = new Derived();
// ...
delete b;
}
Что происходит, когда b удаляется без виртуального деструктора?
Что происходит, когда b удаляется без виртуального деструктора?
Мы не знаем. Поведение не определено. В большинстве реальных случаев деструктор Derived может не вызываться, но ничего не гарантируется.
(выделено мной)
В первом варианте (удаление объекта), если статический тип удаляемого объекта отличается от его динамического типа, статический тип должен быть базовым классом динамического типа удаляемого объекта, а статический тип type должен иметь виртуальный деструктор, иначе поведение не определено.
