C++ 为什么不能在构造函数中调用虚函数

最近在Clion编辑器中看到构造函数中调用虚函数提示： Do not invoke virtual member functions from constructor

这里记录一下为什么不能在构造函数中调用虚函数。

#include <iostream>
#include <string>

using namespace std;

class BaseClass {
    public:
        BaseClass() {
            std::cout << "初始化父类,地址:" << this << std::endl;
            std::cout << "父类虚函数表地址:" << *((intptr_t **) (this)) << std::endl;
            showme();
        }

        virtual void showme() {
            std::cout << "==BaseClass::shome()==" << std::endl;
        };
};

class DeriveClass : public BaseClass {
    public:
        DeriveClass() {
            std::cout << "初始化子类,地址:" << this << std::endl;
            std::cout << "子类虚函数表地址:" << *((intptr_t **) (this)) << std::endl;
        }

        virtual void showme() {
            std::cout << "直接调用BaseClass::showme() --> ";
            BaseClass::showme();
            std::cout << "==DeriveClass::shome()==" << std::endl;
        }
};

int main() {
    DeriveClass dc = DeriveClass();
    dc->showme();
    return 0;
}

执行结果:

初始化父类,地址:0x7ffee0673780
父类虚函数表地址:0x10f58e080
==BaseClass::shome()==
初始化子类,地址:0x7ffee0673780
子类虚函数表地址:0x10f58e040
直接调用BaseClass::showme() --> ==BaseClass::shome()==
==DeriveClass::shome()==

在基类的构造函数中，调用了showme()的虚函数。但是我们创建的是DeriveClass这个派生类，在创建派生类之前会首先调用基类的构造函数来创建基类的数据，如果此时进入了基类构造函数中，那么当前对象中的虚函数指针，指向的是基类的虚函数表，并非派生类的虚函数表，从上面的执行结果就可以看出，当初始化好基类的构造函数之后，回到派生类的构造函数中时，当前对象的虚函数指针指向的为派生类的虚函数表，已经非基类的虚函数表。

派生类与基类的构造函数初始化时，虚函数表是不一样的，意味着构造函数中调用虚函数是当前类的虚函数，无法多态调用。
再想想，即使允许多态调用，如果在基类中调用派生类的虚函数，由于派生类的那部分数据还未开始初始化，如果访问了还未初始化的数据，那就有很大的问题了。

---

如果基类的析构函数不是虚函数:

• 使用基类指针指向派生类对象时，delete这个基类指针时，仅能析构基类部分，无法析构派生类部分(无法调用派生类析构函数)，导致内存泄漏;
• 使用派生类指针指向派生类对象时，delete这个指针，那么基类和派生类部分都能正常析构
• 若基类的析构函数没有任何实现体，那么直接将其定义为虚函数，然后使用default关键字声明即可，无需再写一个空的函数体

virtual ~Base()	// 1
{
}

virtual ~Base() = default;	// 2
//写法1与写法2效果相同

• 如果基类的析构函数是保护的 (一般不会，也不需要把一个基类的析构函数写成保护的)
  • 使用基类指针指向子类对象，delete基类指针的代码无法通过编译；
  • 使用子类指针指向子类对象，delete基类指针的代码可以通过编译；

class A {
public:
    A()
    {
        qDebug() << "A()";
    }

protected:
   virtual ~A()
   {
        qDebug() << "~A()";
   }
};


class B : public A
{
public:
    B()
    {
        qDebug() << "B()";
    }
    ~B()
    {
        qDebug() << "~B()";
    }
};

   A* p = new B();	//基类指针，指向子类对象，无法通过编译
   B* p = new B();	//子类指针，指向子类对象，可以通过编译
   delete p;

---

下图是类对象的模型，虚函数表指针与虚函数表：

参考
参考