c语言实现虚函数表,C++虚函数表实例分析

我们先来看看代码：

#include

using namespace std;

class Base {

public:

virtual void f() {cout<

virtual void g() {cout<

virtual void h() {cout<

};

class Derive : public Base{

public:

void g() {cout<

};

//可以稍后再看

int main () {

cout<

typedef void(*Func)(void);

Base b;

Base *d = new Derive();

long* pvptr = (long*)d;

long* vptr = (long*)*pvptr;

Func f = (Func)vptr[0];

Func g = (Func)vptr[1];

Func h = (Func)vptr[2];

f();

g();

h();

return 0;

}

都知道C++中的多态是用虚函数实现的： 子类覆盖父类的虚函数， 然后声明一个指向子类对象的父类指针， 如Base *b = new Derive();

当调用b->f()时， 调用的是子类的Derive::f()。

这种机制内部由虚函数表实现，下面对虚函数表结构进行分析，并且用GDB验证。

1. 基础知识：

(1) 32位os 指针长度为4字节， 64位os 指针长度为8字节， 下面的分析环境为64位 linux & g++ 4.8.4.

(2) new一个对象时， 只为类中成员变量分配空间， 对象之间共享成员函数。

2. _vptr

运行下上面的代码发现sizeof(Base) = 8, 说明编译器在类中自动添加了一个8字节的成员变量， 这个变量就是_vptr, 指向虚函数表的指针。

_vptr有些文章里说gcc是把它放在对象内存的末尾，VC是放在开始， 我编译是用的g++，验证了下是放在开始的：

验证代码：取对象a的地址与a第一个成员变量n的地址比较，如果不等，说明对象地址开始放的是_vptr. 也可以用gdb直接print a 会发现_vptr在开始

class A

{

public:

int n;

virtual void Foo(void){}

};

int main()

{

A a;

char *p1 = reinterpret_cast(&a);

char *p2 = reinterpret_cast(&a.n);

if(p1 == p2)

{

cout<

}else

{

cout<

}

return 1;

}

(3) 虚函数表

包含虚函数的类才会有虚函数表， 同属于一个类的对象共享虚函数表， 但是有各自的_vptr.

虚函数表实质是一个指针数组，里面存的是虚函数的函数指针。

Base中虚函数表结构：

Derive中虚函数表结构：

(4)验证

运行上面代码结果：

size of Base: 8

base::f

derive::g

base::h

说明Derive的虚函数表结构跟上面分析的是一致的：

d对象的首地址就是vptr指针的地址-pvptr，

取pvptr的值就是vptr-虚函数表的地址

取vptr中[0][1][2]的值就是这三个函数的地址

通过函数地址就直接可以运行三个虚函数了。

函数表中Base::g()函数指针被Derive中的Derive::g()函数指针覆盖， 所以执行的时候是调用的Derive::g()

(5)多继承

附 GDB调试：

(1) #生成带有调试信息的可执行文件

g++ test.cpp -g -o test

(2) #载入test

gdb test

(3) #列出Base类代码

(gdb) list Base1 #include

2

3 using namespacestd;4

5 classBase {6 public:7 virtual void f() {cout<

(4) #查看Base函数地址

(gdb) info line7Line7 of "test.cpp" starts at address 0x400ac8 <:f> and ends at 0x400ad4 <:f>.

(gdb) info line8Line8 of "test.cpp" starts at address 0x400af2 <:g> and ends at 0x400afe <:g>.

(gdb) info line9Line9 of "test.cpp" starts at address 0x400b1c <:h> and ends at 0x400b28 <:h>.

(5)#列出Derive代码

(gdb) list Derive7 virtual void f() {cout<

12 class Derive : publicBase{13 public:14 void g() {cout<

(6)#查看Derive函数地址

(gdb) info line14Line14 of "test.cpp" starts at address 0x400b46 <:g> and ends at 0x400b52 <:g>.

(7)#start执行程序，n单步执行

(gdb) start

Temporary breakpoint1, main () at test.cpp:19

19 cout<

(gdb) n

size of Base:8

22Base b;

(gdb)23 Base *d = newDerive();

(gdb)25 long* pvptr = (long*)d;

(gdb)26 long* vptr = (long*)*pvptr;

(gdb)27 Func f = (Func)vptr[0];

(gdb)28 Func g = (Func)vptr[1];

(gdb)29 Func h = (Func)vptr[2];

(gdb)31f();

(gdb)

(8) #print d对象， 0x400c90为成员变量_vptr的值，也就是函数表的地址

(gdb) p*d

$4 = {_vptr.Base = 0x400c90 }

(gdb) p vptr

$6 = (long *) 0x400c90 (9) #查看函数表值，与之前查看函数地址一致

(gdb) p (long*)vptr[0]

$9 = (long *) 0x400ac8 <:f>(gdb) p (long*)vptr[1]

$10 = (long *) 0x400b46 <:g>(gdb) p (long*)vptr[2]

$11 = (long *) 0x400b1c <:h>