文章目录
这个条款是C++与Java或C#不相同的一个地方。
首先定义一个交易的基类(Transaction):
class Transaction{
public:
Transaction();
virtual void logTransaction() const=0; //做出一份因类型不同而不同的日志记录(log entry)
...
};
Transaction::Transaction(){
...
logTransaction(); //最后动作是记录这笔交易
}
class BuyTransaction:public Transaction{
public:
virtual void logTransaction() const;
};
class SellTransaction:public Transaction{
public:
virtual void logTransaction() const;
};
现在考虑下列代码被执行,会发生什么事:
BuyTransaction b;
首先,基类构造函数在其派生类构造函数之前调用,因此在调用Transaction类的构造函数时,被调用的logTransaction函数是Transaction内的版本,不是BuyTransaction内的版本。也就是说基类构造期间virtual函数绝不会下降到派生类接层。
一个重要的原因:对象在派生类构造函数开始执行前不会成为一个派生类对象。
相同的道理也适用于析构函数。一旦derived class 析构函数开始执行,对象内的derived class成员变量便呈现未定一直,所以C++视它们仿佛不再存在。进入基类析构函数后对象就成为一个base class对象。
如果Transaction有多个构造函数,每个都需执行某些相同工作,那么避免代码重复的一个优秀做法是把共同的初始化代码(其中包括对logTransaction的调用)放进一个初始化函数如init内:
class Transaction{
public:
Transaction(){ init(); } //掉用non-virtual...
virtual void logTransaction() const=0;
...
private:
void init(){
...
logTransaction(); //这里调用virtual!
}
};
总结——82
在构造和析构期间不要调用virtual函数,因为这类调用从不下降至派生类(比起当前执行构造函数和析构函数的那层)。