【复读EffectiveC++09】条款09：绝不在构造和析构过程中调用virtual函数

最新推荐文章于 2024-10-04 17:07:53 发布

阿愚先生

最新推荐文章于 2024-10-04 17:07:53 发布

阅读量418

点赞数 3

分类专栏：复读EffectiveC++ 文章标签： c++ 开发语言

本文链接：https://blog.csdn.net/weixin_51122602/article/details/136750409

版权

复读EffectiveC++ 专栏收录该内容

24 篇文章 0 订阅

订阅专栏

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

此条款，针对的是在构造函数和析构函数中调用虚函数的问题，其内容包括：
a、为什么不要在构造函数/析构函数调用虚函数
b、有什么方法改进

一、为什么不要在构造函数/析构函数调用虚函数

原书中的例子为：

创建一个基类Transaction和两个派生类BuyTransaction、SellTransaction
基类Transaction有一个虚函数logTransaction()，其会在构造函数中调用虚函数
使用基类指针构造一个派生类对象

// 表示不同的事务交易
class Transaction {
public:
    Transaction() { logTransaction(); } //记录日志
 
    virtual void logTransaction() const = 0; //记录交易日志, 是个虚函数
};
 
//购买交易
class BuyTransaction : public Transaction 
{
public:
    virtual void logTransaction() const;
};
 
// 销售交易
class SellTransaction : public Transaction 
{
public:
    virtual void logTransaction() const;
};

Transaction *pb = new BuyTransaction;

这种情况分析一下，因为：
a、基类的指针构造了一个派生类对象，那么派生类在进行构造时会先执行基类的构造函数
b、基类的构造函数调用了虚函数 logTransaction()
因此造成了想要执行派生类的 logTransaction()，但实际上这个时候派生类还未完成构造，变成了想要执行基类的logTransaction()，可这是个虚函数，编译器是不会允许的
在这里插入图片描述
析构函数也是如此，派生类已经析构了，基类再析构，造成调用基类的虚函数的实际效果

二、有什么方法改进

总会有人，我偏偏就要这样做，有没有方法？
作为万能的程序猿，就要拿出解决方案，等效即可，即提交日志的行为因为类的不同而发生改变

原书给了一个错误的解决示例。

class Transaction {
public:
    Transaction() { init(); }  // 初始化
 
    virtual void logTransaction() const = 0; //记录交易日志, 是个虚函数
private:
    void init() { 
        // 做一些初始化, 比如记录日志等
        logTransaction(); 
    }
};

此问题看上去是等效了，但实际还是执行基类的logTransaction()，那个虚函数，编译器只会两手一摊，给你报错

正确的解决方案是：

在 Transaction 类中将 logTransaction() 函数改为 non-virtual 函数
要求子类构造函数传递必要信息给 Transaction 构造函数

取原书例子：

class Transaction {
public:
    explicit Transaction(const std::string& logInfo) { logTransaction(logInfo) }
 
    // 初始化日志信息
    void logTransaction(const std::string& logInfo) const;
};
 
 
class BuyTransaction : public Transaction 
{
public:
    // 构造自己时同时初始化基类
    BuyTransaction(相关参数): Transaction(createLogString(相关参数)) {}
private:
    static std::string createLogString(相关参数);
};
 
class SellTransaction : public Transaction 
{
public:
    // 构造自己时同时初始化基类
    SellTransaction(相关参数): Transaction(createLogString(相关参数)) {}
private:
    static std::string createLogString(相关参数);
};