C++多态

---

多态：具有多种形态，在不同的条件下，有不同的状态

---

---

1、静态多态(静态链编译，静态绑定，早绑定)

---

静态多态是编译器在编译期间完成的，编译器根据函数实参的类型(可能会进行隐式类型转换)，可推断出要调用那个函数，如果有对应的函数就调用该函数，否则出现编译错误

---

函数重载相关知识点

---

//函数重载举例
int Add(int left, int right)
{
    return left + right;
}

double Add(double left, double right)
{
    return left + right;
}

char Add(char left, char right)
{
    return left + right;
}

---

泛型编程

---

---

2、动态多态(静态链编，动态绑定，晚绑定)

---

形成动态多态的条件（前提：必须是继承体系下）

---

---

1 .基类中必须包含虚函数，并且派生类一定要对基类中的虚函数进行重写。

重写：
1.1 不在同一作用域
1.2 基类函数必须有virtual关键字
1.3 返回值 函数名 参数列表都需要相同（协变例外）

2 .通过基类对象的指针或者引用调用虚函数

---

注：析构函数为虚函数，可以构成重写

---

---

协变

---

基类的虚函数返回类型为基类对象的引用（指针）
派生类虚函数返回派生类对象的引用（指针）

---

---

问：哪些函数不能定义为虚函数？

---

构造函数不能定义为虚函数
拷贝构造函数不能定义为虚函数
赋值运算符重载可以为虚函数（不建议定义为虚函数）
析构函数可以定义为虚函数（建议在带有虚函数的类中，最好将基类中的析构函数定义为虚函数）
静态成员函数不能定义为虚函数

---

抽象类

---

在成员函数(必须为虚函数)的形参列表后面写上=0，则成员函数为纯虚函数。包含纯虚函数的类叫做抽象类（也叫接口类），抽象类不能实例化出对象。纯虚函数在派生类中重新定义以后，派生类才能实例化出对象

---

注意事项

---

1 . 派生类重写基类的虚函数实现多态，要求函数名、参数列表、返回值完全相同(协变除外)
2 .基类中定义了虚函数，在派生类中该函数始终保持虚函数的特性
3 .只有类的非静态成员函数才能定义为虚函数，静态成员函数不能定义为虚函数
4 .如果在类外定义虚函数，只能在声明函数时加virtual关键字，定义时不用加
5 .构造函数不能定义为虚函数，虽然可以将operator=定义为虚函数，但最好不要这么做，使用时容易混淆
6 .不要在构造函数和析构函数中调用虚函数，在构造函数和析构函数中，对象是不完整的，可能会出现未定义的行为
7 .最好将基类的析构函数声明为虚函数。(析构函数比较特殊，因为派生类的析构函数跟基类的析构函数名称不一样，但是构成覆盖，这里编译器做了特殊处理)
8 .虚表是所有类对象实例共用的

---

多态调用原理

---

问：为什么派生类对基类的虚函数重写后，通过基类对象的指针或引用, 调用该虚函数，就可以实现多态呢？

---

---

虚表&不同继承下带有虚函数的对象模型

---

含有虚函数的类的对象模型

---

1 . 含有虚函数时，类的大小为一个指针<指向虚函数表>四字节+类的成员大小）
2 . 类在内存中存储的前四个字节里边存放一个地址<虚函数表的地址>，虚函数表中存放着每个虚函数的地址，结尾以 00 00 00 00结束。<测试用例VS2013>
3 . 虚表中虚函数的存放次序按照定义顺序存放

---

---

1 . 继承时，虚表拷贝一份（不是共用），可通过对比两个类的虚表指针。
2 . 如果派生类重写了基类的虚函数，替换相同偏移量位置的虚函数为子类虚函数。
3 . 对于派生类自己独有的虚函数，将虚函数添加在虚表中后边（基类后边）。

---

---

单继承

---

---

多继承

---

菱形继承

---

---

---

虚拟继承

---

---

---

菱形虚拟继承

---

---