C++知识点 多态、静态多态、动态多态

多态

有了继承才有多态的概念，首先说一下继承。

继承的概念是派生类可以调用基类的成员。常举的例子，动物是基类，它拥有所有动物共有的一些特征和方法。它会衍生出猫的类，狗的类，派生出的类除了有动物公共的特性，还有属于他们自己的，例如叫声，科目等等。

继承的好处就是我们不需要重复地去编写每个类的公共属性。只需要在对应的类添加属于它独特的特性就可以。

继承的类型有三种：公有继承，保护继承和私有继承。

公有继承：基类的保护是派生的保护，基类的公有是派生类的公有。就好比这是公共财产，是公家的，你接手了上一任的工作后，接到的继承是原封不动的，保护是保护，公有是公有，性质不许变。（基类的私有成员可以通过继承的函数获得）

保护继承：基类公有的和保护的，派生后都变成保护的。上一任的财产都是属于自己家族的。所有的派生类都可以用。下一代的下一代，代代可用

私有继承：继承得来的东西都变成自己的东西，子承父业，虽然我的前一任很大公无私，但是到了自己手里都放入囊中，全部变成自己的（私有）。

任何类的构造函数，析构函数，拷贝构造函数，运算符重载函数不可被继承（我继承了你的财产，拿着你的身份证也没用，上面写的是基类的名字）。

多态：
那么什么是多态呢？它建立在继承的基础上。

#include <iostream> 
using namespace std;
 
class Shape {
   protected:
      int width, height;
   public:
      Shape( int a=0, int b=0)
      {
         width = a;
         height = b;
      }
      int area()
      {
         cout << "Parent class area :" <<endl;
         return 0;
      }
};
class Rectangle: public Shape{
   public:
      Rectangle( int a=0, int b=0):Shape(a, b) { }
      int area ()
      { 
         cout << "Rectangle class area :" <<endl;
         return (width * height); 
      }
};
class Triangle: public Shape{
   public:
      Triangle( int a=0, int b=0):Shape(a, b) { }
      int area ()
      { 
         cout << "Triangle class area :" <<endl;
         return (width * height / 2); 
      }
};
// 程序的主函数
int main( )
{
   Shape *shape;
   Rectangle rec(10,7);
   Triangle  tri(10,5);
 
   // 存储矩形的地址
   shape = &rec;
   // 调用矩形的求面积函数 area
   shape->area();
 
   // 存储三角形的地址
   shape = &tri;
   // 调用三角形的求面积函数 area
   shape->area();
   
   return 0;
}

我们是希望通过派生类继承基类，实现属于每个派生类独特的“个性”。我们可以看到，多态的使用往往是为了使父类指针调用子类对象。

我们来分析上述代码。Shape*是父类指针，它有时想要实现Rectangle的方法，有时想实现Triangle的方法。但是当这个指针定义的时候，它自己调用构造函数，实现了基类的**area()**方法。

我在学习的时候最大的困惑，为什么不直接定义派生类，一定要定义父类，再通过多态实现子类的方法呢？

我经过搜索找到了一个例子。就是一个函数，它根据一些条件判断，它可能返回Triangle，可能返回Rectangle，那么在函数的使用的时候，我们需要有变量去承接函数的返回结果，那么这个变量我们只知道它一定是Shape的子类，所以就有了父类指针调用子类方法。如上述 shape = &tri这种情况。

那么我们如何实现多态呢？

class Shape {
   protected:
      int width, height;
   public:
      Shape( int a=0, int b=0)
      {
         width = a;
         height = b;
      }
      // pure virtual function
      virtual int area() = 0;
};

在我们想要不同的实现方法的函数前面加一个virtual就好啦，这样的函数定义为是虚函数。

静态多态

什么是静态多态，静态多态就是在编译过程中就已经确定好类型的静态链接。

动态多态

通过虚函数使用，我们只有在程序运行的过程中才能知道其正确的类型

所以，动态和静态的区别。静态就像我们刚了解继承的时候理解的，子类继承父类的函数，相当于函数重载。当想使用子类的方法，就通过子类来调用。实现多态性。

而动态像我上面提到的例子，我们无法确定一个类是什么类别，这样的调用通常包括隐式类型转换。需要用到虚函数，通过父类指针实现子类方法。

虚函数表

顺便说一下虚函数表的概念。动态多态，我们说过父类指针实现子类的方法。但是父类指针类型指向的是父类实例的地址，如果想要实现子类的方法，就要去找到子类的方法的地址

所以在父类实例中会有一张虚函数表，虚函数表中存储的是实现各个动态多态的子类方法的地址。也就是说shape指向了shape实例的地址，里面是基类的方法地址和成员变量地址，如果shape要实现rec或者tri的方法，就要去虚函数表中找，他们对应的方法的地址。