C++ 虚函数表 vtable

2024-06-11 13:52
文章标签 c++ 函数 vtable

本文主要是介绍C++ 虚函数表 vtable,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

目录

  • 1.测试代码
  • 2.查看虚函数表
    • Widget 虚函数表
    • 虚函数表
  • 参考


本篇文章通过小实验来了解了解虚函数表,测试环境 ubuntu16 gcc 5.4.0

1.测试代码

测试代码中定义了两个类,后面将会查看这两个类的虚函数表

#include <iostream>
using namespace std;class Object {
public:Object(){cout << "Object()" << endl;}virtual ~Object(){cout << "~Object()" << endl;}virtual void print() {cout << "Object::print()" << endl;}
private:
};class Widget : public Object {
public:Widget() {cout << "Widget()" << endl;}~Widget() {cout << "~Widget()" << endl;}void print() override {cout << "Widget::print()" << endl;}
private:
};int main() {Object *o = new Widget;// 打印虚函数表地址uintptr_t *vtbl = (uintptr_t*)o;cout << std::hex << *vtbl << endl;o->print();delete o;return 0;
}

执行结果

root@linux:~/code/module/modvma# g++ vtbl.cpp -o vtbl -std=c++11
root@linux:~/code/module/modvma# ./vtbl 
Object()
Widget()
401020
Widget::print()
~Widget()
~Object()

初步看到 Widget 类的虚函数表地址是 0x401020

2.查看虚函数表

使用 objdump 来查看生成的可执行文件 vtbl

root@linux:~/code/module/modvma# objdump -s -d vtbl

-d, --disassemble Display assembler contents of executable sections
-s, --full-contents Display the full contents of all sections requested

mian 函数反汇编如下

0000000000400b36 <main>:
...
400b90:	48 8b 45 e0    mov    -0x20(%rbp),%rax 	; 将 o 的值给 rax
400b94:	48 8b 00       mov    (%rax),%rax		; 对 o 的值解引用; 现在 rax 的值为虚函数表地址
400b97:	48 83 c0 10    add    $0x10,%rax		; 将地址加 8 + 8 = 16; 现在 rax 指向了虚函数表中的一个条目
400b9b:	48 8b 00       mov    (%rax),%rax		; 对这个条目解引用; 现在 rax 的值为虚函数的入口地址
400b9e:	48 8b 55 e0    mov    -0x20(%rbp),%rdx
400ba2:	48 89 d7       mov    %rdx,%rdi			; 将参数 o 给 rdi
400ba5:	ff d0          callq  *%rax				; 调用 print(o)
...

上面给出了 o->print(); 这行代码对应的指令,可以看见对虚函数的调用的整个过程

测试代码运行结果显示,o 指向的对象的虚表指针 vptr 值为 0x401020,查看该地址内容如下

