C++多态基础

狭义多态：同一函数不同的有继承关系的类使用有不同函数表现形式，即同一行为不同人做有不同效果。

多态条件：

1.基类的指针，引用调用虚函数

2.派生类对虚函数进行了重写

虚函数：

在成员函数前加virtual变成虚函数

1.虚函数的重写;

派生类中重写和基类虚函数函数名，返回值，参数列表一样，完成重写

（可以不加virtual，虚函数被继承下来保持了虚函数的属性）

重写的例外：

1.如果在基类的声明中带有默认实参值，则通过基类指针调用该函数时，就总是从函数的基类版本中接受默认实参值。

2.协变(基类与派生类虚函数返回值类型不同) 派生类重写基类虚函数时，与基类虚函数返回值类型不同。即基类虚函数返回基类对象的指 针或者引用，派生类虚函数返回派生类对象的指针或者引用时，称为协变。

3.析构函数的重写。无论基类析构函数是否加virtual,派生类只要定义都会重写，因为编译器把他们名字统一改成了destructor方便重写

补充;

1.1

override作用
override关键字作用：

如果派生类在虚函数声明时使用了override描述符，
那么该函数必须重载其基类中的同名函数，否则代码将无法通过编译。
C++ override从字面意思上，是覆盖的意思，实际上在C++中它是覆盖了一个方法并且对其重写，从而达到不同的作用。override是C++11中的一个继承控制关键字。override确保在派生类中声明的重载函数跟基类的虚函数有相同的声明。

override明确地表示一个函数是对基类中一个虚函数的重载。更重要的是，它会检查基类虚函数和派生类中重载函数的签名不匹配问题。如果签名不匹配，编译器会发出错误信息
                        
        原文链接：https://blog.youkuaiyun.com/qq_42542471/article/details/124659190

1.2

final：修饰虚函数，表示该虚函数不能再被重写

抽象类;

在虚函数的后面写上 =0 ，则这个函数为纯虚函数。包含纯虚函数的类叫做抽象类（也叫接口 类），抽象类不能实例化出对象.

使用抽象类：如果不实现多态，不要把函数定义成虚函数。

多态原理：

动态绑定，即运行时才绑定函数地址，有虚函数的类内存中先是一个指向虚表的虚表指针__vfptr，虚表是一个指针数组，一般情况这个数组最后面放了一个nullptr，存放虚函数函数地址（函数地址实际上是jump到函数第一条指令地址的地址），派生类会重新开辟空间新立虚表，将重写的虚函数地址覆盖原虚函数地址，在运行时使用虚函数实际上是通过虚函数指针去虚表找某个函数地址，取出来再call执行函数指令。

补充：

虚函数表C++没规定存在哪，VS编译器中实际上存在常量区，使其不易修改（可以比较其地址与常量，静态变量地址的远近得出），且基类虚表和子类虚表不同，且一个类只有一份，与对象个数无关。

总结一下派生类的虚表生成：a.拷贝 b。重写就替换 c.新的放最后

静态绑定：编译时确定已经声明函数，一个文件内定义的直接确定地址，其他链接再找地址

动态绑定：运行时确定地址（虚函数）

打印虚表：取前4字节为虚表指针转为虚表地址传给PrintVTable

typedef void(*VFPTR) ();

void PrintVTable(VFPTR vTable[]) { cout " ", i, vTable[i]); VFPTR f = vTable[i]; f(); } cout << endl; }

VFPTR* vTableb = (VFPTR*)(*(int*)&b);

PrintVTable(vTableb);

拓展：

多继承的虚表：

按照派生类声明的继承顺序分配内存，有多个虚表指针指向多个虚表位置（继承了几个就有几个虚表），新增的虚函数放到继承的第一个基类的虚表里。