1.C++基类析构函数设置成虚函数
场景伪代码
//伪代码
class A
{
}
class B:public A
{
}
int main()
{
A *ptr = B;
delete A;
return 0;
}
当基类指针ptr指向派生类的时候,若基类析构函数不声明为虚函数,在析构时,只会调用基类而不会调用派生类的析构函数,从而导致内存泄露。
2.构造函数和析构函数不能调用虚函数的原因
2.1构造函数不能调用析构函数的原因很容易理解
因为根据规则:构造派生类的时候,是先调用基类构造,再调用派生类构造。
伪代码场景:
//基类
class A{
A()
{
show();
}
virtual void show()
{
cout<<"in A"<<endl;
}
};
//派生类
class B:public A{
B()
{
show();
}
void show()
{
cout<<"in B"<<endl;
}
};
int main()
{
A* ptr = new B;
return 0;
}
调用基类构造的时候,认为派生类还没有构造出来。
所以即使我们根据正常的多态逻辑:调用基类构造时,基类指针ptr指向派生类对象B,
A{ show()}里面传入的是派生类B对象的this指针,应该调用派生类的show,但因为派生类还未构造, 认为调用子类的虚函数是不安全的,故而C++不会进行动态联编。
所以调用的结果是 cout<<"in A"<<endl。
2.2析构函数不能调用虚函数的原因
伪代码场景:
//基类
class A{
A()
{
show();
}
~A()
{
show;
}
virtual void show()
{
cout<<"in A"<<endl;
}
};
//派生类
class B:public A{
B()
{
show();
}
void show()
{
cout<<"in B"<<endl;
}
};
int main()
{
A* ptr = new B;
return 0;
}
int main()
{
A* ptr = new B;
delete ptr;
return 0;
}
根据析构规则,先调用子类的析构函数,然后再调用基类的析构函数。
所以在调用基类的析构函数时,派生类对象的数据成员已经“销毁”,一旦一个派生类的析构器运行起来,该对象的派生类数据成员就被假设为是未定义的值。
这样一来,C++ 就把它们当做是不存在一样。此时虽然ptr指向的是基类B对象,调用基类的析构函数时,~A{ show()}里面传入的是派生类B对象的this指针,应该调用派生类的show调用派生类的虚函数,但是派生类对象已经被销毁了,所以已经没有意义了。一旦进入到基类的析构器中,该对象即变为一个基类对象。
总结
构造函数和析构函数调用虚函数时都不使用动态联编, effictive c++第九条,绝不在构造和析构过程中调用virtual。