<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(),那将会有未定义行为.所以编译器没有那么做.

 

同理,构造函数中依然也不应调用虚函数,原因在于: 对象构造顺序是 先基类构造->派生类构造.在基类构造中调用虚函数时,虚表上尚未建立,派生类对象也未建立,此时自然无法通过调用派生类版本的函数来完成多态.