C++虚函数与虚析构函数

在类中，有两个与众不同的成员函数，那就是构造函数和析构函数。当构造函数与析构函数遭遇继承和多态，它们的运行状况又会出现什么变化呢？

多态性是在父类或各子类中执行最合适成员函数。一般来说，只会选择父类或子类中的某一个成员函数来执行。这可给析构函数带来了麻烦！如果有的资源是父类的构造函数申请的，有的资源是子类的构造函数申请的，而虚函数只允许程序执行父类或子类中的某一个析构函数，岂不是注定有一部分资源将无法被释放？为了解决这个问题，虚析构函数变得与众不同。

下面我们就来给析构函数的前面加上保留字virtual，看看运行的结果会怎么样：（程序17.8）

//animal.h

#include <iostream>

using namespace std;

class Animal

{

public:

Animal(int w=0,int a=0);

virtual ~Animal();//虚析构函数

protected:

int weight,age;

};

Animal::Animal(int w,int a)

{

cout <<"Animal consturctor is running..." <<endl;

weight=w;

age=a;

}

Animal::~Animal()

{

cout <<"Animal destructor is running..." <<endl;

}

//cat.h

#include "animal.h"

class Cat:public Animal

{

public:

Cat(int w=0,int a=0);

~Cat();

};

Cat::Cat(int w,int a):Animal(w,a)

{

cout <<"Cat constructor is running..." <<endl;

}

Cat::~Cat()

{

cout <<"Cat destructor is running..." <<endl;

}

//main.cpp

#include "cat.h"

int main()

{

Animal *pa=new Cat(2,1);

Cat *pc=new Cat(2,4);

cout <<"Delete pa:" <<endl;

delete pa;

cout <<"Delete pc:" <<endl;

delete pc;

return 0;

}

运行结果：

Animal consturctor is running...

Cat constructor is running...

Animal consturctor is running...

Cat constructor is running...

Delete pa:

Cat destructor is running...

Animal destructor is running...

Delete pc:

Cat destructor is running...

Animal destructor is running...

我们惊讶地发现，虚析构函数不再是运行父类或子类的某一个析构函数，而是先运行合适的子类析构函数，再运行父类析构函数。即两个类的析构函数都被执行了，如果两块资源分别是由父类构造函数和子类构造函数申请的，那么使用了虚析构函数之后，两块资源都能被及时释放。

我们修改程序17.8，将Animal类析构函数前的virtual去掉，会发现运行结果中删除pa指向的Cat对象时，不执行Cat类的析构函数。如果这时Cat类的构造函数里申请了内存资源，就会造成内存泄漏了。

所以说，虚函数与虚析构函数的作用是不同的。虚函数是为了实现多态，而虚析构函数是为了同时运行父类和子类的析构函数，使资源得以释放。