多态的定义与实现
1?? 多态的定义:多态好比我们为了达成目的,我们有多种形态的办法去达到目的。 2??多态是在继承的基础上形成的,那么在继承中要构成多态还有两个条件:
- 必须通过基类的指针或者引用调用虚函数。
- 被调用的函数必须是虚函数,并且派生类对基类的虚函数必须构成重写。
我们以下面这个买票为例 画下划线的地方就是虚函数,而每次派生类都对基类进行了重写。
多态中的虚函数
1?? 什么是虚函数 虚函数:即被virtual修饰的类成员函数称为虚函数。 2?? 虚函数的重写(覆盖) 即派生类虚函数与基类虚函数的返回值类型、函数名字、参数列表完全相同。具体的可以看上图的代码。
override和final
1?? final:英文意思最终。我们的虚函数加上这个最终。说明虚函数不能在被重写 。 具体如下图: 2?? override英文意思覆盖,是用来 检查派生类虚函数是否重写了基类某个虚函数,如果没有重写编译报错。 观下图可解达
重载\覆盖\隐藏之间的关系。
具体关系图如下:
抽象类
1?? 概念:在虚函数的后面写上 =0 ,则这个函数为纯虚函数。包含纯虚函数的类叫做抽象类也叫做接口类。(抽象类不能实例化出对象,派生类继承后也不能实例化出对象,只有重写纯虚函数,派生类才能实例化出对象。纯虚函数规范了派生类必须重写,另外纯虚函数更体现出了接口继承)
以上代码验证了1??中的观点。
补充虚函数表
一个含有虚函数的类中都至少都有一个虚函数表指针,因为虚函数 的地址要被放到虚函数表中,虚函数表也简称虚表。
|