C++复习笔记——多态

1 多态

基本概念：

1. 静态多态：编译时多态，运算符重载和函数重载
2. 动态多态：运行时多态，派生类重写基类的虚函数实现
   静态多态和动态多态的区别就是函数地址是早绑定(静态联编，静态绑定)还是晚绑定(动态联编，动态绑定)。
   如果函数的调用，在编译阶段就可以确定函数的调用地址，并产生代码，就是静态多态(编译时多态)，就是说地址是早绑定的。而如果函数的调用地址不能编译不能在编译期间确定，而需要在运行时才能决定，这这就属于晚绑定(动态多态,运行时多态)。

动态多态的实现和使用

1. 动态多态满足条件：派生类重写基类的虚函数
   虚函数允许子类（派生类）重新定义父类（基类）成员函数，而子类（派生类）重新定义父类（基类）虚函数的做法称为覆盖(override)，或者称为重写。重写：函数名、形参列表、返回类型、const属性完全相同
2. 动态多态的使用：基类指针和引用指向派生类对象
   编译器允许向上类型转换，取一个对象的地址(指针或引用)，并将其作为基类的地址来处理，这种称为向上类型转换。也就是说：父类引用或指针可以指向子类对象，通过父类指针或引用来操作子类对象。

底层原理

1. 定义一个基类Person：
   
   底层结构：内存大小为1字节，即空类
   
2. 将Person的函数用virtual声明为虚函数：
   
   底层结构：内存大小为4字节，即比空类多了一个虚函数（表）指针vfptr，指向虚函数表vftable，虚函数表存储了Person的所有虚函数的地址
   
3. 派生类Teacher继承基类Person
   子类继承基类，子类继承了基类的vptr指针，这个vptr指针是指向基类虚函数表，当子类调用构造函数，使得子类的vptr指针指向了子类的虚函数表。
   
   底层结构：派生类Teacher拷贝了一份基类Person的vfptr和vftable
   
   4、派生类Teacher重写了基类的虚函数
   
   底层结构：派生类Teacher在自己的vftable中覆盖了相应的虚函数