如果一个类中有虚函数,那么这个类就对应一个虚函数表,虚函数表中的元素是一组指向函数的指针,每个指针指向一个虚函数的入口地址。在访问虚函数时,通过虚函数表进行函数调用。
在含有虚函数的类对象模型中,除了对象的数据成员外,还有一个指向虚函数表的指针,称为虚指针,虚指针位于对象模型的顶部。
class Base{
protected:
int a;
public:
virtual void f1(){cout<<"Base::f1()"<<endl;}
virtual void f2(){cout<<"Base::f2()"<<endl;}
virtual void f3(){cout<<"Base::f3()"<<endl;}
};
Base b;
b.f2();
在Base类的对象b中,虚指针vptr位于对象模型的顶部,指向虚函数表。虚函数表保存着指向Base类中三个虚函数的函数指针。
在执行代码b.f2()时,首先判断f2是虚函数,通过vptr找到Base类的虚函数表,再从虚函数表中找到指向虚函数f2的指针f2_ptr,通过f2_ptr调用虚函数Base::f2()。