c++的多态就是父类的函数写上virtual关键字,然后子类重写一个同名函数,在父类的调用处,如果传的是父类,就调用父类的函数,如果是子类,就调用子类的函数,总之就是同一个调用语句,不同的表现形式
所以从上面看来,可以知道多态成立的条件有三:要存在父类和子类,父类要有虚函数,父类的指针或者引用时,传入子类。
有关多态的实现原理,参考 C++编译器是如何实现多态
Ø 当类中声明虚函数时,编译器会在类中生成一个虚函数表
Ø 虚函数表是一个存储类成员函数指针的数据结构
Ø 虚函数表是由编译器自动生成与维护的
Ø virtual成员函数会被编译器放入虚函数表中
Ø 当存在虚函数时,每个对象中都有一个指向虚函数表的指针(C++编译器给父类对象、子类对象提前布局vptr指针;当进行howToPrint(Parent *base)函数时,C++编译器不需要区分子类对象或者父类对象,只需要再base指针中,找vptr指针即可。)
Ø VPTR一般作为类对象的第一个成员
Ø想证明vrtr指针的存在也不难,sizeof一下类对象即可得到,会比普通的成员变量和多4个字节,正是vptr指针
Ø那vptr指针什么时候被初始化呢?其实是在对象建立时,编译器对vptr进行初始化,当对象的构造函数执行完毕,vptr指针结果才确定,所以构造函数中调用虚函数,是不能实现多态的,因为vptr指针未初始化完毕。