概念
多态的概念:通俗来说,就是多种形态,具体点就是去完成某个行为,当不同的对象去完成时会产生出不同的状态。
下面以学生买票为例说明多态的特性。
先加上两个知识点
重载与模板都属于多态,为静态多态
1.多态的构成条件
多态是在不同继承关系的类对象,去调用同一函数,产生了不同的行为。比如Student继承了Person。
Person对象买票全价,Student对象买票半价。
那么在继承中要构成多态还有两个条件:
1. 必须通过基类的指针或者引用指向子类对象
2. 被调用的函数必须是虚函数,且派生类必须对基类的虚函数进行重写
1.1虚函数
虚函数的重写(覆盖):派生类中有一个跟基类完全相同的虚函数(即派生类虚函数与基类虚函数的返回值类型、函数名字、参数列表完全相同),称子类的虚函数重写了基类的虚函数。
1.2多态的实现
由图可知,当不使用虚函数时,分别创建Person类对象,和Student类对象调用func函数,由于函数的参数是Person类,Person类对象调用
func函数会正常调用Person的Buyticket成员函数;而在Student类对象调用参数为Person类的func函数时,会发生子类向父类的赋值转换,
形象的说法叫切片或者切割。寓意把派生类中父类那部分切来赋值过去。
当在父类和子类buyticket函数前加virtual,满足了子类的虚函数重写了基类的虚函数的条件。
形成多态的两个条件缺一不可(见多态构成条件)
如果func参数更换为Student类就违背了多态构成条件第一条:必须通过基类的指针或者引用调用虚函数
如果Person和Student类的返回值类型、函数名字、参数列表有一个不相同则不满足多态构成条件第二条:被调用的函数必须是虚函数,且派生类必须对基类的虚函数进行重写
在这里提出一个问题:析构函数是虚函数,是否构成重写?
答:构成,因为C++为编译器对析构函数的名称做了特殊处理,编译后析构函数的名称统一处理成destructor,满足虚函数的条件。
补充继承方面知识点