多态原理分析

首先谨记两条规则：

1.可以将一个派生类的对象的地址赋值给其基类的指针变量，但是只能通过这个指针访问派生类中由基类继承来的隐藏对象，不能访问派生类中的新成员。同样也不可反过来做。

2.派生类对象可以初始化基类的引用。引用是别名，但这个别名只能包含派生类对象中的由基类继承来的隐藏对象。

多态的实现是遵从这两条规则的

此次分清楚三个名词

重载：在一个类中参数列表不同的函数（例如运算符重载）

隐藏：子类将中与父类同名方法全部隐藏（无虚函数时的同名隐藏）

覆盖：虚表的覆盖（多态的原理）

 

接着就是实现多态条件

1.必须有类的继承

2.有虚函数

3.子类重写虚函数

4.通过父类的指针或引用调动该函数。

子类实现多态的原理就是遵循开始的两条规则，在类内部建立一个虚表，使父类有覆盖的函数用子类重写的函数将其覆盖掉。这样，父类对象的指针或者引用就可以通过自己访问子类重写的函数了。

//Test1.h
#include<iostream>
using namespace std;
class Fish
{
public:
    virtual void water(){};
    virtual void eat(){};
};
class Animal
{
public:
    virtual void water(){};
    virtual void eat(){};
};
class Shark : public Fish,public Animal
{
public:
    void water();
    void eat1();
};
void Shark::eat1(){cout<<"Shark eat. "<<endl;}
void Shark::water(){cout<<"Shark water. "<<endl;}
void fun(Fish *f)
{
    f->eat();
    f->water();
}

#include"Test1.h"
void main()
{
    Shark s;
    Fish *f = &s;
    Animal *a = &s;
    fun(f);
}

添加断点查看虚表

由于water方法有覆盖，所以Fish和Animal父类均将自己的虚表water替换成子类的water

若将Shark类的water函数修改成water1则两个父类的虚表为

可以清楚地看出父类并没有用子类覆盖（不满足多态三同条件：同名、同返回类型、同参数列表）

四条多态规则

1.单继承无覆盖，子类重写的函数会在父类的末尾进行增加

2.单继承有覆盖，子类的重写的函数会覆盖父类的虚函数

3.多继承在未覆盖的条件下，子类重写的函数仅仅会在第一个父类的末尾进行增加

4.多继承在覆盖的条件下，子类中重写的函数会覆盖所有父类中有该虚函数函数的函数