读书笔记_Effective_C++_条款九：绝不在构造和析构函数中调用virtual函数

 

先举一个在构造函数中调用virtual函数的例子：

class Base
{
public:
         Base()
         {
                   VirtualFunction();
         }

         virtual void VirtualFunction()
         {
                   cout << "In the Base Class" << endl;
         };
};

 

class Derived: public Base
{
public:
         void VirtualFunction()
         {
                   cout << "In the Derived Class" << endl;
         }
};

 
int main()
{
         Derived d;
}

 

定义派生类对象时，会先构造基类，调用基类的构造函数，在基类的构造函数中调用了虚函数，如果按照多态的思路，行为的执行者应该是派生类的VirtualFunction()，也就是输出的是In the Derived Class，然而实际跑一下这个程序，运行结果却是In the Base Class，为什么会这样呢？

一种很好的理解方法就是，派生类部分必须在基类部分构造完全之后才会去构造，因此在虚表中尚未注册派生类的VirtualFunction()，这时只能调用基类的VirtualFunction()。对于析构函数，同样是如此，派生类部分先析构，这时基类中的虚函数将无法定位到派生类，只能调用基类自身的函数。书上指出“在base class构造期间，virtual函数不是virtual函数”。

这样的结果会使读者感到困惑，与多态法则的效果不一致，所以本书作者强调“绝不在构造和析构函数中调用virtual函数”。

最后总结一下：

在构造和析构期间不要调用virtual函数，因为这类调用从不下降至派生类。