多态语法，析构多态

目录

多态的构成条件

继承中要构成多态两个条件：

1. 必须通过基类的指针或者引用调用虚函数而不是对象

2. 被调用的函数必须是虚函数，且派生类必须对基类的虚函数进行重写

​编辑

虚函数重写的细节：

1：重写虚函数 ----  函数名，参数名，返回值必须相同

2：另外细节  派生类的重写虚函数可以不加virtual（但是建议大家都加上）

3：另外细节  协变 返回值可以不同，但要求返回值必须是父子关系的指针和引用（使用场景很少）

4：析构函数加virtual是虚函数重写

5：派生类虚函数的函数内容是重写的虚函数内容，但参数的缺省值是基类的参数缺省值

---

多态的构成条件

虚函数重写的细节：

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: 以上都不正确

答案解析如下图：