首先,在父类的构造函数中无法实现多态。
即在子类对象构造时,调用父类的构造函数时,执行的print()函数,仍然是父类中定义的虚函数print(),而不是子类中的虚函数print()。
原因:这是因为在创建子类对象,调用父类的构造函数时,VPTR指针会从指向子类的虚函数表转而指向父类的虚函数表有关。
- 当类A中含有虚函数时,在创建类A的对象时,编译器会为A创建一个VPTR指针,并创建一个虚函数表,存放各个虚函数的入口地址。在子类B的对象创建时,也是如此。此外,子类会继承父类的虚函数表,对于同名的(虚)函数进行重定义。当使用子类对象调用父类中的虚函数时,要加父类名作为域作用符。即 B b; b.A::print();进行父类中的虚函数同名虚函数调用。以原来的代码中,父类中的两参数虚函数virtual void fun(int i,int j)使用子类对象child调用为例。
-
想在父类的构造函数中实现多态是不可行的:
当我们定义一个子类对象,在先执行父类的构造函数时,c++编译器会给子类的VPTR指针重新赋值,令子类的VPTR指针指向父类的虚函数表。所以此时调用的是父类的虚函数表中的对应虚函数,无法实现多态。当父类的构造函数执行完毕,再执行子类的构造函数时,VPTR指针又会重新指向子类的虚函数表。
- VPTR指针什么时候被初始化呢?对象在创建的时候,由编译器对VPTR指针进行初始化。
- 只有在对象的构造完全结束后,VPTR指针的指向才最终确定下来。
- 父类对象的VPTR指针最终指向父类的虚函数表。
- 子类对象的VPTR指针最终指向子类的虚函数表。