C++编译器检索VTABLE的具体方法不同

以前没太注意过这个问题,只知道C++代码调用某个虚函数时要到虚函数表里去查找,然后执行特定的函数。这两天跟别人调程序时发现,VC和gcc对这个检索操作的实现方法是不一样的:

早期的gcc(2001年5月前?)使用的是一个比较直观的查表方法。gcc中指向成员函数的指针其实是一个结构,类似于最早期的cfront编译器:

struct
{
??? short __delta;
??? short __index;
??? union
??? {
??????? void * __pfn;
??????? short _delta2;
??? } _pfn_or_delta2;
};

如果指向非虚成员函数,__pfn中就保存了内存中实际的函数指针。如果指向虚成员函数,__pfn无效,__index为该函数在虚函数表中的索引。调用虚函数时,根据虚函数表的地址和索引查到特定函数地址。

后续版本的gcc在不断改进这种虚函数表的检索方法(实际上后续的gcc对C++ ABI的改动比较多),现在的gcc 3.3.3的源码里,gcc/cp/cp-tree.h等文件包含了相关代码。不过现在的实现代码比较复杂,我还没有彻底看明白。

而VC的实现与此大不相同。VC为一棵继承树上的每个虚函数生成一个vcall代码(可以被看成一个小的中介函数),根据每个虚函数在虚函数表中的偏移不同,每个vcall调用时为eax增加的偏移量不同。这实际上是一种快速的查表机制,而且不用传虚函数表的index就可以调用到特定函数了。

`vcall':
00401010? mov???????? eax,dword ptr [ecx]
00401012? jmp???????? dword ptr [eax]
`vcall':
00401020? mov???????? eax,dword ptr [ecx]
00401022? jmp???????? dword ptr [eax+4]
`vcall':
00401030? mov???????? eax,dword ptr [ecx]
00401032? jmp???????? dword ptr [eax+8]
`vcall':
00401040? mov???????? eax,dword ptr [ecx]
00401042? jmp???????? dword ptr [eax+0Ch]

调用时,对同名虚函数(无论该函数在属于一个类),使用的都是同一个vcall,但调用不同类的虚函数时,传入vcall的虚函数表起始地址不同(下面C2类是C1类的派生类,f1和f2是虚函数)。

& C1::f1 - offset `vcall' (401010h)
& C1::f2 - offset `vcall' (401020h)
& C2::f1 - offset `vcall' (401010h)
& C2::f2 - offset `vcall' (401020h)

阅读终点,创作起航,您可以撰写心得或摘录文章要点写篇博文。去创作
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 4
    评论
c++中的内存模型包括四个部分:栈区、堆区、全局/静态区、常量区。而虚函数的内存划分则涉及vptr表和vtable表。 首先,栈区是用于存储局部变量、函数参数和函数调用时的临时数据。虚函数的调用会先找到对象的虚函数表指针vptr,然后通过vptr找到虚函数表vtable。而vptr是属于对象的一部分,它存储在对象的内存布局中的最开始位置。这意味着vptr会占用对象的内存空间。 vtable表是一个指针数组,它存储了虚函数的地址。在vtable表中,每个虚函数的地址根据其在类中的声明顺序进行排列。当通过vptr找到vtable后,就可以通过虚函数在vtable表中的位置偏移找到对应的虚函数的地址。虚函数的地址存储在vtable表的字节中,这些字节也会占用对象的内存空间。 在堆区,存储的是通过new关键字动态分配的内存。当对象动态分配内存时,vptr会随着对象的内存块一起存储在堆中。 在全局/静态区,存储的是全局变量和静态变量。由于全局变量和静态变量是整个程序共享的,它们的内存布局中不包含vptr和vtable。 最后,常量区存储的是程序中的字符串常量和其他常量。常量区的内存布局中也不包含vptr和vtable。 总的来说,虚函数的内部具体内存划分包含vptr和vtable表,它们存储在对象的内存空间中,占用一定的字节。而全局/静态区、常量区和堆区中的内存布局则不包含有关虚函数的内存划分。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 4
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

wangyonggang

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值