![1658f1f6f6c801e85f285748b404b9f9.png](https://i-blog.csdnimg.cn/blog_migrate/7b0adab42571c09fd82cab5727563124.jpeg)
C++的类中,构造函数用于初始化对象及相关操作,构造函数是不能声明为虚函数的,因为在执行构造函数前对象尚未完成创建,虚函数表还不存在。
析构函数用于销毁对象完成时相应资源的释放工作,析构函数可以被声明为虚函数。在继承层次中,基类的析构函数一般建议声明为虚函数。
下面通过一个例子来说明下基类析构函数声明为虚函数的必要性。
#include <iostream>
using namespace std;
class base {
public:
base() {
cout << "base constructor" << endl;
int *b = new int[5];
}
~base() {
cout << "base destructor" << endl;
delete[] b;
}
private:
int *b;
};
class derived : public base {
public:
derived() {
cout << "derived constructor" << endl;
int *d = new int[8];
}
~derived() {
cout << "derived destructor" << endl;
delete[] d;
}
private:
int *d;
};
int main()
{
base *pBase = new derived;
cout << "---" << endl;
delete pBase;
return 0;
}
运行结果:
base constructor
derived constructor
---
base destructor
C/C++学习交流:点击加入
上面定义了两个类:一个基类base,一个派生类derived。基类和派生类都分别定义了各自的构造函数和析构函数。
基类和派生类中各有一个int型指针成员变量:
- 在基类的构造函数中,给指针变量b分配了5个int型空间;基类的析构函数用于将b所指的空间释放掉;
- 在派生类的构造函数中,给指针成员变量d分配了8个int型空间;派生类的析构函数用于释放掉d指针所指向的存储空间。
在主函数中创建一个基类类型的指针pBase,指向一个派生类对象,之后释放掉pBase指针所指向的对象的存储空间。
观察程序的运行结果:
- 首先,基类的构造函数被调用(base constructor);
- 其次,派生类的构造函数也被调用(derived constructor);
- 最后,基类的析构函数被调用(base destructor)。
但是最后却没有调用派生类的析构函数,这样会导致d指针所指向的整型存储空间不会被释放,从而造成内存泄漏。
C/C++学习交流:点击加入
为了解决这个问题,需要将基类的析构函数声明为虚函数。修改如下:
virtual ~base() {
cout << "base destructor" << endl;
delete[] b;
}
运行结果:
base constructor
derived constructor
---
derived destructor
base destructor
将基类的析构函数声明为虚函数之后,派生类的析构函数也自动成为虚析构函数,在主函数中基类指针pBase指向的是派生类对象,当delete释放pBase指针所指向的存储空间时,
- 首先执行派生类的析构函数(derived destructor);
- 然后执行基类的析构函数(base destructor)。
想要学习更多C/C++编程知识记得点击收藏与关注哦!