Effective C++ 条款9 决不在构造和析构过程后调用虚函数

1. 在一个继承体系中,最底层的派生类在构造过程中,先初始化基类部分,再按继承层次依次初始化派生类部分,因此被构造的对象先作为一个基类对象,再按继承层次依次成为派生类对象,例如,在继承层次A→B→C→D中,构造一个D类对象,其依次经历了A→B→C→D的转变,因此对于以下代码:

#include <iostream>
using namespace std;
class A{
public:
    virtual void foo(){ cout << "A" << endl; }
    A(){ foo(); }
};
class B :public A{
public:
    void foo(){ cout << "B" << endl; }
    B(){ foo(); }
};
class C :public B{
public:
    void foo(){ cout << "C" << endl; }
    C(){ foo(); }
};
class D :public C{
public:
    void foo(){ cout << "D" << endl; }
    D(){ foo(); }
};
int main() {
    D d;
    system("pause");
    return 0;
}

运行结果为:

可见,在构造函数中调用虚函数,不仅不能如愿调用底层派生类的虚函数,还会依次调用整个继承层次的虚函数.这就是不在构造过程中调用虚函数的原因,除此之外涉及到RTTI(Run-Time Type Information,运行时类型识别)时也会把对象按构造顺序依次视为A→B→C→D.

2. 在A→B→C→D这个继承体系中,如果对一个D类对象调用析构函数,会依次调用D,C,B,A的析构函数,对象也依次经历了D→C→B→A的转变,同理,不要在析构函数中调用虚函数.

3. 如果确实需要在构造函数中调用由类型确定的函数,可以”令derived classes将必要的构造信息向上传递至base class构造函数“替换虚函数的使用,例如:

class A{
public:
    void foo(){ cout << "A" << endl; }
    A(char ch='a'){ if(ch=='a') foo(); }
};
class B :public A{
public:
    void foo(){ cout << "B" << endl; }
    B(char ch = 'b') :A(ch){ if (ch == 'b') foo(); }
};
class C :public B{
public:
    void foo(){ cout << "C" << endl; }
    C(char ch = 'c') :B(ch){ if (ch == 'c') foo(); }
};
class D :public C{
public:
    void foo(){ cout << "D" << endl; }
    D():C('d'){ foo(); }
}; 

这样就可以确保调用合适的构造函数.