【C++】C++中基类的析构函数为什么要用virtual虚析构函数?

时间:2023-03-08 16:13:29

正面回答:

当基类的析构函数不是虚函数,并且基类指针指向一个派生类对象,然后通过基类指针来删除这个派生类对象时,如果基类的析构函数不是虚析构函数,那么派生类的析构函数就不会被调用,从而产生内存泄漏

#include<iostream>
#include<bits/stdc++.h>
using namespace std; class A
{
public:
A()
{
cout<<"constructing A"<<endl;
}
~A()
{
delete p;
cout<<"destructing A"<<endl;
}
private:
int *p;
}; class B:public A
{
public:
B()
{
cout<<"constructing B"<<endl;
}
~B()
{
delete p;
cout<<"destructing B"<<endl;
}
private:
int *p;
}; int main()
{ A *a=new B();
delete a;
}
/*
constructing A
constructing B
destructing A
*/

分析:只调用了基类A的析构函数,而派生类B的析构函数却没有被调用,这时会产生内存泄漏

如果给基类A的析构函数是虚析构函数,那么便不会产生这个问题

#include<iostream>
#include<bits/stdc++.h>
using namespace std; class A
{
public:
A()
{
cout<<"constructing A"<<endl;
}
virtual ~A()
{
delete p;
cout<<"destructing A"<<endl;
}
private:
int *p;
}; class B:public A
{
public:
B()
{
cout<<"constructing B"<<endl;
}
~B()
{
delete p;
cout<<"destructing B"<<endl;
}
private:
int *p;
}; int main()
{ A *a=new B();
delete a;
}
/*
constructing A
constructing B
destructing B
destructing A
*/

此时派生类B的析构函数被调用了!内存泄漏的问题得以解决

注意构造函数和析构函数的执行顺序:

派生类构造时:先执行基类的构造函数,然后执行派生类的构造函数

派生类析构时:先执行派生类的析构函数,然后执行基类的析构函数

上面内存泄漏产生的必要条件:

1.基类析构函数不是虚析构函数

2.派生类对象的析构函数中有内存需要回收

3.基类指针指向派生类对象,通过删除该基类指针来删除派生类对象

那这种情况下为什么会产生内存泄漏呢?

这种情况下,当删除基类指针指向的派生类对象时不会触发动态绑定,虚函数是动态绑定的基础,现在基类的析构函数不是虚函数,所以不会发生动态绑定,而是静态绑定,指针的静态类型为基类类型,所以delete的时候只会调用基类的析构函数

结论:

人生建议,继承时,基类的析构函数中最好加上virtual。