通常,编译器处理虚函数的方法是:给每个对象添加一个隐藏成员。隐藏成员中保存了一个指向函数地址数组的指针。这个数组叫做虚函数表(virtual function table, vtbl)。虚函数表中存储了为类对象进行声明的虚函数的指针。例如,基类对象包含了一个指针,该指针指向基类中所有虚函数的地址表。派生类对象将包含一个指向独立地址表的指针,该vtbl将保存函数原始版本的地址。如果派生类定义了新的虚函数,则该函数的地址也将被添加到vtbl中。注意,无论类中包含的虚函数有多少个,都只需要在对象中添加1个地址成员,只是表的大小不同而已。
class Scientist
{
...
char name[40];
public:
virtual void show_name();
virtual void show_all();
....
};
class Physicist : public Scientist
{
...
char field[40];
public :
void show_all(); //重新定义
virtual void show_field(); //新方法
...
};
参照下图,程序调用虚函数时,首先查看存储在对象中的vtbl地址,然后转向相应的函数地址表,如果使用类声明中定义的第一个虚函数,则程序将使用数组中的第一个函数地址,并执行具有该地址的函数。如果使用类声明中的第三个函数,程序将使用地址为数组中第三个元素的函数