C++多态详细解析+代码演示

什么是多态？

通俗的理解，多态就是多种状态，在面向对象程序设计中，一个接口，多种实现即为多态。C++多态分为静态多态和动态多态，区别在于：静态多态体现在编译阶段，在编译的时候可以确定使用的接口；动态多态体现在运行阶段，具体引用的接口在运行的时候才能确定。

静态多态：

主要通过函数重载、泛型编程来实现，c++支持定义相同的函数命、不同的形参来重载出不同的函数，这就是多态的特性，但这里的多态是编译阶段完成，也就是说编译器会将函数绑定到唯一确定的形式上去，这就是静态多态。

动态多态：

动态多态是通过虚函数和类继承机制来实现，动态多态需满足如下条件：

• 必须存在父子继承关系；
• 子类中要重写父类的虚函数。
• 父类指针或引用指向子类对象。

虚函数：

虚函数是在基类中使用关键字virtual声明的函数，并在派生类中重新定义基类虚函数，告诉编译器不要静态链接到该函数。程序中任意点根据所调用的对象类型来选择调用函数，这种操作叫做动态链接，或后期绑定。虚函数的声明格式：virtual 返回类型 函数名（形参…），虚函数必须实现，否则编译器将报错。

纯虚函数：

纯虚函数在基类中声明，它在基类中是没有定义的，但要求在派生类中要定义自己的实现方法，因此纯虚函数用来规范派生类的行为，**包含纯虚函数的类叫做抽象类，抽象类不能定义实例，但可以声明指向实现该抽象类的具体类的指针或引用。**纯虚函数的声明格式：

virtual void 函数名（）=0。

下面是未使用virtual 的函数

现象：

下面是使用virtual的函数

现象：

【代码讲解】：
首先在基类animal中声明并定义虚函数run（），并在派生类cat和dog中分别实现了各自的run（）方法，然后在main函数中通过基类animal声明了一个animal_example指针，通过这个指针访问cat和dog对象的run（）方法，第32行和第35行可以理解为animal_example指针实例化。