<C/C++> 构造和析构函数中调用虚函数
<Effective C++>
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(),那将会有未定义行为.所以编译器没有那么做.
同理,构造函数中依然也不应调用虚函数,原因在于: 对象构造顺序是 先基类构造->派生类构造.在基类构造中调用虚函数时,虚表上尚未建立,派生类对象也未建立,此时自然无法通过调用派生类版本的函数来完成多态.