C++_多态初步及底层

1、什么叫做多态？

调用同一个父类，实现子类相应动作。

2、基本概念

基类-父类

派生类-子类

赋值兼容：在基类和公有派生类之间存在赋值兼容原则，也就是说所有需要基类类型的地方，都可以用派生类去替代

函数隐藏：派生类中重新定义基类中含有的函数，则称之为函数隐藏，调用派生类函数，会把基类函数隐藏。在派生类中去调用这个被隐藏的函数，必须加上作用域，基类：：函数名（）；

函数重写：在派生类、基类中函数名称相同，则称为函数重写，不仅需要函数名相同，而且函数类型和参数列表都要相同。

虚函数： (1) 用关键字virtual说的函数，称为虚函数； (2) 如果基类中的某些函数被说明为虚函数，那么也意味着 允许它的派生类去重新定义这个函数。

函数重载：同名函数（但参数个数类型顺序个数不同）

虚函数表——vtable

虚函数指针——vptr

虚函数表会出现在一个带有虚函数的类中，是属于类的。虚函数表相当于一个数组，其中存放的只有虚函数，可以是继承而来的，也可以是自己本身的。

3、静态连编与动态连编

静态连编时，系统用实参与形参进行匹配，对于同名的重载函数变根据参数上的差异进行区分，然后进行连编，从而实现编译时的多态。

动态连编是运行阶段完成的连编。即当程序调用到某一函数的时候，系统会根据当前的对象类型去寻找和连接其程序的代码，对面向对象的程序而言，就是当对象收到某一消息的时候，才去寻找和连接相应的方法。（函数的选择是基于基类指针指向的对象的类型）。虚函数重写可以实现。

4、动态多态条件

有继承关系、子类重写父类中的虚函数、父类的指针或者引用指向对象。

5、动态多态底层

基类未加虚函数

#include<iostream>
#include<string.h>

using namespace std;

class Animal
{
public:
    void speak()
    {
        cout << "动物在说话" << endl;
    }
};

class Cat :public Animal
{
public:
    void speak()
    {
        cout << "小猫在说话" << endl;
    }
};

class Dog :public Animal
{
public:
    void speak()
    {
        cout << "小狗在说话" << endl;
    }
};

//执行说话的函数
void DoSpeak(Animal& animal)
{
    animal.speak();
}

void test01()
{
    Cat cat;
    Dog dog;
    DoSpeak(cat);
    DoSpeak(dog);
}
int main()
{
    test01();

    system("pause");

    return 0;
}

输出：

 /

基类加虚函数

#include<iostream>
#include<string.h>

using namespace std;
//动物类
class Animal
{
public:
    virtual void speak()
    {
        cout << "动物在说话" << endl;
    }
};

class Cat :public Animal
{
public:
    void speak()
    {
        cout << "小猫在说话" << endl;
    }
};

class Dog :public Animal
{
public:
    void speak()
    {
        cout << "小狗在说话" << endl;
    }
};

//执行说话的函数
void DoSpeak(Animal& animal)
{
    animal.speak();
}

void test01()
{
    Cat cat;
    Dog dog;
    DoSpeak(cat);
    DoSpeak(dog);
}
int main()
{
    test01();

    system("pause");

    return 0;
}

输出：

如果没有利用关键字virtual，speak函数在编译阶段已经确定，所以运行阶段结果都是基类函数内容。采用关键字virtual，Animal类中的函数变为虚函数指针，如果调用基函数，则运行基函数；如果调用派生类函数，则虚函数指针指向的虚函数表，虚函数表中函数重写，指向派生类函数。