个人中心
gpt4 book ai didi

浅谈C++ 虚函数

转载 作者：qq735679552 更新时间：2022-09-29 22:32:09 34 4
gpt4 key购买 nike

CFSDN坚持开源创造价值，我们致力于搭建一个资源共享平台，让每一个IT人在这里找到属于你的精彩世界.

这篇CFSDN的博客文章浅谈C++ 虚函数由作者收集整理，如果你对这篇文章有兴趣，记得点赞哟.

缘起 。

在上一篇文章中，测试代码2 中的 pBaseA->AA(); 输出的内容很“奇怪”。其实，完全在情理之中。本文将简单探究一下 c++ 中的虚函数实现机制。本文主要基于 vs2013 生成的 32 位代码进行研究，相信其它编译器（比如，gcc）的实现大同小异.

先从对象大小开始 。

假设我们有如下代码，假设 int 占 4 字节，指针占 4 字节.

  1. #include "stdafx.h"
  2. #include "stdlib.h"
  3. #include "stddef.h"
  4.  
  5. class CBase
  6. {
  7. public:
  8. virtual void VFun1() { printf(__FUNCTION__ "\n"); }
  9. virtual void VFun2() { printf(__FUNCTION__ "\n"); }
  10. virtual ~CBase() { printf(__FUNCTION__ "\n"); }
  11. int data;
  12. };
  13.  
  14. class CDerived : public CBase
  15. {
  16. public:
  17. virtual void VFunNew() { printf(__FUNCTION__ "\n"); }
  18. virtual void VFun1() override { printf(__FUNCTION__ "\n"); }
  19. virtual ~CDerived() override { printf(__FUNCTION__ "\n"); }
  20. };
  21.  
  22. int _tmain(int argc, _TCHAR* argv[])
  23. {
  24. printf("sizeof CBase is: %d, offset of data is %d\n",
  25. sizeof(CBase), offsetof(CBase, data));
  26. system("pause");
  27.  
  28. CBase* pBase = new CDerived();
  29. pBase->VFun1();
  30. pBase->VFun2();
  31. system("pause");
  32. return 0;
  33. }

输出结果如下图:

浅谈C++ 虚函数

有没有觉得意外？从类定义可知，data 占 4 字节，那另外的 4 字节是哪里来的呢？data 的偏移值不应该是 0 吗？为什么是 4 呢?

内存布局 。

如果一个类有虚函数，编译器会自动为这个类型的对象在头部增加一个虚表指针（vftable），指向虚函数表。虚函数表中存放着一个个的虚函数.

CBase 和 CDerived 类对象的内存布局如下:

浅谈C++ 虚函数

注意：虚函数表中索引为 -1 的地方指向了跟动态类型转换相关的信息.

虚表指针的初始化 。

vftable 是在类的构造函数中初始化的。可以在 IDA 中分别查看 CBase 类 和 CDerived 类的构造函数的反汇编代码.

CBase 构造函数的反汇编代码如下（关键部分已注释）:

浅谈C++ 虚函数

由反汇编代码可知， CBase 的构造函数会把 CBase 对象开始的位置（存放虚表指针）设置为 CBase::vftable.

CDerived 构造函数的反汇编代码如下（关键部分已注释）:

浅谈C++ 虚函数

由反汇编代码可知， CDerived 的构造函数会先调用 CBase 的构造函数进行基类部分的初始化，在 CBase 构造函数的内部把 CDerived 对象开始的位置设置为 CBase::vftable，然后调用自身的初始化部分，会把 CDerived::vftable 的地址放到对象开始的位置，从而替换掉了 CBase 类的虚表指针.

虚函数表的内容 。

了解完了虚表指针的初始化过程，再来看看 vftable 里面都有哪些内容.

可以双击 ??_7CBase@@6B@ （或者直接按回车）跳转到虚表所在的地方。如下图:

浅谈C++ 虚函数

说明：上侧是 CBase 类的虚表内容，下侧是 CDerived 类的虚表内容.

请注意图片上侧黄色高亮部分，也就是 vftable[-1] 的地方，是跟动态类型转换相关的信息，后面有机会介绍.

虚函数调用 。

理解了类对象的内存布局及虚函数表之后，再理解虚函数的调用过程就比较简单了.

有些 C++ 基础的小伙伴儿都知道本例中的输出结果应该如下图所示:

浅谈C++ 虚函数

直接看一下 pBase->VFun1() 和 pBase->VFun2() 对应的反汇编代码就应该明白一切了。如下图:

浅谈C++ 虚函数

因为 pBase 指向的实际是 CDerived 类型的对象，所以虚表是 CDerived 类的。如下图所示 。

浅谈C++ 虚函数

经过以上的分析，输出结果合情合理.

说明 。

本文只是拿了一个最最简单的例子做演示。像多重继承，虚继承等比较复杂的情况，感兴趣的小伙伴可以自行研究.

虽然这个例子很简单，但是背后的机理值得了解清楚，非常有用。比如，当库中的接口与库头文件不匹配的时候，很可能莫名其妙的就崩溃了。这时可以通过查看指针对应的虚表的内容来查看库中的虚函数都有哪些，跟头文件对比后就可以比较准确的判断是否是库不匹配的问题。还可以根据虚表的内容，猜测出基类指针指向的具体的子类对象的类型.

可以在 windbg 中使用 dps 命令快速打印，如下图:

浅谈C++ 虚函数

总结 。

  • 虚表指针是在类的构造函数中初始化的，相应的代码由编译器自动生成。
  • 在生成调用虚函数的代码的时候，并没有直接把虚函数地址写死，而是通过虚表进行调用，多了一层间接层。
  • Any problem in computer science can be solved by anther layer of indirection. (计算机科学领域的任何问题都可以通过增加一个间接的中间层来解决)

注意：如果通过对象调用虚函数，会是另外一种情况，因为不存在多态，直接使用函数低级进行调用就可以了。感兴趣的小伙伴儿可以自行实验.

参考资料 。

《深度探索 c++ 对象模型》 。

以上就是浅谈C++ 虚函数的详细内容，更多关于C++ 虚函数的资料请关注我其它相关文章！ 。

原文链接：https://bianchengnan.gitee.io/articles/brief-introduction-to-cpp-virtual-function-and-vtbl/ 。

最后此篇关于浅谈C++ 虚函数的文章就讲到这里了,如果你想了解更多关于浅谈C++ 虚函数的内容请搜索CFSDN的文章或继续浏览相关文章，希望大家以后支持我的博客！ 。

34 4 0
文章推荐： C++求最大公约数四种方法解析
文章推荐： PHP命令空间namespace及use的用法小结
文章推荐： c++ 有趣的动态转换
文章推荐： 简单讲解c++ vector
qq735679552
个人简介

我是一名优秀的程序员,十分优秀！

滴滴打车优惠券免费领取
滴滴打车优惠券
全站热门文章
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com