继续公寓问题

2016/08/23 因为申请了单人房,所以必须搬走

Posted by WangXiaoDong on August 23, 2016

时间:2016年8月23日 天气:晴:sunny:


Author:冬之晓:angry:
Email: 347916416@qq.com
MyAppearance: MyAppearance

    今天,公司管房子的人让我赶快搬走,说是因为我申请了单人房,所以必须赶快走。但是新房子明明刚装修好,里面的甲醛还没有散尽,
	就让我往里面搬,我实在是受不了,于是就不同意,但是他说不行的话三个月后自己到外面找房子。我说行……

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

不该在构造函数和析构函数期间调用virtual函数,这一点是C++与jave/C#不同的地方之一。

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

class Transaction                               // 交易的基类
{
public:
    Transaction();
    virtual void logTransaction() const = 0;    // 用于记录交易日志
};
Transaction::Transaction()
{
    logTransaction();              // 调用虚函数
}

class BuyTransaction : public Transaction       // 买进股票
{
    virtual void logTransaction() const;
};
void BuyTransaction::logTransaction() const{ }

class SellTransaction : public Transaction      // 卖出股票
{
    virtual void logTransaction() const;
};
void SellTransaction::logTransaction() const{ }

int main()
{
BuyTransaction b;

return 0;
}```

上述代码中执行BuyTransaction b时,会调用基类的构造函数,而基类的构造函数会调用一个虚函数来完成工作。但是该虚函数是否会调用派生类的对应函数呢?答案是否定的,解释如下:

1> 基类的构造是先于派生类的构造的。当基类的构造函数执行时,派生类中的成员尚未被初始化,如果允许基类构造期间调用派生类的函数,可能也会调用了没有初始化的“垃圾值”,导致不确定行为发生。

2> 基类构造期间,virtual函数的行为绝对不会伸到派生类中,因为此时构造的是基类,即此时构造的对象的类型是基类而非派生类,这点很重要。

但是有时我们在构造基类的时候又需要派生类中才有的参数信息,如何解决:

在基类中将logTransaction函数改为非虚函数,然后在构造派生类时将必要的参数传递到基类的构造函数中去,像如下这样:

#include <string>

class Transaction                                             // 交易的基类
{
public:
    explicit Transaction(const std::string& logInfo);
    void logTransaction(const std::string& logInfo) const;    // 用于记录交易日志
};
Transaction::Transaction(const std::string& logInfo)
{
    logTransaction(logInfo);                  // 调用非虚函数
}
void Transaction::logTransaction(const std::string& logInfo) const{ }

class BuyTransaction : public Transaction                     // 买进股票
{
public:
    BuyTransaction(const std::string& parameter) : Transaction(parameter){ }
};


int main()
{
    BuyTransaction b("BT");

    return 0;
}

由上可知,如果基类构造时要使用派生类的信息,可以通过派生类构造函数的初始化列表传入相关参数,切不可调妄图调用虚函数实现,因为在构造基类期间其对象的类型是基类类型。

对于析构函数也是同样的道理,基类的析构总是在派生类析构后才进行,此时派生类的对象已经不存在了,而调用虚函数必然会引发一个不确定行为。当然你也可以将基类的虚函数实现后在析构函数中进行调用,但是这样的话,为什么不定义为非虚函数呢,虚函数的意义将不复存在了。

请记住:

  • 在构造和析构期间不要调用virtual函数,因为这类调用从不下降至派生类(比起当前执行构造函数和析构函数的那层)。