绝不能在构造函数与析构函数中调用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++》