Effective C++读书笔记之九：绝不在构造和析构过程中调用virtual

Item 09：Never call virtual functions during construction or destruction

假设你有个class继承体系，用来塑模股市交易如买进、卖出的订单等等。这样的交易一定要经过审计，所以每当创建一个交易对象，在审计日志中也需要创建一笔适当记录。下面是一个看起来颇为合理的做法：

class Transaction
{
public:
	Transaction();
	virtual void logTransaction() const = 0;//做出一份因类型不同而不同的交易记录 
	
	...
};
Transaction::Transaction()
{
	...
	logTransaction();    //最后动作是志记这笔交易 
}

class BuyTransaction:public Transaction
{
public:
	virtual void logTransaction() const;
	...
};

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

BuyTransaction b；

无疑会有一个BuyTransaction构造函数被调用，但首先Transaction构造函数一定会更早地被调用。此时Transaction构造函数的最后一行调用的logTransaction是Transaction内的版本，不是BuyTransaction的版本。

同样的情况也使用与析构函数。

但是如果不这么做的话，你如何确保每次一有Transaction继承体系上的对象被创建，就会有适当版本的logTransaction被调用呢？

一种做法是在class Transaction内将logTransaction函数改为non-virtual，然后要求derived class构造函数传递必要的信息给Transaction构造函数，而后那个构造函数便可安全地调用non-virtual logTransaction。像这样：

class Transaction
{
public:
	explicit Transaction(const std::string& logInfo);
	void logTransaction(const std::string& logInfo) const;
	
	...
};

Transaction::Transaction(std::string& logInfo)
{
	...
	logTransaction(logInfo);
}

class BuyTransaction:public Transaction
{
public:
	BuyTransaction(parameters):Transaction(creatrLogString(parameters))
	{...}
	...
private:
	static std::string createLogString(parameters);
}

请注意本例之BuyTransaction内的private static函数的运用。比起在成员初值列内给予base class所需数据，利用辅助函数创建一个值传给base class构造函数往往比较方便（也比较可读）。令此函数为static，也就不可能意外指向：初期为成熟之BuyTransaction对象内尚未初始化的成员变量“。这很重要，正是因为：那些成员变量处于未定义状态”，所以“在base class构造和析构期间调用的virtual函数不可下降至derived classes。”

//云风评注：不小心在构造函数或析构函数中间接调用虚函数是C++中常见的错误，所以最好在编码规范中严格限制构造函数和析构函数可以做的事情。把复杂的对象初始化过程搬到一个独立的初始化函数当中，并有使用者显示调用，是个不错的建议。在构造函数和析构函数中只做简单而意义明确的对资源引用和解引用的工作即可。

请记住：

在构造和析构期间不要调用virtual函数，因为这类调用从不下降至derived class。