C++之多态

多态是C++面向对象三大特性之一。

多态分为两类：

静态多态：函数重载和运算符重载属于静态多态。

动态多态：派生类和虚函数实现运行时多态。

静态多态和动态多态有什么区别？

静态多态的函数地址早绑定 编译阶段确定函数地址

动态多态的函数地址晚绑定 运行阶段确定函数地址

/******************************************************************************************/

#include <iostream>
using namespace std;
/*动态多态*/

class Person{
    public:

    virtual void Say()
    {
        cout << "person say"<<endl;
    }

};

class Man:public Person{
    public:

    void Say()//重写虚函数时，关键字virtual可写可不写   如：virtual void Say()
    {
        cout << "Man say"<<endl;
    }
};

class Woman:public Person{
    public:

    void Say()
    {
        cout << "Woman say"<<endl;
    }
};

int main()
{
    Man man;
    Woman woman;
   
    Person*p= &man;
    p->Say();
    Person& p1 =woman;
    p1.Say();

    return 0;
}

实现动态多态的条件：一，有继承关系；二，子类要重写父类的虚函数；

                               使用：父类指针指向子类或父类引用子类。

/****************************************************************************************/

至于动态多态是如何实现这种功能的呢？

我们都知道一个类的对象（非空对象）的大小，是由其非静态成员属性大小决定的。

class Person{
    public:

     void Say()
    {
        cout << "person say"<<endl;
    }

};

由此可知，Person中只有一个成员函数，相当于一个空对象，而空对象只占一个字节（这个字节用于确定该对象在内存中的位置）

结果也不容置疑，该类创建出来的对象大小为1个字节。

但是当我们把成员函数加上关键字virtual使其成为虚函数之后呢？

我们会发现该对象大小变成了4个字节。

这四个字节其实是一个叫做虚函数（表）指针的指针，这个虚表指针指向一个虚表，虚表里记录了虚函数的地址。

我理解为：当子类继承父类时，同样也继承了虚表指针和虚表，而当你又重写了父类的虚函数后，子类的虚函数会覆盖掉子类虚表中的父类的虚函数。

所以说：1、 子类先拷贝一份父类虚表，然后用一个虚表指针指向这个虚表。
                  2 、如果有虚函数重写，那么在子类的虚表上用子类的虚函数覆盖。
                  3 、子类新增的虚函数按其在子类中的声明次序增加到子类虚表的最后。

待补充....

——————————————————分割线————————————————

纯虚函数和抽象类。

在多态中，通常父类中虚函数的实现是毫无意义的，主要使用调用子类重写的内容。

因此，我们可以将虚函数修改为纯虚函数。

纯虚函数语法：virtual 返回值类型 函数名(参数列表) = 0;

当类中有了纯虚函数，这个类称之为抽象类。抽象类无法实例化对象。子类必须重新父类中的纯虚函数否则子类也属于抽象类。

在动态多态时父类指针在释放的时候无法调用子类的析构函数。但是如果我们子类中有属性开辟到了堆区，无法通过析构释放。此时有一种解决办法就是： 把父类中的析构函数修改为虚析构或者纯虚析构。

要注意，不管是虚析构还是纯虚析构，都需要有具体实现。

虚析构和纯虚析构区别：

如果是纯虚析构，该类属于抽象类，无法实例化对象。

本篇仅供学习交流使用，因水平有限，如有不足或错误之处，还请大家指出,欢迎大家互相讨论学习，共同进步。