1 多态
基本概念:
- 静态多态:编译时多态,运算符重载和函数重载
- 动态多态:运行时多态,派生类重写基类的虚函数实现
静态多态和动态多态的区别就是函数地址是早绑定(静态联编,静态绑定)还是晚绑定(动态联编,动态绑定)。
如果函数的调用,在编译阶段就可以确定函数的调用地址,并产生代码,就是静态多态(编译时多态),就是说地址是早绑定的。而如果函数的调用地址不能编译不能在编译期间确定,而需要在运行时才能决定,这这就属于晚绑定(动态多态,运行时多态)。
动态多态的实现和使用
- 动态多态满足条件:派生类重写基类的虚函数
虚函数允许子类(派生类)重新定义父类(基类)成员函数,而子类(派生类)重新定义父类(基类)虚函数的做法称为覆盖(override),或者称为重写。重写:函数名、形参列表、返回类型、const属性完全相同 - 动态多态的使用:基类指针和引用指向派生类对象
编译器允许向上类型转换,取一个对象的地址(指针或引用),并将其作为基类的地址来处理,这种称为向上类型转换。也就是说:父类引用或指针可以指向子类对象,通过父类指针或引用来操作子类对象。
底层原理
- 定义一个基类Person:
底层结构:内存大小为1字节,即空类
- 将Person的函数用virtual声明为虚函数:
底层结构:内存大小为4字节,即比空类多了一个虚函数(表)指针vfptr,指向虚函数表vftable,虚函数表存储了Person的所有虚函数的地址
- 派生类Teacher继承基类Person
子类继承基类,子类继承了基类的vptr指针,这个vptr指针是指向基类虚函数表,当子类调用构造函数,使得子类的vptr指针指向了子类的虚函数表。
底层结构:派生类Teacher拷贝了一份基类Person的vfptr和vftable
4、派生类Teacher重写了基类的虚函数
底层结构:派生类Teacher在自己的vftable中覆盖了相应的虚函数