绝不能在构造函数与析构函数中调用virtual 函数

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

#include <iostream>

using namespace std;

class Base

{

public :

Base ( ) ;

virtual ~Base ( ) ;

virtual void print ( ) ;

} ;

Base : : Base ( )

{

cout < < "Base is Constructed" < < endl;

print ( ) ;

}

Base : : ~Base ( )

{

cout < < "Base is Destroyed" < < endl;

print ( ) ;

}

void Base : : print ( )

{

cout < < "print Base" < < endl;

}

class Derived : public Base

{

public :

Derived ( ) ;

~Derived ( ) ;

void print ( ) ;

} ;

Derived : : Derived ( )

{

cout < < "Derived is Constructed" < < endl;

}

Derived : : ~Derived ( )

{

cout < < "Derived is Destroyed" < < endl;

}

void Derived : : print ( )

{

cout < < "print Derived" < < endl;

}

int main ( )

{

Derived der;

return 0 ;

}

为什么会是这样的结果呢？因为在调用基类构造函数或调用基类析构函数时，this所指向的对象类型实质上是基类对象类型。这句话怎么理解呢？调用基类构造函数去初始化子类对象的基类部分时，只构造了基类这部分，子类非基类这部分还未构造。所以此时this所指向的类型是基类类型，所以调用的虚函数是基类的，此时多态是没用效果的。同理，调用基类析构函数去析构子类对象的基类部分时，子类非基类对象已被析构，所以此时this所指向的类型是基类类型，所以调用的虚函数是基类的，此时多态也是没有效果的。
结果:

 

 

 2.你如何确保每一次有Transaction继承体系上的对象被创建，就会有适当版本的logTransaction被调用呢？很显然,在Transaction构造函数
内对着对象调用virtual 是一种错误做法。
  其他方案可以解决这个问题。一种做法是在class Transaction内将logTransaction函数改为non-virtual，然后要求derived class构造函数
传递必要信息给Transaction构造函数，而后那个构造函数便可安全地调用non-virtual logTransaction。像这样:
 
class Transaction
{
public:
  explicit Transaction(const std::string& logInfo);
  void logTrasaction(const std::string& logInfo)const; //如今是个no-virtual 函数
  ...
};
Transaction::Transaction(const std::string& logInfo)
{
...
logTransaction(logInfo); //如今是个no-virtual 调用
}

class BuyTransaction:public Transaction
{
  BuyTransaction(parameters)
    :Transaction(createLogString(parameters))  //将log消息传给base class 构造函数
  {...}
 ...
private:
  static std::string createLogString(parameters);
};
  
   换句话说由于你无法使用virtual 函数从base class 向下调用，在构造期间，你可以藉由“令derived classes将必要的构造信息向上传递至
base class 构造函数”替换之而加以弥补。
   请注意本例之BuyTransaction内的private static 函数createLogString的运用。是的，比起在成员初始化列表内给予base class所需数据，利用
辅助函数创建一个值传给base class 构造函数往往比较方便（也比较可读）。令此函数为static，也就不可能意外指向“初期为成熟之BuyTransaction
对象内尚未初始化的成员变量”。这很重要，正是因为“那些成员变量处于未定义状态”，所以“在base class 构造和析构期间调用的virtual 函数
不可下降至derived classes"。

  详情请看《effective C++》