search

C++ 虚表分析

在C++中，每一个含有虚函数的类都会有一个虚函数表，简称虚表。与之对应的，每一个对象都会有其专属的虚表指针指向这个虚表。

hashtag
0x00 测试代码

#include <iostream>
#include <cstring>
#include <cstdlib>
using namespace std;

class A{
public:
int a;
virtual void  print()
{
cout<<"This is class A"<<endl;
}
};


class B : public A{
public:
int b;
virtual void  print()
{
cout<<"This is class B"<<endl;
}
};

int main()

{
A *a=new A;
A *b=new B;
a->print();
b->print();
return 0;
}

hashtag
0x01 GDB调试

执行完 call A::A() 也就是分配好空间，调用完构造函数 我们再看一下返回值eax地址单元的内容：

这里 0x080489a8 就是a对象的虚表地址（vfptr）,0x00000000 是int a变量值（这里构造函数里面未对其赋值，所以为零） ，至于0x00000000 与 0x00020ff1 是top chunk 不用管。

接下来我们再看看 0x080489a8 虚表里面的内容

很容易看出来了，虚表里第一个地址就是A类里面的print函数

当执行以上代码的时候实际上是这样一个流程 a - > 0x08048852 - > 0x08048852 来执行print（）

===========================================================================================

同理，我们分析一下b对象，我们GDB继续往下跟。

箭头指向处 A *b=new B 已经执行完，我们看看回值eax地址单元的内容：

同理 b对象的虚表里面有它自己的print函数，地址异于a的，这就是c++多态性的实现。

hashtag
0x02 总结

这里再总结一下：

如果是调用 A *b = new B; 生成的是子类的对象，在构造时，子类对象的虚指针指向的是子类的虚表，接着由B*到A*的转换并没有改变虚表指针，所以这时候b->print，实际上是p->vfptr->print，它在构造的时候就已经指向了子类的print，所以调用的是子类的虚函数，这就是多态了。

文件下载arrow-up-right

Previous_IO_FILE利用思路总结NextFast_bin笔记

Last updated