派生类类型与基类的兼容性会导致内存泄漏吗？

Question

我了解派生类与其基类的指针类型兼容。在给定的示例代码中，new bar 对象构造发生在调用foo::foo() 后跟bar::bar()。在各自的构造函数中，我将资源分配给类成员foo::int *a 和bar::int *b。

现在我将这样构造的对象初始化为基类类型。使用obj，我可以调用基类析构函数，但不能调用派生类析构函数。那么，在这种情况下如何释放派生类资源呢？这不是内存泄漏吗？

#include <iostream>
class foo
{
    int *a;
public:
    foo()
    {
        a = new int[5];
        std::cout << "\n foo constructor" << std::endl;
    }
    ~foo()
    {
        std::cout << "\n foo destructor" << std::endl;
        delete[] a;
    }
};

class bar : public foo
{
    int *b;
public:
    bar()
    {
        b = new int[5];
        std::cout << "\n bar constructor" << std::endl;
    }
    ~bar()
    {
        std::cout << "\n bar destructor" << std::endl;
        delete[] b;
    }
};

int main()
{
    foo *obj = new bar; // Derived class object is type compatible with base class

    delete obj; // Equivalent to obj->~foo();
    return 0;
}

谢谢。

Answer 1

这就是“虚拟析构函数”的想法出现的地方。从技术上讲，如果通过基类类型的指针删除对象，则必须将该基类析构函数标记为虚拟，否则结果未定义。如果确实将析构函数标记为virtual，则其含义与其他虚函数不同。而不是“派生类覆盖此行为”，而是“通过基类指针删除此对象时，在调用基构造函数之前调用派生析构函数”。这是你想要的行为。

作为一般规则，您定义的任何计划子类化的类都应该有一个虚拟析构函数来防止此类问题。

Answer 2

如果您通过指向其基类之一的指针delete 派生类对象，则基类析构函数必须声明为virtual，否则行为未定义。

如果~foo() 被声明为virtual，你就可以走了。将首先调用~bar()，然后调用~foo()。

Answer 3

这实际上是一种未定义的行为。

来自标准文档。 5.3.5.3 删除,

在第一种选择（删除对象）中，如果操作数的静态类型与其动态类型不同，静态类型 应该是操作数动态类型的基类，静态类型应该有一个虚拟析构函数，否则行为是 未定义。 ......

Answer 4

这样做，

virtual ~foo()
{
   //your code
}

这确保执行delete *pFoo 也会调用派生类析构函数（~bar()）。调用顺序为~bar()，后跟~foo()。

---

如果你也对~bar()做同样的事情也很好，也就是说，

virtual ~bar()
{
   //your code
}

虽然如果您不想进一步从 bar 派生并希望将 bar* 用于它的派生类，那么对于这种情况并没有太大必要。