大家知道,析构函数是为了在对象不被使用之后释放它的资源,虚函数是为了实现多态。那么把析构函数声明为vitual有什么作用呢?
直接的讲,C++中基类采用virtual虚析构函数是为了防止内存泄漏。具体地说,如果派生类中申请了内存空间,并在其析构函数中对这些内存空间进行释放。假设基类中采用的是非虚析构函数,当删除基类指针指向的派生类对象时就不会触发动态绑定,因而只会调用基类的析构函数,而不会调用派生类的析构函数。那么在这种情况下,派生类中申请的空间就得不到释放从而产生内存泄漏。所以,为了防止这种情况的发生,C++中基类的析构函数应采用virtual虚析构函数。
#include <iostream>
using namespace std;
class A{
public:
A(){};//构造函数
~A(){
cout<<"释放class A的内存"<<endl;
};//析构函数
};
class B:public A{
public:
B(){};//构造函数
~B(){
cout<<"释放class B的内存"<<endl;
};//析构函数
};
int main() {
//情况一:
B *b=new B();
delete b;
cout<<"----------"<<endl;
//情况二:
A *a=new B();
delete a;
return 0;
}
执行结果:
从运行结果可以看到:
情况1:用派生类类型指针绑定派生类实例,析构的时候,不管基类析构函数是不是虚函数,都会正常析构。
B *b=new B();
delete b;
情况2:用基类类型指针绑定派生类实例,析构的时候,如果基类析构函数不是虚函数,则只会析构基类,不会析构派生类对象,从而造成内存泄漏。
A *a=new B();
delete a;
可以看出释放b的资源,却没有正常释放a的资源,因为在释放a资源时,没有成功调用类B的析构函数。通常情况下类的析构函数里面都是释放内存资源,而析构函数不被调用的话就会造成内存泄漏。原因是指针a是A类型的指针,释放a时只进行A类的析构函数。
此时释放指针时,当A的析构函数是virtual的,就会先找到并执行B类的析构函数,然后再执行A类的析构函数,资源正常释放,避免了内存泄漏。
因此,只有当一个类被用来作为基类的时候,才会把析构函数写成虚函数。
class A{
public:
A(){};//构造函数
virtual ~A(){
cout<<"释放class A的内存"<<endl;
};//析构函数
};
执行结果:
来源:CSDN
作者:C-mac
链接:https://blog.csdn.net/qq_34673519/article/details/101429799