Contents of section .rodata:400fc0 01000200 004f626a 65637428 29007e4f  .....Object().~O400fd0 626a6563 74282900 4f626a65 63743a3a  bject().Object::400fe0 7072696e 74282900 57696467 65742829  print().Widget()400ff0 007e5769 64676574 28290057 69646765  .~Widget().Widge401000 743a3a70 72696e74 28290000 00000000  t::print()......401010 00000000 00000000 60104000 00000000  ........`.@.....401020 920e4000 00000000 ea0e4000 00000000  ..@.......@.....401030 100f4000 00000000 00000000 00000000  ..@.............401040 80104000 00000000 900d4000 00000000  ..@.......@.....401050 dc0d4000 00000000 020e4000 00000000  ..@.......@.....401060 20226000 00000000 78104000 00000000   "`.....x.@.....401070 80104000 00000000 36576964 67657400  ..@.....6Widget.401080 b0206000 00000000 90104000 00000000  . `.......@.....401090 364f626a 65637400                    6Object.  

0x401020 这个虚拟地址位于 .rodata 节中,所以虚函数表位于 .rodata 中

Widget 虚函数表

从 0x401020 开始的几个条目是

400e92
400eea
400f10

这三个条目的值为虚函数的地址,查看 Widget 类的函数地址如下

...
0000000000400e2e <_ZN6WidgetC1Ev>:		; ctor
...
0000000000400e92 <_ZN6WidgetD1Ev>:		; dtor
...
0000000000400eea <_ZN6WidgetD0Ev>:		; dtor
...
0000000000400f10 <_ZN6Widget5printEv>:	; Widget::print

左边是每个函数的入口地址,虚函数表中的条目正好对应了类中的虚函数

这里有两个虚析构函数,一个叫 complete object destructor, 另一个叫 deleting destructor,区别在于前者只执行析构函数不执行delete(),后面的在析构之后执行delete操作,也就是会 free。这是使用 gcc 得到的结果,使用 msvc 结果不一样,只有一个虚析构函数

所以,虚函数 Widget::print 的调用过程包括:首先通过对象的虚表指针 vptr 找到 Widget 类的虚函数表 vtable ,这里 vptr 指针(0x401020)指向是第一个虚析构函数,通过偏移 16 个字节找到 print 函数的项,这样就得到了 print 函数的入口地址 0x400f10

虚函数表

使用 compiler explorer 时给出了这些内容,可以看到这些才是真正的虚函数表内容(这里面使用的是 gcc 13 编译器,第一节中使用测试代码的是 ubuntu 进行演示的,实际内容有点不一样)

vtable for Widget:.quad   0.quad   typeinfo for Widget.quad   Widget::~Widget() [complete object destructor].quad   Widget::~Widget() [deleting destructor].quad   Widget::print()
vtable for Object:.quad   0.quad   typeinfo for Object.quad   Object::~Object() [complete object destructor].quad   Object::~Object() [deleting destructor].quad   Object::print()
typeinfo for Widget:.quad   vtable for __cxxabiv1::__si_class_type_info+16.quad   typeinfo name for Widget.quad   typeinfo for Object
typeinfo name for Widget:.string "6Widget"
typeinfo for Object:.quad   vtable for __cxxabiv1::__class_type_info+16.quad   typeinfo name for Object
typeinfo name for Object:.string "6Object"

可以看到,对象中的 vptr 指向的并不是 vtable 的首地址,指向的是第一个虚函数条目,这些内容在可执行文件中都能看到

Contents of section .rodata:400fc0 01000200 004f626a 65637428 29007e4f  .....Object().~O400fd0 626a6563 74282900 4f626a65 63743a3a  bject().Object::400fe0 7072696e 74282900 57696467 65742829  print().Widget()400ff0 007e5769 64676574 28290057 69646765  .~Widget().Widge401000 743a3a70 72696e74 28290000 00000000  t::print()......401010 00000000 00000000 60104000 00000000  ........`.@.....401020 920e4000 00000000 ea0e4000 00000000  ..@.......@.....401030 100f4000 00000000 00000000 00000000  ..@.............401040 80104000 00000000 900d4000 00000000  ..@.......@.....401050 dc0d4000 00000000 020e4000 00000000  ..@.......@.....401060 20226000 00000000 78104000 00000000   "`.....x.@.....401070 80104000 00000000 36576964 67657400  ..@.....6Widget.401080 b0206000 00000000 90104000 00000000  . `.......@.....401090 364f626a 65637400                    6Object.  

0x401010 应该就是 Widget 类的虚函数表的首地址,每一项 8 个字节

  • 第一项为 0
  • 第二项为 0x401060,typeinfo for Widget
401060 20226000 00000000 78104000 00000000   "`.....x.@.....
401070 80104000 00000000 36576964 67657400  ..@.....6Widget.

typeinfo for Widget 中最后有一个类名 typeinfo name,内容为 6Widget,前面 8 个字节内容为 0x401080 (这里和 compiler explorer 中的内容不一样),是父类 Object 的 typeinfo

