条款 09

一，不要在构造函数中调用virtual函数

下面是一个类的继承体系，在基类的构造函数中，调用虚函数doSomething()。

class Base{
public:
    Base(){
        ...
        doSomething();
    }
    virtual void doSomething(){
        ...
    }
};

class Derived : public Base{
public:
    virtual void doSomething(){
        ...
    }
};

Derived derivedObj;

程序分析：

（1），当创建一个Derived对象时，有一个Derived构造函数会被调用，但首先Base构造函数一定会更早被调用，因为Derived对象内的Base成分会在Derived自身成分被构造之前先构造妥当。Base构造函数最后一行调用virtual函数doSomething()，这正是引发疑惑的地方。这时候被调用的doSomething()是Base内的版本，不是Derived内的版本。Base class 构造期间 virtual 函数绝不会下降到Derived class阶层。造成上面这种现象的根本原因是，在Derived class对象的Base class构造期间，对象的类型是Base class而不是Derived class。

（2），下面这个理由可以很好的解释上面这种现象。由于Base class构造函数执行的时间早于Derived class构造函数，当Base class构造函数执行时，Derived class的成员尚未初始化。如果此期间调用的virtual函数下降至Derived class阶层，Derived class的成员函数几乎必然取用local成员变量，而那些成员变量尚未初始化，如果直接使用这些尚未初始化的成员变量，会导致不明确的行为。

二，不要在析构函数中调用virtual函数

与上面的道理类似，一旦Derived class的析构函数开始执行时，对象内的Derived class成员变量便呈现未定义值。此时，如果调用Derived class的虚函数，Derived class的虚函数几乎必然取用local成员变量，但是此时的local成员变量呈现的是未定义值，会导致不明确的行为。