«Удаляет» работу с полиморфизмом?

Question

BaseClass * p = new DerivedClass(); 
delete p; 

Я знаю, что вторая линия будет вызывать деструктор базового класса, если он не имеет виртуальный деструктор и что производный класс, если он делает, но будет delete правильно освободить память (скажем BaseClass «s объект занимает 8 байтов пространства и DerivedClass - один из 12 - освободит ли он 8 или 12 байтов) и избавится от объекта в любом случае?

Answer 1

Ну, в случае, если у него есть деструктор virtual, конечно же объект будет уничтожен, а память освободится, как и ожидалось. Если он не имеет деструктора virtual, поведение не определено.

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

Так что на самом деле не имеет смысла пытаться рассуждать о том, будет ли память полностью освобождена или нет. Программа может делать все, что угодно, с памятью.

Answer 2

Если деструктор не является виртуальным, delete не удаляет производный класс.

Я попытался это:

#include<iostream> 

using namespace std; 

class Base { 
public: 
    Base() { 
     cout<<"Creating base."<<endl; 
    } 

    ~Base() { 
     cout<<"Killing base."<<endl; 
    } 
}; 

class Derived: public Base { 
public: 
    Derived() { 
     cout<<"Creating derived."<<endl; 
    } 

    ~Derived() { 
     cout<<"Killing derived."<<endl; 
    } 
}; 

int main() { 
    Base *p = new Derived(); 
    delete p; 
    return 0; 
} 

Компиляция на G ++ 4.7.3 (оптимизация по умолчанию), я получаю

Creating base. 
Creating derived. 
Killing base. 

Обратите внимание на отсутствие Killing derived.