为什么父类析构函数必须为虚函数

在这里先说答案，后面详细解释

1、如果父类的析构函数不是虚函数，则不会触发动态绑定（多态），结果就是只会调用父类的析构函数，而不会调用子类的析构函数，从而可能导致子类的内存泄漏（如果子类析构函数中存在free delete 等释放内存操作时）；

2、如果父类的析构函数是虚函数，则子类的析构函数一定是虚函数（即使是子类的析构函数不加virtual,这是C++的语法规则），则会在父类指针或引用指向一个子类时，触发动态绑定（多态），析构实例化对象时，若是子类则会执行子类的析构函数，同时，编译器会在子类的析构函数中插入父类的析构函数，最终实现了先调用子类析构函数再调用父类析构函数。

#include

#include

#include

#include

using namespace std;

class base

{

public:

~base()

{

cout<<"父类析构函数被调用"<

}

};

class derived:public base

{

public:

char *m_str;

derived()

{

m_str = new char(100);

}

~derived()

{

cout<<"子类的析构函数被调用"<

delete m_str;

}

};

int main()

{

base *p = new derived();//父类指针指向子类对象

delete p ;//这是只调用了父类的析构函数，未执行子类的析构函数delete m_str;造成内存泄漏

base *m = new base();//父类指针指向父类

delete m;//这是不会造成内存泄漏

return 0;

}

输出：

父类析构函数被调用

父类析构函数被调用

请按任意键继续. . .

将父类析构函数改成虚函数如下：

#include

#include

#include

#include

using namespace std;

class base

{

public:

virtual ~base()

{

cout<<"父类析构函数被调用"<

}

};

class derived:public base

{

public:

char *m_str;

derived()

{

m_str = new char(100);

}

~derived()

{

cout<<"子类的析构函数被调用"<

delete m_str;

}

};

int main()

{

base *p = new derived();//父类指针指向子类对象

delete p ;//因为析构函数是虚函数，导致多态，调用析构函数时会在虚函数表里找，找到的是子类的析构函数，

//调用子类的析构函数，释放内存，然后再次调用父类的析构函数，这样就不会导致内存泄漏

return 0;

}

输出：

子类的析构函数被调用

父类析构函数被调用

请按任意键继续. . .