在上上一篇C++多态篇1一静态联编,动态联编、虚函数与虚函数表vtable中,我最后简单了剖析了一下虚函数表以及vptr。
而在上一篇文章C++多态篇2——虚函数表详解之从内存布局看函数重载,函数覆盖,函数隐藏中我详细介绍了虚函数的函数重载,函数覆盖以及函数隐藏的问题,其实在那一篇文章中,对单继承的虚函数已经做了十分详细的解答了,如果对前面有兴趣的人可以先看一下那篇文章。
在这一篇中,我会具体的分析一下在不同继承中(单继承,多继承)关于虚函数表在内存中的布局以及如何打印虚函数表。
一、虚函数表的打印
在前面的文章中我仅仅通过内存以及汇编代码中分析了虚函数表,现在我就再介绍一种查看虚函数表的方法, 即打印虚函数表
我们都知道如果类中一旦有了虚函数,那么编译器会自动给类中加四个字节的数据,这四个字节为指向虚函数表的指针,存放的是虚函数表在内存中的地址。
如果用代码表示即:
void* vftable_of_A[] = {A::v_fn, ...};
//A类的虚函数表
class A
{
const void* vftable = vftable_of_A;
//指向虚函数表的指针vftable
virtual void v_fn()
{}
};
void* vftable_of_B[] = {B::v_fn,...};
//B类的虚函数表
class B
{
const void *vftable = vftable_of_B;
//指向B类虚函数表的指针vftable
vritual void v_fn()
{}
};
其实上面的代码我们还需要注意两个问题:
1.为什么虚函数表指针的类型为void*?
答:上面vftable的类型之所以用void*表示,*实际上一个类中所有虚函数的地址都被放到这个表中,不同虚函数对应的函数指针类型不尽相同,所以这个表的类型无法确定,但是在机器级里都是入口地址,即一个32位的数字(32位系统),等到调用时,因为编译器预先知道了函数的参数类型,返回值等,可以自动做好处理。
2.为什么虚函数表前要加const?
答:因为虚函数表是一个常量表,在编译时,编译器会自动生成,并且不会改变,所以如果有多个B类的实例,每个实例中都会有一个vftable指针,但是它们指向的是同一个虚函数表。
那么我们如何才能打印虚函数表呢?
首先我们用上一篇用过的例子。
class Base
{
public:
Base(int data = 1)
:b(data)
{
cout << "Base()" << endl;
}
~Base()
{
cout << "~Base()" << endl;
}
virtual void Test1()
{
cout << "Base::Test1()" << endl;
}
virtual void Test2()
{
cout << "Base::Test2()" << endl;
}
virtual void Test3()
{
cout << "Base::Test3()" << endl;
}
int b;
};
class Derive :public Base
{
public:
Derive(int data = 2)
:d(data)
{
cout << "Derive()" << endl;
}
~Derive()
{
cout << "~Derive()" << endl;
}
void Test1()
{
cout << "Derive::Test1()" << endl;
}
void Test2()
{
cout << "Derive::Test2()" << endl;
}
int d;
};
基类和派生类的定义如上:
那么我们再定义两个函数,分别用来打印基类虚函数表以及派生类虚函数表。
typedef void(*VTable)();//定义函数指针
void PrintBase(Base &b)
{
VTable vtb = (VTable)(*((int *)*(int *)&b));
//vtb就是函数的地址
int i = 0;
cout << "Vtable is " << endl;
while (vtb != NULL)
{