Что происходит при удалении полиморфного объекта без виртуального деструктора?

Question

В следующем примере, b является полиморфным типом указателя которого статического типа Base* и чей динамического типа Derived*.

struct Base 
{ 
    virtual void f(); 
}; 

struct Derived : Base 
{ 

}; 

int main() 
{ 
    Base *b = new Derived(); 
    // ... 
    delete b; 
} 

Что происходит, когда b удаляется без виртуального деструктора?

Answer 1

Что происходит, когда b удаляется без виртуального деструктора?

Мы не знаем. Поведение не определено. Для большинства фактических случаев деструктор Derived не может быть вызван, но ничего не гарантируется.

5.3.5 Delete [expr.delete]

(курсив мой)

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

Answer 2

По сути, это зависит от целевого компилятора и в общем случае

delete b; 

является вызов функции descructor для типа Ь и затем свободно выделенной памяти. Итак, если деструктор виртуальный, то вызываемая функция из виртуальной таблицы (~ Derived), но если это не называется функцией из класса (~ Base). Ожидаемый результат: будет вызываться только базовая.