- 关于析构函数必须是虚函数,之前百度出来的答案基本都是防止内存泄漏,但是很少有讲清楚如何防止内存泄漏的,最近看了《深度探索c++对象模型》,书里从对象在内存中从存储模型到虚函数表再到析构函数的执行逻辑,比较清楚的描述了虚析构函数如何防止内存泄漏。
假设存在基类base及其子类child
class base1 {
base1(){};
virtual ~base1(){};
int val_base1;
};
class base2 {
base2(){};
virtual ~base2(){};
int val_base2;
};
class child : public base1 , public base2{
child() {};
virtual ~child();
int val_child;
};
那么child在内存中创建的对象的存储模型是这样的:
当执行以下代码时
base1 *pbase1 = new child;
base2 *pbase2 = new child;
delete pbase1;
delete pbase2;
编译器会把child对象地址做偏移,以此初始化指针pbase1和pbase2;当delete时,也会对指针存储的地址做出偏移,以此析构child对象。
由于析构函数是虚函数,所以析构child对象时,先通过虚函数指针Vptr找到虚函数表,再从虚函数表中执行析构函数,而上述过程中,编译器会适当地调整this指针的偏移值,使其找到正确的析构函数,能够正确地销毁child对象。
如果析构函数不是虚函数,而是普通非静态成员函数,那么编译器就无法找到正确的析构函数用来销毁对象,因此会产生内存泄漏。