条款 09：绝不在构造和析构过程中调用 virtual 函数

条款 09：绝不在构造和析构过程中调用 virtual 函数

Never call virtual functions during construction or destruction.

假设子类各有不同的记录日志实现，有可能会出现下面这种代码

class T {
public:
    T();
    virtual void Log() const = 0;
};

T::T() {
    ...
    Log();
};

class A : public T {
public:
    virtual void Log() const;
    ...
};

class B : public T {
public:
    virtual void Log() const;
    ...
};

A a;

当创建 a 时，调用的是 T 的 Log 而非 A 的，因为此时 A 尚未被初始化，C++ 编译器仍只解析到 T，此时对象等同于 base class，因此会引起非预期行为。析构函数同理。

class T {
public:
    T() { Init(); }
    virtual void Log() const = 0;
private:
    void Init() {
        ...
        Log();
    }
};

有时候为了减少重复代码，有可能会将部分初始化代码写到一个函数中，然后让构造函数调用，此时会使这种错误更加隐蔽，甚至在基类对 Log 有实现时，编译器和连接器都不会抛错。
解决方法可以将该函数改为 non-virtual，然后要求 derived-class 构造函数传递必要信息给 base-class 构造函数，此时 base-class 构造函数便可以安全地调用 non-virtual 函数。

class T {
public:
    explicit T(const std::string& info) { Log(info) }
    void Log(const std::string& info) const;
    ...
}

class A : public T {
public:
    A(const std::string& info)
    : T(info) { ... }
}

A a("Hello World!");