Ist es sicher, ein POD-Objekt durch einen Zeiger auf seine Basis zu löschen?

Question

Eigentlich denke ich über trivial zerstörbare Objekte, nicht nur über POD (ich bin nicht sicher, POD kann Basisklasse haben).

Wenn ich lese diese Erklärung für is_trivially_destructible von cppreference Ich bemerke dies:

Lagerung von trivialer zerstörbare Objekte besetzt werden können, ohne den Aufruf der destructor wiederverwendet werden.

So ist es sicher, das zu tun:

struct A { 
    int a; 
}; 
struct B : A { 
    int b; 
}; 
int main() { 
    A* a = new B; 
    delete a; 
} 

B::~B() wird nicht genannt werden - und AFAIK (bitte korrigieren, wenn ich falsch bin) der gesamte Speicher freigegeben wird. Und B::~B() ist sicher trivial.

Ich weiß, dass dieser Code schlecht riecht, aber meine Frage ist nur über Sicherheit dieses Codes ...

Answer 1

Nein, das ist nicht erlaubt. [Expr.delete]/p3, emphasis Mine:

In der ersten Alternative (Objekt löscht), wenn der statische Typ des Objekts von seinem dynamischen Typ, der statische Typ verschiedenen gelöscht werden ist eine Basisklasse des dynamischen Typs des Objekts seiner gelöscht werden und der statische Typ einen virtuellen destructor oder das Verhalten nicht definiert ist haben soll.

In der Tat, das Komitee vor kurzem rejecteda proposal to make deleting a POD via a pointer-to-base well-defined.