C++ 多态 超详细讲解

文章目录

• 多态概念引入
• 1、C++中多态的实现
• • 1.1 多态的构成条件
  • 1.2 虚函数
  • 1.3虚函数的重写
  • 1.4 C++11 override && final
  • 1.5 重载，覆盖(重写)，重定义（隐藏）
• 2、抽象类
• • 2.1 抽象类的概念
  • 2.2 接口继承和实现继承
• 3、 多态的原理
• • 3.1 虚函数表
  • 3.2多态的原理
  • 3.3动态绑定与静态绑定
• 4 、继承中的虚函数表
• • 4.1 单继承中的虚函数表
  • 4.2 多继承中的虚函数表

---

多态概念引入

多态字面意思就是多种形态。
我们先来想一想在日常生活中的多态例子：买票时，成人买票全价，如果是学生那么半价，如果是军人，就可以优先买票。不同的人买票会有不同的实现方法，这就是多态。

1、C++中多态的实现

1.1 多态的构成条件

C++的多态必须满足两个条件：
1 必须通过基类的指针或者引用调用虚函数
2 被调用的函数是虚函数，且必须完成对基类虚函数的重写
我们来看看具体实现。

class Person //成人
{
  public:
  virtual void fun()
   {
       cout << "全价票" << endl; //成人票全价
   }
};
class Student : public Person //学生
{
   public:
   virtual void fun() //子类完成对父类虚函数的重写
   {
       cout << "半价票" << endl;//学生票半价
   }
};
void BuyTicket(Person* p)
{
   p->fun();
}

int main()
{
   Student st;
   Person p;
   BuyTicket(&st);//子类对象切片过去
   BuyTicket(&p);//父类对象传地址
}

调用的两个BuyTicket() 答案是什么呢？

如果不满足多态呢？

这说明了很重要的一点，如果满足多态，编译器会调用指针指向对象的虚函数，而与指针的类型无关。如果不满足多态，编译器会直接根据指针的类型去调用虚函数。

1.2 虚函数

用virtual修饰的关键字就是虚函数。
虚函数只能是类中非静态的成员函数。

virtual void fun() //error！ 在类外面的函数不能是虚函数
{}

1.3虚函数的重写

子类和父类中的虚函数拥有相同的名字，返回值，参数列表，那么称子类中的虚函数重写了父类的虚函数，或者叫做覆盖。

class Person
{
  public:
   virtual void fun()
   {
      cout << "Person->fun()" << endl;
   }
};
class Student
{
   public:
   //子类重写的虚函数可以不加virtual，因为子类继承了父类的虚函数，
   //编译器会认为你是想要重写虚函数。
   //void