详解C++虚函数表存储位置

 更新时间:2023年04月03日 11:12:38   作者:叫我小秦就好了  
相信大家知道虚表指针和虚函数存储的位置,但对于虚函数表的存储位置一时无法确定。本文就来和大家详细聊聊相关内容,希望对大家有所帮助

前言

先说结论:虚函数表存储在只读数据段.rodata)、虚函数存储在代码段(.text)、虚表指针的存储的位置与对象存储的位置相同,可能在栈、也可能在堆或数据段等。

相信大家知道虚表指针和虚函数存储的位置,但对于虚函数表的存储位置一时无法确定。看到这个问题时,我也是蒙的,查阅资料后得知虚函数表存储在只读数据段。但网上一些验证的方法,由于编译器原因无法复现,只能从其他角度推论得出。

反汇编

环境:gcc version 11.3.0 (Ubuntu 11.3.0-1ubuntu1~22.04)

验证代码:

#include <iostream>
using namespace std;

class Q {
public:
    virtual void Test() {
        cout << "Test" << endl;
    }
};

class Qgw : public Q {
public:
    virtual void Test() {
        cout << "Test Position" << endl;
    }
};

int main() {
    Q* q = new Qgw;
    q->Test();
    return 0;
}

并不采用打印地址的方式,因为打印出的地址与反汇编得到的地址不同,无法直接得出结果。

首先编译代码:g++ -o test test.cc -O0 -m32,以 32 位方式编译。

然后将符号表输出到文件:objdump -tC test > test.txt

打开 test.txt 可以找到以下内容:

000012fc  w    F .text            00000044      Qgw::Test()
0000201c  w    O .rodata        00000005      typeinfo name for Qgw
00003ea8  w    O .data.rel.ro    0000000c      typeinfo for Qgw
00003e90  w    O .data.rel.ro    0000000c      vtable for Qgw

第一行比较清晰,说明 Qgw::Test() 存储在 .text 段,也就说明虚函数和普通函数一样,都存储在代码段。

下面几行又是什么东西呢?

根据《深度探索 C++ 对象模型》的 C++ 对象模型可知,typeinfo 是存储在虚函数表中,用来获取对象类型信息的。最下面的 .data.rel.ro 是只读数据段的重定位段,在链接时重定位。由此,可以推出虚函数表是存储在只读数据段的。

相近地址

也可以采用打印地址的方式,与已知的一些段地址比较,看虚函数表地址和哪个段地址更接近。

环境:gcc version 11.3.0 (Ubuntu 11.3.0-1ubuntu1~22.04)

验证代码:

#include <iostream>
using namespace std;

class Qgw {
public:
    virtual void Test() {
        cout << "Test Position" << endl;
    }
};

void Func() {
    cout << "func" << endl;
}

int n = 10;

int main() {
    Qgw* q = new Qgw;
    q->Test();

    const char* arr = "qgw";
    cout << "text:     " << (void*)Func << endl;
    cout << ".rodata:  " << (void*)arr << endl;
    cout << "虚函数表: "  << *(void**)q << endl;
    cout << ".data:    " << &n << endl;
    return 0;
}

函数的地址在上文已经验证了,全局变量和常量字符串的位置,《深入理解计算机系统(第三版)》中说明如下:

.rodata:只读数据 比如 printf 语句中的格式串(%d\n.data已初始化的全局和静态 C 变量

它们的布局如下图:

编译运行上述代码,得到以下结果:

可以看到虚函数表的位置在数据段和只读数据段位置之间,我们是无法手动修改虚函数表的,因此存储在只读数据段是比较合理的。

到此这篇关于详解C++虚函数表存储位置的文章就介绍到这了,更多相关C++虚函数表内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家!

相关文章

  • C语言实现顺序表的全操作详解

    C语言实现顺序表的全操作详解

    顺序表,全名顺序存储结构,是线性表的一种,线性表用于存储逻辑关系为“一对一”的数据,顺序表自然也不例外,不仅如此,顺序表对数据的物理存储结构也有要求,跟随下文来具体了解吧
    2022-04-04
  • Qt实现获取文件大小与磁盘空间大小

    Qt实现获取文件大小与磁盘空间大小

    这篇文章主要为大家详细介绍了如何使用Qt实现获取文件大小与磁盘空间大小,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下
    2023-11-11
  • C语言中的二叉树和堆详解

    C语言中的二叉树和堆详解

    这篇文章主要介绍了C语言中的二叉树和堆详解,树是一种非线性的数据结构,它是由n(n>=0)个有限结点组成一个具有层次关系的集合,把它叫做树是因为它看起来像一棵倒挂的树,也就是说它是根朝上,而叶朝下的,需要的朋友可以参考下
    2023-07-07
  • C语言运算符深入探究优先级与结合性及种类

    C语言运算符深入探究优先级与结合性及种类

    C语言运算符号指的是运算符号。C语言中的符号分为10类:算术运算符、关系运算符、逻辑运算符、位操作运算符、赋值运算符、条件运算符、逗号运算符、指针运算符、求字节数运算符和特殊运算符
    2022-05-05
  • C/C++中的 Qt StandardItemModel 数据模型应用解析

    C/C++中的 Qt StandardItemModel 数据模型应用解析

    QStandardItemModel 是标准的以项数据为单位的基于M/V模型的一种标准数据管理方式,本文给大家介绍C/C++中的 Qt StandardItemModel 数据模型应用解析,感兴趣的朋友跟随小编一起看看吧
    2021-12-12
  • C++控制台强化如何实现一定界面效果(简洁版)

    C++控制台强化如何实现一定界面效果(简洁版)

    这篇文章主要介绍了C++控制台强化如何实现一定界面效果(简洁版),具有很好的参考价值,希望对大家有所帮助。如有错误或未考虑完全的地方,望不吝赐教
    2022-07-07
  • C++简单实现与分析二叉搜索树流程

    C++简单实现与分析二叉搜索树流程

    二叉搜索树作为一个经典的数据结构,具有链表的快速插入与删除的特点,同时查询效率也很优秀,所以应用十分广泛。本文将详细讲讲二叉搜索树的C++实现,需要的可以参考一下
    2022-08-08
  • 深入解析C++编程中类的封装特性

    深入解析C++编程中类的封装特性

    这篇文章主要介绍了深入解析C++编程中类的封装特性,是C++入门学习中的基础知识,需要的朋友可以参考下
    2015-09-09
  • C++之构造函数默认值设置方式

    C++之构造函数默认值设置方式

    这篇文章主要介绍了C++之构造函数默认值设置方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教
    2023-08-08
  • C语言实现通讯录管理系统

    C语言实现通讯录管理系统

    这篇文章主要为大家详细介绍了C语言实现通讯录管理系统,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2021-01-01

最新评论