一、问题引入
使用多态时，如果有一些子类的成员开辟在堆区，那么在父类执行完毕释放后，没有办法去释放子类的内存，这样会导致内存的泄漏。如下代码段。
如果没有堆区的数据，可以不写虚析构或纯虚析构。
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
#include <iostream>
#include <string>
using namespace std;
class Animal{
public:
Animal(){
cout<<"Animal-构造"<<endl;
}
~Animal(){
cout<<"Animal-析构"<<endl;
}
virtual void Run()=0; //纯虚函数无需实现，只需声明
};
class Cat:public Animal{
public:
string *s_name;
Cat(string name){
s_name = new string(name);//在堆区创建内存
cout<<"Cat-构造"<<endl;
}
void Run()
{
cout<<*s_name<<"->"<<"Cat-Run"<<endl;
}
~Cat(){
cout<<"Cat-析构"<<endl;
if(s_name!=NULL){
delete s_name;
s_name=NULL;
}
}
};
int main()
{
Animal *a;
a = new Cat("Tom");
a->Run();
delete a; //父类指针析构的时候，不会调用子类析构函数
return 0;
}
|
运行结果：
结果可以看到都有父类和子类的构造，虽然在主函数中delete 父类，但最终只有父类的析构函数，此时子类在堆区创建的s_name并没有得到释放，导致内存泄漏。
以上的问题我们引入虚析构和纯虚析构来解决——父类指针释放子类对象时不干净的问题
二、利用虚析构解决
虚析构只需要在析构函数前加关键字 virrtual 即可，再观察结果，可以看到父类和子类的都执行了析构函数，而子类中在堆区创建的数据也被释放干净，这是最终的结果！
|
1
2
3
|
virtual ~Animal(){
cout<<"Animal析构"<<endl;
}
|
三、利用纯虚析构解决
纯虚析构格式如下，和纯虚函数有点类似，但需要有具体的声明和具体的实现。纯虚析构需要在类外实现.
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
class Animal{
public:
Animal(){
cout<<"Animal-构造"<<endl;
}
//虚析构
/*virtual ~Animal(){
cout<<"Animal析构"<<endl;
}*/
//纯虚析构
virtual ~Animal()=0;
virtual void Run()=0; //纯虚函数无需实现，只需声明
};
//需要有声明，也需要有实现
Animal::~Animal(){
cout<<"纯虚析构"<<endl;
}
|
结果如下，和虚析构有相同的作用
四、总结
虚析构和纯虚析构
相同点： 都可以解决父类指针释放子类对象，都需要有具体的实现
不同点： 纯虚析构属于抽象类，无法实例化对象
|
