最近在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这个派生类,在创建派生类之前会首先调用基类的构造函数来创建基类的数据,如果此时进入了基类构造函数中,那么当前对象指向的虚函数表地址为基类的虚函数表,并非派生类的虚函数表,从上面的执行结果就可以看出,当初始化好基类的构造函数之后,回到派生类的构造函数中时,获取的虚函数表地址已经变为了派生类的虚函数表地址,已经非基类的虚函数表地址。
派生类与基类的构造函数初始化时,虚函数表是不一样的,意味着构造函数中调用虚函数是当前类的虚函数,无法多态调用。
再想想,即使允许多态调用,如果在基类中调用派生类的虚函数,由于派生类的那部分数据还未开始初始化,如果访问了还未初始化的数据,那就有很大的问题了。
下图是类对象的模型,虚函数表指针与虚函数表: