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

 

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

 1 class Base
 2 {
 3 public:
 4          Base()
 5          {
 6                    VirtualFunction();
 7          }
 8 
 9          virtual void VirtualFunction()
10          {
11                    cout << "In the Base Class" << endl;
12          };
13 };
14 
15  
16 
17 class Derived: public Base
18 {
19 public:
20          void VirtualFunction()
21          {
22                    cout << "In the Derived Class" << endl;
23          }
24 };
25 
26  
27 int main()
28 {
29          Derived d;
30 }

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

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

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

最后总结一下:

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

原文地址:https://www.cnblogs.com/jerry19880126/p/2969586.html