参考文章:C++ 虚函数表解析
虚函数表
对C++ 了解的人都应该知道虚函数(Virtual Function)是通过一张虚函数表(Virtual Table)来实现的。简称为V-Table。在这个表中,主是要一个类的虚函数的地址表,这张表解决了继承、覆盖的问题,保证其容真实反应实际的函数。这样,在有虚函数的类的实例中这个表被分配在了这个实例的内存中,所以,当我们用父类的指针来操作一个子类的时候,这张虚函数表就显得由为重要了,它就像一个地图一样,指明了实际所应该调用的函数。
这里我们着重看一下这张虚函数表。C++的编译器应该是保证虚函数表的指针存在于对象实例中最前面的位置(这是为了保证取到虚函数表的有最高的性能——如果有多层继承或是多重继承的情况下)。这意味着我们通过对象实例的地址得到这张虚函数表,然后就可以遍历其中函数指针,并调用相应的函数。
测试代码
#include<iostream>
#include<stdio.h>
using namespace std;
typedef const char*(*pFun)(void);
class AAA
{
public:
//AAA() { cout << "AAA::AAA()" << endl; };
//virtual ~AAA() { cout << "AAA::~AAA()" << endl; }
virtual const char* a() { return "AAA::a()"; }
virtual const char* b() { return "AAA::b()"; }
virtual const char* c() { return "AAA::c()"; }
int aa=0;
};
class BBB:AAA
{
public:
//BBB() { cout << "BBB::BBB()" << endl; };
//virtual ~BBB() { cout << "BBB::~BBB()" << endl; }
virtual const char* b() { return "BBB::b()"; }
virtual const char* c() { return "BBB::c()"; }
virtual const char* d() { return "BBB::d()"; }
};
class CCC :BBB
{
public:
//CCC() { cout << "CCC::CCC()" << endl; };
//virtual ~CCC() { cout << "CCC::~CCC()" << endl; }
virtual const char* c() { return "CCC::c()"; }
virtual const char* d() { return "CCC::d()"; }
virtual const char* e() { return "CCC::e()"; }
};
void print_data(AAA* ptr)
{
int* vtable = (int*) *((int*)ptr);
printf("%p &\n", ptr);
printf("%p aa\n", &ptr->aa);
printf("%p vtable\n", vtable);
int i = 0;
pFun pf = (pFun) *(vtable);
while (pf!=0)
{
printf("%p call: %s\n", pf, pf());
pf = (pFun) *(vtable + ++i);
}
printf("%p \n", pf);
}
void main()
{
AAA aaa;
BBB bbb;
CCC ccc;
cout << "-------- AAA --------" << endl;
print_data(&aaa);
cout << "-------- BBB --------" << endl;
print_data((AAA*)&bbb);
cout << "-------- CCC --------" << endl;
print_data((AAA*)&ccc);
system("pause");
}
分析说明
测试程序的某次输出,如上图。对应的虚表如下: