Правильно ли работает удаление с полиморфизмом?

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

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

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

Если деструктор не виртуальный, 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.