多态原理
理论知识:
- 当类中声明虚函数时,编译器会在类中生成一个虚函数表
- 虚函数表是一个存储类成员函数指针的数据结构
- 虚函数表是由编译器自动生成与维护的
- virtual成员函数会被编译器放入虚函数表中
- 当存在虚函数时每个对象中都有一个指向虚函数表的指针(C++编译器给父类对象、子类对象提前布局vptr指针;当进行howToPrint(Parent *base)函数时,C++编译器不需要区分子类对象或者父类对象,只需要再base指针中,找vptr指针即可)
- vptr一般作为类对象的第一成员
多态成立的三个条件
- 要有继承
- 虚函数重写
- 父类指针指向子类对象
class Parent {
public:
virtual void func() {
debug("Parent:: func()\n");
};
virtual void func(int i) {
};
};
/* parent
VTable 表
void Parent::func()
void Parent::func(int i)
*/
class Child : public Parent {
public :
virtual void func () {
};
virtual void func(int i) {
};
};
/* child
VTable 表
void Parent::func()
void Parent::func(int i)
*/
编译器确定func是否为虚函数
- func不是虚函数,编译器可直接确定被调用的成员函数,(静态链编,根据Parent类型来确定)
- func是虚函数,编译器根据对象P的Vptr指针,所指的虚函数表中查找func()函数,并调用。
- 注意:查找和调用在运行时完成,(实现所谓的动态链编)
void run(Parent *p) {
p->func();
};
vptr指针分步初始化
谈谈你对多态的理解?
1、多态的实现效果
多态:同样的调用语句有多种不同的表现形态; 同样一个函数在子类对象表现不同的形态。
2、多态实现的三个条件
有继承、有virtual重写、有父类指针(引用)指向子类对象。
3、多态的c++实现
virtual关键字,告诉编译器这个函数需要支持多态;不是根据指针类型判断如何调用;而是根据指针所指向的实际对象类项判断如何调用。
4、多态的理论基础
动态链编PK静态链编,根据实际的对象类型来判断重写函数的调用
动态链编:在运行时的时候,才确定执行子类的函数还是父类函数
静态链编:编译器编译的时候才确定如何执行这个函数
5、多态的重要意义
设计模式的基础,是框架的基石
6、实现多态的理论基础
函数指针做函数参数
c函数指针是c++至高无上的荣耀,c函数指针一般有两种用法(正、反)
谈谈c++编译器是如何实现多态
是否可将每个成员函数都声明为虚函数,为什么?
答:是可以,影响效率,不建议这么做。通过虚函数表指针vptr调重写函数是在程序运行时进行的,因此需要通过寻址操作才能确定真正应该调用的函数,而普通成员函数是在编译时就确定了调用的函数,在效率上,虚函数的效率要低很多。
构造函数中调用虚函数能实现多态吗?为什么?
虚函数表指针vptr被编译器初始化的过程,你是如何理解的?
父类的构造函数中调用虚函数,能发生多态吗?
不能,
为什么要定义虚析构函数?
构造函数不能是虚函数,建立一个派生类对象时,必须从类层次的根开始,沿着继承路径逐个调用基类的构造函数
析构函数可以是虚的,虚析构函数用于指引delete运算符正确析构动态对象
父类指针和子类指针的步长
- 指针也只一种数据类型,c++类型对象的指针p++/–。仍然可用。
- 指针运算是按照指针所指的类型进行的。
- 父类p++与子类p++步长不同;不要混搭,不要在数组上使用多态。
纯虚函数和抽象类
- 纯虚函数是一个在基类中说明的虚函数,在基类中没有定义,要求任何派生类都定义自己的版本
- 纯虚函数为各派生类提供一个公共界面(接口的封装和设计、软件的模块功能划分)
- 纯虚函数说明形式:
virtual 类型 函数名(参数表)= 0; - 一个具有纯虚函数的基类称为抽象类。