条款09:绝不在构造和析构过程中调用virtual函数

结论：

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

你不该在构造函数和析构函数期间滴哦啊用virtual函数，因为这样的调用不会带来你预想的结果。
举个例子，假设你有个class继承体系，用来模拟股市交易如迈进、卖出的订单等等。这是的交易一定要经过审计，所以每当创建一个交易对象，在审计日志中也需要创建一笔适当的记录。下面是一个看起来颇为合理的做法：

class Transcation		// 所有交易的base class
{
public:
	Transaction();
	virtual void logTransation() const = 0; // 做出一份因类型不同而
	...										// 不同的日志记录（log entry）
};
Transaction::Transaction()	// base class构造函数之实现
{
	...
	logTransation();		// 最后动作是记录这笔交易
}	
class BuyTransaction : public Transaction 	//derived class
{
public:
	virtual void logTransaction() const;	//记录此型交易	
	...
}；	
class SellTransaction : public Transaction 	//derived class
{
public:
	virtual void logTransaction() const;	//记录此型交易	
	...
}；								

现在，当下这行被执行，会发生什么事:

BuyTransaction b;

无疑地，会有一个BuyTransaction构造函数被调用，但首先Transaction构造函数一定会更早被调用；是的，derived class对象内的base class部分会在derived class自身成分被构造之前先构造妥当。Transaction构造函数的最后一行调用virtual函数logTransaction，这正是引发惊奇的地点。这时候被调用的logTransaction是Transaction内的版本，不是BuyTransaction内的版本——即使目前即将建立的对象类型是BuyTransaction。是的，base class构造期间virtual函数绝不会下降到derived class阶层。取而代之的是，对象的作为就像隶属base类型一样。非正式的说法也许比较传神：在base class构造期间，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函数会被编译器解析至base class，若使用运行期类型信息，也会把对象视为base class类型。

相同的道理也适用于析构函数。一旦derived class析构函数开始执行，对象内的derived class成员变量便呈现未定义值，所以C++视它们仿佛不存在。进入base class析构函数后对象就称为一个base class对象，而C++的任何部分包括virtual函数、bynamic_casts等等也就那么看待它。

解决方案

在class Transaction内将logTransaction函数改为non-virtual，然后要求derived class构造函数传递必要信息给Transaction构造函数，而后那个构造函数便可以安全地调用non-virtual logTransaction。代码如下：

class Transaction
{
public:
	expilcit Transaction(const std::string& logInfo);
	void logTransaction(const std::string& logInfo) const;	// 如今是个non-virtual函数
	...
};
Transaction::Transaction(const std::string& logInfo)
{
	...
	logTransaction(logInfo);	// 如今是个non-virtual调用
}
class BuyTransaction : public Transaction
{
public:
	BuyTransaction(parameters) : Transaction(createLogString(parameters))
	{...}	// 将log信息传递给base class构造函数
	...
private:
	static std::string createLogString(parameters);
};

由于在构造期间，无法在base class中调用derived class虚函数，你可以“令derived class将必要的构造信息向上传递至base class构造函数”

注意：本示例代码中，BuyTransaction内的createLogString函数，是private static的。利用辅助函数创建一个值给base class构造函数具有比较高的可读性（相比成员初始值列内给予base class所需数据）。此函数为static也就不可能意外指向“初期未成熟之BuyTransaction对象内尚未初始化的成员变量”。