Q:析构函数为什么要定义为虚函数?
1.我们在之前的学习中都知道,在调用构造函数时先调用基类的构造函数,再调用派生类构造函数;而当调用析构函数时,则要先调用派生类的析构函数再调用基类的析构函数
#include<iostream>
using namespace std;
class A{
public:
A(){
cout << "A()" << endl;
}
~A()
{
cout << "~A()" << endl;
}
};
class B :public A{
public:
B(){
cout << "B()" << endl;
}
~B(){
cout << "~B()" << endl;
}
};
int main()
{
B *b=new B; //构造一个B类对象
delete b; //释放内存,调用析构函数
return 0;
}
结果为:
- 由此我们可以证明构造函数的调用顺序以及析构函数的调用顺序
- 还可以发现在delete b时,派生类和基类都调用析构函数完成了资源的清理工作
2.当基类指针指向派生类对象时
#include<iostream>
using namespace std;
class A{
public:
A(){
cout << "A()" << endl;
}
~A()
{
cout << "~A()" << endl;
}
};
class B :public A{
public:
B(){
cout << "B()" << endl;
}
~B(){
cout << "~B()" << endl;
}
};
int main()
{
A *a=new B;
delete a;
return 0;
}
运行结果为:
- 我们发现在delete a时,只调用了基类的析构函数,没有调用派生类的析构函数,那么就会导致内存泄漏
- 这是因为在调用普通函数时,在编译期间已经确定了它所要调用的函数(静态绑定),因为a是A*类型,因此只会调用基类的析构函数
3.为了解决这一问题,我们建议将析构函数定义为虚函数
#include<iostream>
using namespace std;
class A{
public:
A(){
cout << "A()" << endl;
}
virtual ~A()
{
cout << "~A()" << endl;
}
};
class B :public A{
public:
B(){
cout << "B()" << endl;
}
~B(){
cout << "~B()" << endl;
}
};
int main()
{
B *b=new B;
A *a=(A*)b;
delete a;
return 0;
}
运行结果为:
- 我们发现delete a不仅调用了派生类析构函数也调用了基类构造函数
- 这是因为当我们把基类析构函数定义为虚函数时,在调用析构函数时,会在程序运行期间根据指向的对象类型到它的虚函数表中找到对应的虚函数(动态绑定),此时找到的是派生类的析构函数,因此调用该析构函数;而调用派生类析构函数之后会再调用基类的析构函数,因此不会导致内存泄漏