401080 b0206000 00000000 90104000 00000000  . `.......@.....
401090 364f626a 65637400                    6Object.
  • 第三项开始就是虚函数的地址了

而 Object 类的虚函数表从 0x406038 开始,下面是 Object 类的函数地址

...
0000000000400d58 <_ZN6ObjectC1Ev>:
...
0000000000400d90 <_ZN6ObjectD1Ev>:
...
0000000000400ddc <_ZN6ObjectD0Ev>:
...
0000000000400e02 <_ZN6Object5printEv>:

参考

更详细的继承、虚函数内容可以查看这篇文章 图说C++对象模型:对象内存布局详解

这篇关于C++ 虚函数表 vtable的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1051356

相关文章

MySQL中COALESCE函数示例详解

《MySQL中COALESCE函数示例详解》COALESCE是一个功能强大且常用的SQL函数,主要用来处理NULL值和实现灵活的值选择策略,能够使查询逻辑更清晰、简洁,:本文主要介绍MySQL中C... 目录语法示例1. 替换 NULL 值2. 用于字段默认值3. 多列优先级4. 结合聚合函数注意事项总结C

Win32下C++实现快速获取硬盘分区信息

《Win32下C++实现快速获取硬盘分区信息》这篇文章主要为大家详细介绍了Win32下C++如何实现快速获取硬盘分区信息,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 实现代码CDiskDriveUtils.h#pragma once #include <wtypesbase

C++ Primer 标准库vector示例详解

《C++Primer标准库vector示例详解》该文章主要介绍了C++标准库中的vector类型,包括其定义、初始化、成员函数以及常见操作,文章详细解释了如何使用vector来存储和操作对象集合,... 目录3.3标准库Vector定义和初始化vector对象通列表初始化vector对象创建指定数量的元素值

Java8需要知道的4个函数式接口简单教程

《Java8需要知道的4个函数式接口简单教程》:本文主要介绍Java8中引入的函数式接口,包括Consumer、Supplier、Predicate和Function,以及它们的用法和特点,文中... 目录什么是函数是接口?Consumer接口定义核心特点注意事项常见用法1.基本用法2.结合andThen链

MySQL 日期时间格式化函数 DATE_FORMAT() 的使用示例详解

《MySQL日期时间格式化函数DATE_FORMAT()的使用示例详解》`DATE_FORMAT()`是MySQL中用于格式化日期时间的函数,本文详细介绍了其语法、格式化字符串的含义以及常见日期... 目录一、DATE_FORMAT()语法二、格式化字符串详解三、常见日期时间格式组合四、业务场景五、总结一、

C++实现回文串判断的两种高效方法

《C++实现回文串判断的两种高效方法》文章介绍了两种判断回文串的方法:解法一通过创建新字符串来处理,解法二在原字符串上直接筛选判断,两种方法都使用了双指针法,文中通过代码示例讲解的非常详细,需要的朋友... 目录一、问题描述示例二、解法一:将字母数字连接到新的 string思路代码实现代码解释复杂度分析三、

golang panic 函数用法示例详解

《golangpanic函数用法示例详解》在Go语言中,panic用于触发不可恢复的错误,终止函数执行并逐层向上触发defer,最终若未被recover捕获,程序会崩溃,recover用于在def... 目录1. panic 的作用2. 基本用法3. recover 的使用规则4. 错误处理建议5. 常见错

C++一个数组赋值给另一个数组方式

《C++一个数组赋值给另一个数组方式》文章介绍了三种在C++中将一个数组赋值给另一个数组的方法:使用循环逐个元素赋值、使用标准库函数std::copy或std::memcpy以及使用标准库容器,每种方... 目录C++一个数组赋值给另一个数组循环遍历赋值使用标准库中的函数 std::copy 或 std::

C++使用栈实现括号匹配的代码详解

《C++使用栈实现括号匹配的代码详解》在编程中,括号匹配是一个常见问题,尤其是在处理数学表达式、编译器解析等任务时,栈是一种非常适合处理此类问题的数据结构,能够精确地管理括号的匹配问题,本文将通过C+... 目录引言问题描述代码讲解代码解析栈的状态表示测试总结引言在编程中,括号匹配是一个常见问题,尤其是在

使用C++实现链表元素的反转

《使用C++实现链表元素的反转》反转链表是链表操作中一个经典的问题,也是面试中常见的考题,本文将从思路到实现一步步地讲解如何实现链表的反转,帮助初学者理解这一操作,我们将使用C++代码演示具体实现,同... 目录问题定义思路分析代码实现带头节点的链表代码讲解其他实现方式时间和空间复杂度分析总结问题定义给定