在构造和析构函数中调用virtual函数,得不到预期的结果。
假设你有个class继承体系,用来朔模股市交易如买进、卖出的订单等,这样的交易一定要经过审计,所以每当创建一个交易对象,在审计日志(audit log)中也需要创建一笔适当记录,具体如下:
class Transaction { //所有交易的base class
public:
Tranaction();
virtual void logTransaction() const = 0; //做出一份因类型不同而不同的日志记录(log entry)
...
};
Transaction::Transaction() //base class构造函数之实现
{
...
logTransaction(); //最后动作是志记这笔交易
}
class BuyTransaction : public Transaction { //derived class
public:
virtual void logTransaction() const; //志记(log)此型交易
...
};
class SellTransaction : public Transaction { //derived class
public:
virtual void logTransaction() const; //志记(log)此型交易
...
};
现在,当以下这行被执行,会发生什么事:
BuyTransaction b;
首先base class成分会先构造即Transaction构造函数被调用,然后derived class自身成分构造即BuyTransaction构造函数被调用。这样在Transaction构造函数的最后一行调用virtual函数logTransaction调用的是base class的版本,即base class构造期间,virtual函数绝不会下降到derived class阶层。
由于base class构造函数的执行早于derived class构造函数,当base class构造函数执行时derived class的成员变量尚未初始化,如果此期间调用的virtual函数下降至derived class阶层,要知道derived class的函数几乎必然取用local成员变量,而那些成员变量尚未初始化,这将会导致不确定行为,因此,C++将这一问题“扼杀在摇篮中”。
更根本的原因在于:在derived class对象的base class构造期间,对象类型是base class而不是derived class,此时,若使用运行期类型信息(比如:dynamic_cast和typeid),也会把对象视为base class类型。
同理也适用于析构函数,一旦derived class析构函数开始执行,对象内的derived class成员变量便呈现未定义值,所以C++视它们仿佛不再存在,进入base class析构函数后对象就成为一个base class对象,而C++的任何部分包括virtual函数、dynamic_cast等也就那么看待它。
请记住:在构造和析构期间不要调用virtual函数,因为这类调用从不下降至derived class。
阅读(5505) | 评论(9) | 转发(1) |