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这个派生类，在创建派生类之前会首先调用基类的构造函数来创建基类的数据，如果此时进入了基类构造函数中，那么当前对象指向的虚函数表地址为基类的虚函数表，并非派生类的虚函数表，从上面的执行结果就可以看出，当初始化好基类的构造函数之后，回到派生类的构造函数中时，获取的虚函数表地址已经变为了派生类的虚函数表地址，已经非基类的虚函数表地址。

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

---

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