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

 

 

假设有这样一个class,它记录了交易的买进和卖出情况：

class Transaction
{
 public:
     Transaction();                          
     virtual void logTransaction() const = 0;        //一份因交易内容不同
                                                    //而不同的日志记录(log)
                                                    
     ...  
};

Transaction::Transaction()                    //base class 构造函数之实现
{
    ...
    logTransaction();                           //最后的动作是记录这份交易
}

 

class BuyTransaction: public Transaction
{
    public:
        virtual void logTransaction() const;      //记录这种交易
        ...
        
};

class SellTransaction:public Transaction()
{
    public:
        virtual void logTransaction() const;       //记录这种交易
        ...
};

然后，执行如下：

BuyTransaction b;

这个时候会有一个BuyTransaction的构造函数被调用，但是首先，Transaction构造函数一定会更早被调用；derived class对象内的base class成分会在derived class自身成分被构造前先构造妥当。Transaction的构造函数的最后一行是调用virtual函数，这个地方就会出问题。这时候调用的是Transaction内的版本而不是BuyTransaction内的版本。base class构造期间virtual 函数绝不会下降到deived class层面。取而代之的是，对象的作为就象隶属base类型一样。非正式的说法是在base class 构造期间，virtual函数不是virtual 函数。

 

相同的道理也适用于析构函数。

 

 

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