多态实现之虚函数

多态的实现分为静态多态和动态多态,静态多态主要靠函数重载,动态多态主要靠虚函数

当类中声明了虚函数之后,该类的内存映像会获得一个虚表指针,叫做_vfptr指向该类的虚表,下面的我测试使用的类图(有的没必要的东西没有写)

这里恰好还是一个菱形继承,但是就像我之前说的虚继承和虚表关系不大,所以单继承也是可以测试的

其中高亮的部分就是虚表指针,用内存窗口就可以看到虚表中存放的东西了,每一个多态类的对象都有一个自己的虚表指针,并且多继承的对象会有多个_vptr指针

m和m1的_vptr指向同一个虚表

多继承对象有更多的_vfptr指向不同的虚表

这里我们虽然看到的是_vfptr是放在m对象的最后,但是在内存中_vfptr是存放在m内存空间一开头的地方!!如果我们想要强取虚表并且把虚表中的函数指针打印出来看看的话,只要取m的地址(就是一开始的头地址)就可以了,=(虽然一般人不会这么做,如果只是想看看的话),如果还想打印其他的虚表的话就把指针偏移一下,_vfptr就是指向虚表的指针,就相当于指向一个函数指针数组的第一个元素指针,获得了这个指针之后就可以像访问数组一样访问这个虚表了

如下图所示对象m地址空间一开始就是虚表指针_vfptr,紧接着是虚继承表指针_vbptr(要区分开!)(虚继承表详解看菱形继承那篇博客)

强取虚表打印代码

void PrintVtable(int *vTable)
{
    for (int i = 0; vTable[i] != 0; i++)
    {
        printf("%x\n", vTable[i]);
        FUNC f = (FUNC)vTable[i];
        f();
    }
}//因为指针和int型变量都是4个字节,所以我们用整型变量来存放地址


int *vTable = (int *)(*(int *)&m);
PrintVtable(vTable);

猜你喜欢

转载自www.linuxidc.com/Linux/2016-05/131639.htm