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

1.C++的继承体系中，最底层的派生类的构造过程中，最先初始化的是基类部分，再按继承层次依次初始化派生类部分，同样的，析构过程则是按相反过程执行。在继承层次A→B→C→D中,构造一个D类对象,其依次经历了A→B→C→D的转变,因此对于以下代码。所以，在这个过程中基类构造过程中，基类尚在构造，派生类对象中也就只存在继承而来的基类部分，调用虚函数这类的调用从不下降至derived class

//
//  main.cpp
//  条款10
//
//  Created by yulei on 2018/8/24.
//  Copyright © 2018 yulei. All rights reserved.
//

#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(int argc, const char * argv[]) {
     D d;
    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构造函数“替换虚函数的使用,例如:

#include <iostream>
using namespace std;
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(); }
};

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