C/C++多态及其实现原理

C/C++多态及其实现原理

多态的介绍

多态含义为一个事物有多种形态。在C ++程序设计中，多态性是指具有不同功能的函数可以用同一个函数名，这样就可以用一个函数名调用不同内容的函数。一般来说多态分为两种：

• 静态多态：也称为编译时多态，主要包括参数多态，过载多态和强制多态。参数多态：采用参数化模板，通过给出不同的类型参数，使得一个结构有多种类型。如 C++语言中的函数模板和类模板属于参数多态。参数多态又叫静态多态，它的执行速度快，异常少，调用在编译时已经确定。过载多态：同一个名字在不同的上下文中所代表的含义不同。典型的例子是运算符重载和函数重载。强制多态：编译程序通过语义操作，把操作对象的类型强行加以变换，以符合函数或操作符的要求。程序设计语言中基本类型的大多数操作符，在发生不同类型的数据进行混合运算时，编译程序一般都会进行强制多态。程序员也可以显示地进行强制多态的操作。如 int+double，编译系统一般会把 int 转换为 double，然后执行 double+double 运算，这个int->double 的转换，就实现了强制多态，即可是隐式的，也可显式转换。强制多态属于静态多态。
   
• 动态多态：也称运行时多态，主要包括：包含多态。包含多态的基础是虚函数。主要是通过类的继承和虚函数来实现，当基类和子类拥有同名同参同返回的方法，且该方法声明为虚方法，当基类对象，指针，引用指向的是派生类的对象的时候，基类对象，指针，引用在调用基类的方法，实际上调用的是派生类方法。

重载多态和强制多态是指特定多态， 重载多态和强制多态称为特殊多态性，用来刻画语义上无关联的类型间的关系；参数多态和包含多态是指通用多态，类型参数化多态和包含多态称为一般多态性，用来系统地刻画语义上相关的一组类型。

静态多态实现

静态多态靠编译器来实现，简单来说就是编译器对原来的函数名进行修饰。可以根据函数参数的类型，个数，以及修饰函数const，这就使得函数可以重载。同理，模板也是可以实现的，针对不同类型的实参来产生对应的特化的函数，通过增加修饰，使得不同的类型参数的函数得以区分。

动态多态的实现

动态多态靠运行时的类型检查，从而来进行函数的绑定。声明一个类时，如果类中有虚方法，则自动在类中增加一个虚函数指针，该指针指向的是一个虚函数表，虚函数表中存着每个虚函数真正对应的函数地址。动态多态采用一种延迟绑定技术，普通的函数调用，在编译期间就已经确定了调用的函数的地址，所以无论怎样调用，总是那个函数，但是拥有虚函数的类，在调用虚函数时，首先去查虚函数表，然后在确定调用的是哪一个函数，所以，调用的函数是在运行时才会确定的。

• 虚表指针初始化问题

当创建子类对象时，编译器的执行顺序其实是这样的：

1. 对象在创建时，由编译器对 vptr 进行初始化
2. 子类的构造会先调用父类的构造函数，这个时候 vptr 会先指向父类的虚函数表
3. 子类构造的时候，vptr 会再指向子类的虚函数表
4. 对象的创建完成后，vptr 最终的指向才确定

• 虚函数表的构成

具体的详细细节见https://blog.csdn.net/wenqiang1208/article/details/53148486

https://www.cnblogs.com/longcnblogs/archive/2017/10/09/7642951.html

• 无覆盖的公有单继承：虚函数按声明顺序存在于虚表中； 在派生类中，前面是基类的虚函数，后面是派生类的虚函数。
• 有覆盖的公有单继承：先拷贝基类的虚表；如果派生类重写了基类的虚函数，则修改同位置的基类虚函数；最后面是生类新定义的虚函数。

单继承的派生类的大小：虚表指针+ 基类的数据成员 + 派生类的成员

• 多重继承：

多重继承派生类的大小：（例如有两个父类）——基类1的虚表指针+基类1的成员变量+基类2的虚表指针+基类2的成员变量+子类成员变量

如果派生类有新定义的虚函数，则存放在继承顺序第一的基类续表的最后面。

• 菱形继承

如果派生类有新的虚函数，则添加在第一继承顺序的续表最后面。菱形继承存在二义性，由于直接父类都继承了祖父类的成员变量——导致修改一处，而另外一处没有修改（引起数据不一致性）。

• 虚继承中的单继承

1. 没有构造函数和析构函数（少中间的0——所占的字节），派生类有新的虚函数

2. 没有构造函数和析构函数（少中间的0——所占的字节），派生类没有新的虚函数

3. 有构造函数和析构函数（多中间的0——所占的字节），派生类有新的虚函数

虚继承中派生类的构造函数做了什么

• 虚继承中的多继承

  没有考虑构造函数或析构函数 ，派生类定义了新虚函数

• 虚继承中的菱形继承

没有考虑构造函数或析构函数 ，派生类定义了新虚函数