Effective C++ 9：在析构/构造时不要调用虚函数

GoddessNaa

已于 2023-08-08 00:50:48 修改

阅读量82

点赞数

分类专栏： Effective C++ 文章标签： c++ 开发语言

于 2023-08-07 00:19:37 首次发布

原文链接：https://harttle.land/2015/07/27/effective-cpp-9.html

版权

Effective C++ 专栏收录该内容

15 篇文章

订阅专栏

本文解释了在C++中，为什么在构造函数或析构函数中直接调用虚函数可能导致问题，因为父类构造时子类数据未初始化。作者通过例子展示了虚函数调用解析到父类的现象，并提到了RTTI和dynamic_cast的作用。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

Item 9: Never call virtual functions during construction or destruction.

父类构造期间，对虚函数的调用不会下降至子类。如果这并非你的意图，请不要这样做！这个问题阿里实习面试曾经问到过，看这篇文章：2014阿里巴巴面试经历

看Scott Meyers举的例子：

class Transaction {                               // base class for all
public:                                           // transactions
    Transaction(){                                // base class ctor           
        logTransaction();                         // as final action, log this               
    }
    virtual void logTransaction() const = 0;      // make type-dependent
};
  
class BuyTransaction: public Transaction {        // derived class
public:
    virtual void logTransaction() const;          // how to log trans-
};
...
BuyTransaction b;

b在构造时，调用到父类Transaction的构造函数，其中对logTransaction的调用会被解析到Transaction类。那是一个纯虚函数，因此程序会非正常退出。

其实，对于构造函数中直接的虚函数调用，某些编译器会发出警告。

这一点很好理解，因为父类对象会在子类之前进行构造，此时子类部分的数据成员还未初始化，因此调用子类的函数是不安全的，因此C++不允许这样做。除此之外，在子类对象的父类构造期间，对象类型为父类而非子类。不仅虚函数会被解析至父类，运行时类型信息也为父类（dynamic_cast, typeid）。

C++提供了RTTI（Run-Time Type Identification，运行时类型识别）机制，我们通过typeid操作符便可以得到动态的类型信息，我们在父类的构造函数中输出当前对象的类型：

class Transaction{
public:
    Transaction(){
        cout<<typeid(this).name()<<endl;
    }
};
class BuyTransaction: public Transaction{
public:
    BuyTransaction(){
        cout<<typeid(this).name()<<endl;
    }
};
void main(){
    BuyTransaction b;
}