为什么需要将基类析构函数设置为虚函数
我们来观察下面这段代码的表现:
class Occupation
{
public:
Occupation(){ std::cout << "Occupation()" << std::endl; };
~Occupation(){ std::cout << "~Occupation()" << std::endl; };
void show() { std::cout << "Occupation::show()" << std::endl; }
};
class Student : public Occupation
{
public:
Student(){ std::cout << "Student()" << std::endl; };
~Student(){ std::cout << "~Student()" << std::endl; };
};
int main()
{
Occupation * p = new Student();
delete p;
return 0;
}
编译运行后输出:
Occupation()
Student()
~Occupation()
我们不难发现,派生类对象的析构函数没有被调用,也就是说,派生类对象的资源被泄露。
原因
Occupation * p = new Student();
delete p;
由于基类中析构函数v原始股虚函数,那么这里发生的是静态绑定,也就是说*p的类型是Occupation
,所以,当进行delete时,只能调用Occupation类型的析构函数,而不会去调用派生类Student的析构函数。
解决
将基类的析构函数变成虚函数。
class Occupation
{
public:
Occupation(){ std::cout << "Occupation()" << std::endl; };
virtual ~Occupation(){ std::cout << "~Occupation()" << std::endl; };
void show() { std::cout << "Occupation::show()" << std::endl; }
};
编译运行输出:
Occupation()
Student()
~Student()
~Occupation()
当基类的析构函数为虚函数时,派生类的析构函数自动转换成虚函数,而且此时发生的是动态绑定。
基类的虚函数表中存在&Occupation::~Occupation
,派生类的虚函数表中继承来基类虚函数表中的内容,由于派生类的析构函数自动转换成了虚函数,那么派生类的析构函数覆盖掉虚函数表中基类的构造函数,此时派生类的虚函数表中存在的虚函数是:&Student ::~Student
。
Occupation * p = new Student();
delete p;
delete p时,由于基类的析构函数是个虚函数,将进行访问RTTI,进行动态绑定,*p指的是Student类对象,那么Student类对象中的RTTI自然也是Student,那么将调用Student类的析构函数,完成派生类资源的释放,并且顺带调用基类析构,释放基类资源。
补充
指针p一定是指向派生类堆上new出来的对象,栈上的不会发生资源泄露的问题 !!!! 解决该问题需要发生动态绑定。