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

    Never call virtual functions during construction or destruction.

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

    1. class T {
    2. public:
    3. T();
    4. virtual void Log() const = 0;
    5. };
    6. T::T() {
    7. ...
    8. Log();
    9. };
    10. class A : public T {
    11. public:
    12. virtual void Log() const;
    13. ...
    14. };
    15. class B : public T {
    16. public:
    17. virtual void Log() const;
    18. ...
    19. };
    20. A a;

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

    1. class T {
    2. public:
    3. T() { Init(); }
    4. virtual void Log() const = 0;
    5. private:
    6. void Init() {
    7. ...
    8. Log();
    9. }
    10. };

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

    1. class T {
    2. public:
    3. explicit T(const std::string& info) { Log(info) }
    4. void Log(const std::string& info) const;
    5. ...
    6. }
    7. class A : public T {
    8. public:
    9. A(const std::string& info)
    10. : T(info) { ... }
    11. }
    12. A a("Hello World!");