最近在《C 对象模型》一书里说到的virtual的成员函数指针,低于128的被cfront编译器认为是虚表偏移量(支持子类对父类函数的覆盖)。VC只是提了下单继承、多继承和虚继承的实现方案不同,GCC没有提及,所以就专门稍微深入分析研究下他们的实现机制。
以下所有代码都使用了64位编译,所以32位编译和运行的结果可能有略微差异。
单继承
首先是单继承的情况。这里用到的代码如下所示:
代码语言:javascript复制#include <ctime>
#include <vector>
#include <algorithm>
#include <cstdio>
#include <stdint.h>
#include <cstddef>
#include <string>
class foo_a
{
public:
virtual ~foo_a(){}
virtual void info() {
printf("%s:%dn", __FUNCTION__, __LINE__);
}
void print() {
printf("%s:%dn", __FUNCTION__, __LINE__);
}
};
class foo_b: public foo_a
{
public:
virtual void info() {
printf("%s:%dn", __FUNCTION__, __LINE__);
}
};
int main(int argc, char* argv[]) {
void (foo_a::*vptr)() = &foo_a::info;
void (foo_a::*ptr)() = &foo_a::print;
foo_b b;
foo_a a;
printf("word size = %dn", (int)(sizeof(size_t)));
printf("address of &foo_a::info = 0x%llxHn", &foo_a::info);
printf("pointer to &foo_a::info = 0x%llxHn", vptr);
printf("sizeof vptr = %dn", (int)(sizeof(vptr)));
(a.*vptr)();
(b.*vptr)();
(b.*ptr)();
return 0;
}
先不展示这段代码的输出结果。这里面只有一层继承,分别有虚函数和非虚函数。并且都有指针赋值和执行操作。不出所料的是,(b.*vptr)() 这一行执行的是foo_b的info函数(虽然赋值的时候给的是foo_a的)。那么,VC和GCC是怎么实现这一功能的呢
VC单继承成员函数指针实现
图一: VC指针赋值
可以看到,对非虚函数指针,直接把函数地址赋值过去了,但是对于虚函数,赋值的并不是foo_a::info的地址,而是*给了一个*foo_a::`vcall’{8}’的函数地址。
图二:VC成员函数调用
调用的时候倒是比较简单,各种的实现都一样。都是把类实例的地址给了cx寄存器,然后直接调用调转。那么这里的关键就在于vcall做了什么,怎么保证调用了正确的虚函数。
call指令里只有一行jmp跳转,我就不列举出了,接下来看vcall{8}干了什么。
图三: VC虚成员函数vcall实现
这里把cx取出并取值后加了8的地址偏移,说明VC内单继承情况下的虚表指针放在了数据结构最前面。 8显然是第二个虚函数的地址偏移(第一个是析构)。然后就华丽丽地a跳到了foo_a::info(),b跳到了foo_b::info() 函数。
由此可见,对于虚函数指针,会多一次vcall的函数跳转。由此来保证调用的是子类里的成员函数。
好吧运行结果还是有必要贴一下的
图四: VC单继承测试代码执行结果
GCC单继承成员函数指针实现
接下来就是GCC了。GCC是怎么实现的呢?同样还是祭出大杀器,反汇编。
图五:GCC单继承下成员函数指针赋值操作
很明显就和VC不一样啦,GCC在给成员函数指针赋值的时候,给了两个值,第二个暂时没用到后面讨论。第一个值对**虚函数而言,给了*17(0x11h)*这个值,非虚函数直接上了函数地址。
从这里看,非虚函数它会怎么操作显而意见了,但是它不像VC那样多一层vcall跳转,他是怎么判断是不是虚函数的呢?往下看函数调用:
图六:GCC单继承下成员函数指针调用
可以看到,GCC的成员函数指针和VC的设计明显不同。**GCC的成员函数指针占用了两个word,**第一个用于记录函数指针或指针偏移,第二个用于记录虚表偏移。
而由于x86架构下默认是2字节对齐,ARM是4字节对齐或者8字节对齐。GCC正好利用了字节对齐的特点,用最后一位来标识是不是虚函数。如果是虚函数则查找虚表,计算实际函数地址;否则就直接跳转到该函数。
所以和VC不同的是,VC的vcall是长跳转,而gcc这种写法是短跳转。按个人理解,GCC的方式更利于CPU指令流水线的指令缓存。
但是这种做法带来的缺陷就是类成员函数指针比VC多消耗了一倍的内存,执行结果如下:
图七:GCC单继承测试代码执行结果
多重继承和虚继承的分析就下次再来啦。
下一篇 VC和GCC成员函数指针实现的研究(二)