在没有虚拟析构函数的情况下删除基类指针会导致内存泄漏吗？

Question

这里是一个解释虚拟析构函数的例子。（见http://www.geeksforgeeks.org/g-fact-37/） 我根据那个例子修改了代码，有一个关于内存泄漏的问题。

假设 Base 类有一个 int num 变量，Derived 类有一个 float money 变量。

在调用delete base_ptr;时，由于基类的析构函数是虚函数，所以应该先调用~derived()，再调用~Base()。

我的问题是“函数 delete 是否足够聪明，以至于它可以释放分配给 int num(Base Class) 和 float money(Derived Class) 的内存？

我认为 base_ptr 是 Base* 类型的指针，因此它可能只会释放 Base 类所需的内存量。但是，即使 base_ptr 指向 Base 类的类型，似乎 int 和 float 也会被释放。如果是这样的话，如果我们将~Base()设为非虚拟析构函数会导致内存泄漏吗？使用~Base() 的非虚拟析构函数，我们将错过~Derived() 的调用。因为在基类和派生类“内”没有动态分配任何内容，看来~Derived() 实际上根本没有释放任何内存，delete 的函数将释放int num 和float money 的内存。

#include <iostream>
using namespace std;

class Base {
public:
    int num;

 Base(int n):num(n){
    cout<<"Base::Constructor\n";
 }
    virtual ~Base(){
    cout<<"Base::Destructor\n";
 }
};

class Derived : public Base {
private:
  float money;
public:
 Derived(int n, float m):Base(n),money(m){
    cout<<"Derived::Constructor\n";
 }
 ~Derived(){
    cout<<"Derived::destructor\n";
 }
};



int main() {
    Base *base_ptr = new Derived(1,200.0);
    delete base_ptr;
    return 0;
}

Answer 1

您所描述的是未定义的行为，这意味着任何令人讨厌的东西都可能出错，而不仅仅是内存泄漏。

但实际上，如果继承不是虚拟的，派生类没有其他基类，派生类没有具有非平凡析构函数的成员，您可能会调用 Base::~Base() 析构函数，然后 @ 987654322@ 在指针上调用。 operator delete(void*) 函数只接受一个指针并释放它所指向的所有内存，因此不会出现“内存泄漏”。