天天看点

2012年C++专家进阶之三问题:为什么构造函数不能是虚函数证明:假设构造函数是虚拟函数。

2012年C++专家进阶之三

方法:反证法

如果派生类或者说子类,写成和基类、父类一模一样的函数,也就是函数说,名称相同,而且参数也相同。

注意:基类是虚函数,是带关键字virtual的。

满足覆盖的条件:

1.分属于不同类,子类与基类;

2.基类的函数带virtual关键字;

3.函数名称相同;

4.参数也相同;

根据构造函数实现,总是先构造基类对象,但是又根据《2012年C++专家进阶之二》,子类的构造函数又将覆盖基类的构造函数,将造成无法构造基类对象,从而出错。矛盾!

  理论:虚函数是通过访问一张虚函数表(Virtual

Table,简称VTable)来实现的。VTable存储的是对象实例的内存空间信息,也就是各个虚函数的地址信息。

既然构造函数是虚函数,那么就需要访问VTable表,可是对象都还没有实例化,内存空间都还没有申请分配呢,内存空间都还没有,又去哪儿找VTable表?矛盾!

   也就是说VTable虚函数表是在构造函数调用之后,才生成的。

继续阅读