为什么C++构造函数不能是虚函数

这是一个“鸡生蛋还是蛋生鸡”的问题。

首先我们要明白，虚函数是如何调用的。如果一个类有虚函数，那么必然对应一个虚函数表vtable，这个虚函数表的指针指向的是虚函数的地址。当一个基类指针想要调用派生类的虚函数的时候，需要通过这个虚函数表来查找调用这个派生类的虚函数。

那么，既然知道了虚函数是如何调用的，那么虚函数表是什么时候形成的呢？它是构造函数初始化示例的时候进行初始化的，也就是说构造函数初始化示例的时候，它也会初始化虚函数表。如果构造函数也是虚函数，那么都没有虚函数表，他如何去找这个虚函数表来调用自己这个虚函数呢？这就陷入了“鸡生蛋蛋生鸡”的问题了。

#include <iostream>
using namespace std;

class Parent
{
public:
    virtual Parent(int a = 0)//声明构造函数是虚函数
    {
        _a = a;
    }
private:
    int _a;
};

class Child : public Parent
{
public:
    Child(int b = 0)
    {
        _b = b;
    }
private:
    int _b ;
};

int main()
{
    Parent p;

    return 0;
}

 

编译报错结果： 
error: constructors cannot be declared virtual [-fpermissive] 即构造函数不能是虚函数