C/C++问答(3)：关于构造和析构函数使用多态

问：

在构造或析构期间能使用虚函数吗？

 

答：

能，但最好不要这么做。

前两天在公司游戏项目开发过程中，在析构函数中不小心调用了虚函数，而且还是个纯虚函数。
因为一直是在Rlease模式下工作的，导致系统直接终止客户端，虽然控制台有打印这个错误，但终止太快，也没看到。切换在Debug下调试，则会报R6025 -pure virtual function call 的运行时错误。
当然，如果在析构函数中直接调用纯虚函数，编译器也不傻(VS2008)，它不会让编译通过的，因为纯虚函数没有实现体，所以会出现unresolved external symbol链接错误。但是通过其他函数间接调用，编译器就不会发现，就会出错。
直接看下面这个例子吧
class TestEffect
{
 public:
  TestEffect(){}
  ~TestEffect(){ release(); }
  void release(){ clear(); }
  virtual void clear() = 0;
};

class SubTestEffect: public TestEffect
{
 public:
  SubTestEffect(){}
  ~SubTestEffect(){}
  virtual void clear(){ printf( "SubTestEffect::clear() called/n" }
};

这样new出来一个SubTestEffect的实例，在delete时就会崩溃。

就这个例子，说一下关于构造和析造函数中使用多态
一、构造派生类对象时，首先调用基类构造函数，执行基类初始化。而对象的派生类部分是未初始化的。实际上此时对象还不是一个派生类对象。
二、析构派生类对象时，首先析构它的派生类部分，然后按照与构造顺序的逆序调用它的基类析构。
这两种情况下，对象都不是完整的。为了适应这种不完整，编译器将对象的类型视为在构造或析造期间发生了变化。在基类构造或析构函数中，将派生类对象当作基类类型对象来对待。
构造或析构期间的对象类型对虚函数的绑定有影响。
所以如果在构造或析构函数中使用多态，则运行的是为构造函数或析构函数自身类型定义的版本。无论是由构造函数（或析构函数）直接调用虚函数，或者从构造函数（或析构函数）所调用的函数间接调用虚函数，都应用这种绑定。

《Effective C++》第三版中条款09,Scott Meyers就明确指出：决不在构造或析造过程中调用virtual函数，讲的详细且权威。有人说C++程序员分为两类，读过Effective C++的和没读过的，很遗憾，我是后者。

告诫自己不要在构造或析构过程中调用虚函数。

注意：“不要”和“不能”，允许调用，但可能达不到你的预斯结果，甚至会导致崩溃。