第十五章_多态

目录

一、内涵

二、虚函数

1.引入

2.虚函数定义

 3.虚函数 动态绑定机制

三、纯虚函数

1.定义方式

2.实例： （冲泡饮品抽象类）

 3.虚函数和纯虚函数的区别

四、虚析构函数

1.虚析构

2.定义方式

3.虚析构函数 动态绑定机制

五、纯虚析构函数

---

一、内涵

多态性 改善了代码的 可读性 和 组织性，使程序具有 可扩展性 。（不仅在最初创建时可以扩展，当项目有新的功能时也能扩展）

多态条件：有继承、子类重写父类虚函数、父类指针指向子类空间。

静态多态（编译时多态，早绑定）：函数重载、运算符重载、重定义

动态多态（运行时多态，晚绑定）：虚函数

二、虚函数

1.引入

需求：设计一个算法，可以操作父类派生的所有子类

【既如此，我们的传入的参数应该是所有子类的共性，也就是父类的 指针或者引用。但需要知道用的是哪一个子类，所以，父类指针指向子类空间。】

父类指针/引用 保存 子类空间地址 的目的：让算法通用

2.虚函数定义

如果一个类中的成员函数前被virtual修饰（可以省略virtual），那么这个函数就是虚函数。

子类重写 父类的虚函数：函数名、返回值类型、参数类型个数顺序 必须完成一致。

 3.虚函数 动态绑定机制

成员函数定义一个虚函数，类就会产生一个 虚函数指针（vfptr）指向 虚函数表（vftable）。

如果这个类没有涉及到继承，虚函数表中记录的就是 当前虚函数入口地址。 继承后，当子类重写父类虚函数时，实际上是改变了虚函数入口地址。调用的时候是用的父类的指针，但指向的地址被改成了 子类重写的函数的入口地址。

三、纯虚函数

通过 虚函数，我们想，如果

• 基类一定派生出子类
• 子类一定会重写父类虚函数

那么父类虚函数中的函数体无意义，可不可以直接不写呢？

1.定义方式

 

•  一旦类中有纯虚函数，这个类是抽象类
• 抽象类不能实例化对象（Animal ob;错误)
• 抽象类必须被继承，同时子类必须重写父类所有纯虚函数，否则，子类也是抽象类
• 抽象类主要目的：设计类的接口（即告诉你怎么干？有哪些步骤？具体在子函数中实现）

2.实例： （冲泡饮品抽象类）

 

 

 3.虚函数和纯虚函数的区别

虚函数： virtual修饰，有函数体，不会导致父类为抽象类。

纯虚函数：virtual修饰，=0，没有函数体，导致父类为抽象类，子类必须重写父类的所有纯虚函数。

（1）+纯，=0且不用写父类代码段，导致父类为抽象类

（2）纯虚函数 会让类变成 抽象类

（3）子类一定要 重写 虚函数。

四、虚析构函数

1.虚析构

通过父类指针，释放整个子类空间

【虚函数指针 是 父类指针，等作用结束后只会调用父类的析构函数，释放子类空间中的父类部分，而子类空间的其他部分无法得到释放，所以用 虚析构函数 来完全释放子类空间】

2.定义方式

在父类的析构函数前加 virtual 修饰

3.虚析构函数 动态绑定机制

        析构的顺序：子类->成员->父类（子成父）

        定义 父类的虚析构函数 时，产生 虚函数指针 指向 虚函数表，虚函数表 中存 虚析构函数的入口地址。

        当子类继承父类时，入口地址 自动改变为 子类的析构函数入口地址，无需重写。

        按析构顺序，当子类析构完（释放新增部分），自动调用 父类析构 释放父类那部分。

 多态中一般为抽象类，析构函数为虚析构，有纯虚函数。

五、纯虚析构函数

 析构函数不能被继承。

纯虚析构函数 必须有一个 类外实现的函数体。

 

虚析构函数 和 纯虚析构函数区别：

虚析构： virtual修饰，有函数体，不会导致父类为抽象类

纯虚析构：virtual修饰，=0，函数体必须内外实现，导致父类为抽象类。

（1）+纯，=0 且 不用写父类代码段，导致父类为抽象类

（2）纯虚析构函数必须有一个 类外实现的函数体。