C++ 多态虚函数的底层原理深入理解

更新时间：2022年08月05日 11:01:41 作者：炼丹之路

这篇文章主要介绍了C++ 多态虚函数的底层原理深入理解，多态是在不同继承关系的类对象，去调用同一函数，产生了不同的行为，通常是父类调用子类的重写函数，在C++中就是父类指针指向子类对象，此时父类指针的向下引用就可以实现多态

1 多态的基本概念

1.1 什么是多态?

多态是在不同继承关系的类对象，去调用同一函数，产生了不同的行为，通常是父类调用子类的重写函数，在C++中就是父类指针指向子类对象，此时父类指针的向下引用就可以实现多态

比如看下面的代码：

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

  virtual void eat(int a )
  {
    cout << "动物在吃饭" << endl;
  }
};

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

  void eat(int a)
  {
    cout << "小猫在吃饭" << endl;
  }
};
class Dog :public Animal
{
public:
  void speak()
  {
    cout << "小狗在说话" << endl;
  }
};

这两个类实现集成关系，简单来说就是 Animal是父类，Cat是子类，通过父类引用调用子类函数，这就是多态（字面意思就是一个对象多个状态）,这样就符合** 高内聚低耦合** 的设计原则，更容易后期维护与修改

1.2 怎么实现多态

说了这么多，那么多态到底怎么实现呢？

想必上面代码中也已经透露出了一些信息，并且十分关键。没错，就是virtual，字面意思是虚拟的，而也的确如此，这个关键字修饰的函数，叫做虚函数，拥有虚函数的类，被称为 抽象类（虚类），virtual是实现多态的必要不充分条件
同时，子类要重写父类的虚函数，什么叫重写？就是函数类型，函数名，参数列表完全相同。
并且父类指针还要指向子类对象，

正如下所示：

void doSpeak(Animal & animal) //Animal & animal = cat;
{
  animal.speak();
}

void test01()
{
  Cat cat;
  doSpeak(cat);

  Dog dog;
  doSpeak(dog);
}

如此方能满足实现多态的三个条件：

注：如果没有多态，那么父类指向子类时就无法调用子类函数，也就是此时该函数地址早就绑定好了，只能是animal说话，属于静态联编(静态)；如果想调用小猫说话，这个时候函数的地址就不能早就绑定好，而是在运行阶段再去绑定函数地址，属于地址晚绑定，叫动态联编，(动态)多态的实现就是依靠动态联编。

2 虚函数的底层原理

那么虚函数到底是怎么工作的呢?

void test02()
{
  Animal * animal = new Cat;
  ((void(*)()) (*(int *)*(int *)animal)) ();
  typedef void( __stdcall *FUNPOINT)(int);
  (FUNPOINT (*((int*)*(int*)animal + 1)))(10);
}

  Animal * animal = new Cat;

就是animal->speak();

  ((void(*)()) (*(int *)*(int *)animal)) ();

这里 *(int *)animal 解引用到虚函数表中,先将animal类型的指针强转为int *，然后解引用得到int类型的值放到虚函数表中，然后偏移相应位置指向speak()

 ((void(*)()) (*(int *)*(int *)animal)) ();

调用猫说话,因为C/C++默认调用惯例 __cdecl,而用下列调用时是__stdcall

typedef void( __stdcall *FUNPOINT)(int);
(FUNPOINT (*((int*)*(int*)animal + 1)))(10);

到此这篇关于C++ 多态虚函数的底层原理深入理解的文章就介绍到这了,更多相关C++ 多态虚函数内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！

您可能感兴趣的文章:

C++利用容器查找重复列功能实现
本文将详细介绍c++容器简介,c++容器的比较与操作实例，需要了解更多的朋友可以参考下
2012-11-11
关于C++出现Bus error问题的排查与解决
项目代码中经常出现莫名其妙的Bus error问题,并且代码中增加很多try catch 后依然不能将错误捕获,一旦Bus erro出现,进程直接崩溃掉,所以本文给大家介绍了关于C++出现Bus error问题的排查与解决,需要的朋友可以参考下
2024-01-01
C++与Lua协程交互的示例详解
Lua 语言不支持真正的多线程,即不支持共享内存的抢占式线程,在执行协程体的 Lua 脚本时,Lua 同样可以调用 C++ 的函数,本文给大家介绍了C++ 与 Lua 的协程交互,需要的朋友可以参考下
2024-02-02
vs2019配置C++版OpenCV的方法步骤
最近要用到很多OpenCV的库，所以开始学了点OpenCV，本文记录VS和OpenCV的安装、配置过程。具有一定的参考价值，感兴趣的可以了解一下
2021-09-09
一个win32窗口创建示例
这篇文章主要介绍了一个win32窗口创建示例,需要的朋友可以参考下
2014-04-04
C++字符数组的输入输出和字符串结束标志使用讲解
这篇文章主要介绍了C++字符数组的输入输出和符串结束标志使用讲解,是C++入门学习中的基础知识,需要的朋友可以参考下
2015-09-09
Libevent的使用及reactor模型详解
Libevent 是一个用C语言编写的、轻量级的开源高性能事件通知库,主要有以下几个亮点：事件驱动（ event-driven）,高性能;轻量级,专注于网络,这篇文章主要介绍了Libevent的使用及reactor模型,需要的朋友可以参考下
2024-03-03
c++类和对象基本概念
这篇文章主要为大家介绍了c++类和对象，具有一定的参考价值，感兴趣的小伙伴们可以参考一下，希望能够给你带来帮助
2021-11-11
使用C++ Matlab中的lp2lp函数教程详解
本文介绍如何使用C++编写数字滤波器设计算法，实现Matlab中的lp2lp函数，将低通滤波器转换为参数化的低通滤波器，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习吧
2023-04-04
Windows上使用vs编译fdk-aac的教程详解
有时需要在Windows上用到fdk-aac,fdk-aac是源码是cmake的,可以直接转成vs项目,下面就跟随小编一起学习一下如何在Windows上使用vs编译fdk-aac吧
2023-11-11