Item 9: 绝不要在构造和析构函数中调用virtual函数
看如下代码:
#include <iostream>
using namespace std;
class A {
public:
~A() { //这里我并没有声明成虚析构,当然虚析构更好理解问题
foo();
}
void bar(void) {
foo();
}
virtual void foo(void) {
cout << "A::foo" << endl;
}
};
class B : public A {
public:
void foo(void) { //重写基类虚函数foo()
cout << "B::foo" << endl;
}
};
int main(void) {
A* pa = new B;
pa->bar();
delete pa;
return 0;
}
输出如下:
可以看出在bar()中调用的foo()很正常,实现了多态;
但在析构函数中调用foo(),多态机制失效了.
原因:当执行析构函数~A()函数体中代码之前时,实际已经做了部分析构工作,这部分工作将对象的类型信息(或部分信息)删除,此时对象的类型信息是不完整的(甚至编译器发现这样的危险都不会为~A()中的foo做动态绑定),于是结果调用的是A::foo().
如果基类的析构函数,我定义为虚析构(virtual ~A()),那这样多态失效的原因就更容易理解了: 因为此时对象析构的顺序是 先派生类析构->基类析构.在基类析构~A()中调用foo()之时,派生类对象就已经完蛋了,B中资源都已释放,如果实现多态而调用B::foo(),那将会有未定义行为.所以编译器没有那么做.
同理,构造函数中依然也不应调用虚函数,原因在于:对象构造顺序是 先基类构造->派生类构造.在基类构造中调用虚函数时,虚表上尚未建立,派生类对象也未建立,此时自然无法通过调用派生类版本的函数来完成多态.
原文链接: https://www.cnblogs.com/dejavu/archive/2012/10/18/2728757.html
欢迎关注
微信关注下方公众号,第一时间获取干货硬货;公众号内回复【pdf】免费获取数百本计算机经典书籍
原创文章受到原创版权保护。转载请注明出处:https://www.ccppcoding.com/archives/66208
非原创文章文中已经注明原地址,如有侵权,联系删除
关注公众号【高性能架构探索】,第一时间获取最新文章
转载文章受原作者版权保护。转载请注明原作者出处!