Effective c++学习笔记——条款09：绝不在构造和析构过程中调用virtual函数

Never call virtual functions during construction or destruction

这是本条款的核心，不该在构造函数和析构函数期间调用virtual函数，因为存在不可预期的结果。为什么会这么说呢？首先看一下下面的例子：

// never_call_vir.cpp : 定义控制台应用程序的入口点。 //2011/9/10 by wallwind #include "stdafx.h" #include <iostream> using namespace std; class Base { public: Base() { print(); } virtual void print() { cout<<"Base()~print()"<<endl; } }; class Derived:public Base { public: Derived() { cout<<"Derived()"<<endl; } virtual void print() { cout<<"Derived()~print()"<<endl; } }; int _tmain(int argc, _TCHAR* argv[]) { Derived der; return 0; }

首先有个基类base，其次Derived是其子类，print虚函数覆盖了父类函数。那么当Derived der创建的时候，会调用哪个print呢？下面上输出结果

---

从生成的结果可以看到，基类Base的print。基类型构造期间virtual函数绝对不会下降到派生类型阶层，也就是说virtual函数并不是virtual的。由于base class构造函数的执行更早于derived class构造函数，当base class构造函数执行时derived class的成员变量尚未初始化。如果此期间调用的virtual函数下降至derived class阶层，要知道derived class的函数几乎必然取用local成员变量，而那些成员变量尚未初始化。这将是一张通往不明确行为和彻夜调试大会串的直达车票。“要求使用对象内部尚未初始化的成分”是危险的代名词，所以C++不让你走这条路。

其实还有比上述理由根本的原因：在derived class对象的base class构造期间，对象的类型是base class而不是derived class。不只virtual函数会被编译器解析至(resolve to)base class，若使用运行期类型信息(runtime type information，例如dynamic_cast(见条款27)和typeid)，也会把对象视为base class类型。本例之中，当derived 构造函数正执行起来打算初始化“derived 对象内的base class成分”时，该对象的类型是base 。那是每一个C++成分(见条款1)的态度，而这样的对待是合理的：这个对象呢你的“derived 专属成分”尚未初始化，所以面对它们，最安全的做法就是视它们不存在。对象在derived class构造函数开始执行前不会成为一个derived class对象。

相同道理也适用于析构函数。一旦derived class析构函数开始执行，对象内的derived class成员变量便呈现未定义值，所以C++的任何部分包括virtual函数，dynamic_casts等等也就那么看待它。

但是假设这样的调用virtual函数放在non-virtual函数里，而non-virtual函数则在构造函数和析构函数里调用，那么编译器很难检测到这样的情况。假设X定义的是pure virtual，，但运行时则会crash（如果你很愿意看的话）。

如下代码，就会出现问题

// never_call_vir.cpp : 定义控制台应用程序的入口点。 //2011/9/10 by wallwind #include "stdafx.h" #include <iostream> using namespace std; class Base { public: Base() { Init(); } void Init(void) { Print(); } virtual void Print(void) const = 0; }; class Derived : public Base { public: virtual void Print(void) const { cout << "Derived Print" << endl; } }; int _tmain(int argc, _TCHAR* argv[]) { Derived der; return 0; }

从图中可以看到，在pure virtual 函数被调用的时候，程序是会终止的。

所以确定你的构造函数和析构函数都没有(在对象被创建和销毁期间)调用virtual函数，而它们调用的所有函数也都服从同一约束

下面我们来讨论解决方案，像本条款书中所说：一种做法是在基类中内将函数改为non-virtual，然后要求derived class构造函数传递必要信息给基类构造函数，而后那个构造函数便可安全地调用non-virtual 函数。书中的例子有些不懂，编译不正确，等到我弄懂啦，在修正之。

请记住：

在构造和析构期间不要调用virtual函数，因为这类调用从不下降至derived class(比起当前执行构造和析构函数的那层)。