目录
2. 被调用的函数必须是虚函数,且派生类必须对基类的虚函数进行重写
2:另外细节 派生类的重写虚函数可以不加virtual(但是建议大家都加上)
3:另外细节 协变 返回值可以不同,但要求返回值必须是父子关系的指针和引用(使用场景很少)
5:派生类虚函数的函数内容是重写的虚函数内容,但参数的缺省值是基类的参数缺省值
多态的构成条件
多态是在不同继承关系的类对象,去调用同一函数,产生了不同的行为。比如
Student
继承了
Person
。
Person
对象买票全价,
Student
对象买票半价。
继承中要构成多态两个条件:
1. 必须通过基类的指针或者引用调用虚函数而不是对象
思考:为什么不能通过基类的对象调用虚函数呢?下面举一个列子
2. 被调用的函数必须是虚函数,且派生类必须对基类的虚函数进行重写
虚函数重写的细节:
1:重写虚函数 ---- 函数名,参数名,返回值必须相同
2:另外细节 派生类的重写虚函数可以不加virtual(但是建议大家都加上)
3:另外细节 协变 返回值可以不同,但要求返回值必须是父子关系的指针和引用(使用场景很少)
4:析构函数加virtual是虚函数重写
那为什么要他们构成重写呢?下面举一个案列
我们期望delete p 能指向谁调用谁,而不是跟p的类型有关系 ,如果delete跟p的类型有关系,那永远是调用父类的delete,这不扯淡吗。
现实场景中父类的指针p有可能指向父类,但也有可能指向子类,所以p应该是指向父类调用父类,指向子类调用子类
所以我们期望在p->destructor 是一个多态调用而不是一个普通调用
5:派生类虚函数的函数内容是重写的虚函数内容,但参数的缺省值是基类的参数缺省值
下面提供一个题目
输出的是A->0 B: B->1 C: A->1 D: B->0 E: 编译出错 F: 以上都不正确
答案解析如下图: