2012年C++专家进阶之三
方法:反证法
如果派生类或者说子类,写成和基类、父类一模一样的函数,也就是函数说,名称相同,而且参数也相同。
注意:基类是虚函数,是带关键字virtual的。
满足覆盖的条件:
1.分属于不同类,子类与基类;
2.基类的函数带virtual关键字;
3.函数名称相同;
4.参数也相同;
根据构造函数实现,总是先构造基类对象,但是又根据《2012年C++专家进阶之二》,子类的构造函数又将覆盖基类的构造函数,将造成无法构造基类对象,从而出错。矛盾!
理论:虚函数是通过访问一张虚函数表(Virtual
Table,简称VTable)来实现的。VTable存储的是对象实例的内存空间信息,也就是各个虚函数的地址信息。
既然构造函数是虚函数,那么就需要访问VTable表,可是对象都还没有实例化,内存空间都还没有申请分配呢,内存空间都还没有,又去哪儿找VTable表?矛盾!
也就是说VTable虚函数表是在构造函数调用之后,才生成的。