先说结论
从语法上讲,调用完全没有问题。但是不能达到多态的效果。
原因
首先摘取一段来自《Effective C++》的解释:
派生类对象构造期间进入基类的构造函数时,对象类型变成了基类类型,而不是派生类类型。 同样,进入基类析构函数时,对象也是基类类型。
对于构造函数的情况,构造的顺序是先基类后子类,所以在调用基类构造函数的时候这个子类压根还没构造,所以虚函数不会生效。
类似的,对于析构函数,先析构子类后基类,当调用基类析构函数的时候,子类已经析构掉了,所以虚函数也不会生效。
对象的虚函数表地址在对象的构造和析构过程中会随着部分类的构造和析构而发生变化。
构造函数调用虚函数
当实例化一个派生类对象时,首先进行基类部分的构造,然后再进行派生类部分的构造。即创建Derive对象时,会先调用Base的构造函数,再调用Derive的构造函数。
当在构造基类部分时,派生类还没被完全创建,从某种意义上讲此时它只是个基类对象。即当Base::Base()执行时Derive对象还没被完全创建,此时它被当成一个Base对象,而不是Derive对象,因此Foo绑定的是Base的Foo。
子类在创建的时候是先调用父类的构造器,父类的构造器先设置好父类的虚表地址,然后再执行构造器中的代码,然后在回到子类构造器,先将虚表地址替换为子类的虚表地址,然后执行子类构造器的代码。因此如果在父类构造器中调用虚函数,那么此时是从父类的虚表中查找函数地址,查找到的还是父类的虚函数地址。因此会调用父类的虚函数,而不会调用子类的虚函数。

最低0.47元/天 解锁文章
1788

被折叠的 条评论
为什么被折叠?



