c++ - 将删除与基类指针一起使用会导致内存泄漏吗？

Question

给定两个类只有原始数据类型，没有自定义析构函数/释放器。C++ 规范是否保证它会以正确的大小释放？

struct A { int foo; };
struct B: public A { int bar[100000]; };
A *a = (A*)new B;
delete a;

我想知道我需要写一个空的virtual dtor吗？

我已经尝试过 g++ 和 vc++2008，它们不会导致泄漏。但我想知道 C++ 标准中什么是正确的。

Answer 1

除非基类析构函数是虚拟的，否则它是未定义的行为。见 5.3.5/4:

If the static type of the operand [of the delete operator] is different from its dynamic type, the static type shall be a base class of the operand's dynamic type and the static type shall have a virtual destructor or the behaviour is undefined.