在类中,有两个与众不同的成员函数,那就是构造函数和析构函数。当构造函数与析构函数遭遇继承和多态,它们的运行状况又会出现什么变化呢?
多态性是在父类或各子类中执行最合适成员函数。一般来说,只会选择父类或子类中的某一个成员函数来执行。这可给析构函数带来了麻烦!如果有的资源是父类的构造函数申请的,有的资源是子类的构造函数申请的,而虚函数只允许程序执行父类或子类中的某一个析构函数,岂不是注定有一部分资源将无法被释放?为了解决这个问题,虚析构函数变得与众不同。
下面我们就来给析构函数的前面加上保留字 virtual,看看运行的结果会怎么样:
- //animal.h
- #include <iostream>
- using namespace std;
- class Animal
- {
- public:
- Animal(int w = 0, int a = 0);
- virtual ~Animal();
- protected:
- int weight;
- int age;
- };
- Animal::Animal(int w, int a)
- :weight(w), age(a)
- {
- cout <<"Animal consturctor 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(void)
- {
- 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...
发现虚析构函数不再是运行父类或子类的某一个析构函数,而是先运行合适的子类析构函数,再运行父类析构函数。即两个类的析构函数都被执行了,如果两块资源分别是由父类构造函数和子类构造函数申请的,那么使用了虚析构函数之后,两块资源都能被及时释放。
我们修改程序,将 Animal 类析构函数前的 virtual 去掉
运行结果:
Animal consturctor is running...
Cat constructor is running...
Animal consturctor is running...
Cat constructor is running...
>>> Delete pa <<<
Animal destructor is running...
>>> Delete pc <<<
Cat destructor is running...
Animal destructor is running...
发现运行结果中删除 pa 指向的 Cat 对象时,不执行 Cat 类的析构函数。如果这时 Cat 类的构造函数里申请了内存资源,就会造成内存泄漏了。
所以说,虚函数与虚析构函数的作用是不同的。
虚函数是为了实现多态,而
虚析构函数是为了同时运行父类和子类的析构函数,使资源得以释放。
阅读(404) | 评论(0) | 转发(0) |