1. 虚函数表(vtable)
虚函数表(vtable)是由编译器生成的一个数据结构,它是一个指针数组,每个元素都是一个指向虚函数的指针。每个含有虚函数的类都有一个与之相关联的虚函数表。如果类中有继承关系且包含虚函数,那么每个类都会有自己的虚函数表。
- 当一个类中有虚函数时,编译器会为该类创建一个虚表,并将该类的每个虚函数的地址放入虚表中。
- 如果派生类重写了基类的虚函数,编译器会在派生类的虚表中用新的函数地址替换掉基类中相应的函数地址。
2. 虚表指针(vptr)
每个包含虚函数的对象在其内存布局中会有一个指向虚表的指针,称为虚表指针(vptr)。该指针被隐式地添加到对象的内存布局中,指向该对象所属类的虚表。
- 当一个对象被创建时,虚表指针
vptr
会被初始化,指向相应的虚函数表(vtable)。 - 当通过基类指针或引用调用虚函数时,程序会通过对象的
vptr
指向的虚表来找到实际应该调用的函数。
3. 多态调用
多态的关键在于能够通过基类的指针或引用来调用派生类的函数。这是通过虚表来实现的:
- 当你通过基类指针或引用调用虚函数时,编译器会使用
vptr
来找到虚表,然后从虚表中找到正确的函数地址。 - 这样,无论在编译时知道的类型是什么,程序都会在运行时调用最合适的函数(派生类的实现)。