2012年C++专家进阶之三

2012年C++专家进阶之三

问题：为什么构造函数不能是虚函数

方法：反证法

证明：假设构造函数是虚拟函数。

方法一：通过覆盖的概念来进行反证

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

注意：基类是虚函数，是带关键字virtual的。

满足覆盖的条件：

1.分属于不同类，子类与基类；

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

3.函数名称相同；

4.参数也相同；

 

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

方法二：通过虚函数的实现原理来是反证

  理论：虚函数是通过访问一张虚函数表(Virtual Table，简称VTable)来实现的。VTable存储的是对象实例的内存空间信息，也就是各个虚函数的地址信息。

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

 

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