条款 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!");
