C++对象模型读书笔记-- 虚表 virtual table

摘录侯杰《深度探索C++对象模型》 第一章---关于对象 P13

1. 虚表

函数定义

X foobar()

{

X xx;

X* px = new X;

//foo() 是一个virtual function

xx.foo();

px->foo();

delete px;

delete xx;

}

这个函数在内部的转化为虚拟C++代码：

void foobar(X& _result)

{

//构造_result

//用来取代 local xx

_result.X::X();

//扩展X* px = new X;

px = _new (sizeof(x));

if(px != 0)

px->X::X();

//扩展xx.foo, 但不使用virtual 机制

//以_result取代xx

foo(&result);

//使用virtual 机制扩展px->foo()

(*px->vtbl[2]) (px);

//扩展delete px;

if( px!=0)

{

(*px->vtbl[1]) (px); // destructor

_delete(px);

}

//无须使用 name return statement

// 无须摧毁 local object xx

return;

}

这个例子，充分的说明了虚表（virtual Table)的使用。 每个class object都有一个虚表指针。 虚表的不同行对应了虚函数，析构函数。

2. 需要多少内存才表表现一个class object

a) 其nonstatic data member

b) 加上任何由于alignment的需求，而补齐的空间(字节对齐)。 32位机，通常alignment为4bytes

c) 加上为了支持virtual而内部产生的任何额外负担（overhead)