C++ 的多态使用了一种动态绑定的技术,这个技术的核心是虚函数表(简称虚表)。
类的虚表
虚表是一个指针数组,其元素是虚函数的指针,每个元素对应一个虚函数的函数指针。
每个包含了虚函数的类都包含一个虚表,虚表属于类。
一个类继承了包含虚函数的基类,那么这个类也拥有自己的虚表。
虚函数按照其声明顺序放于虚表中,基类的虚函数在派生类的虚函数前面。
虚表的元素并不包括普通函数的函数指针。
虚表指针
编译器另外还为每个带有虚函数的类的对象自动创建一个虚表指针,这个指针指向了对象所属类的虚表。
在程序运行时,根据对象的类型去初始化虚表指针,从而让虚表指针正确的指向所属类的虚表。
构造函数会完成每个对象的虚表指针的初始化。
对象的虚表指针用来指向自己所属类的虚表,虚表中的指针会指向其继承的最近的一个类的虚函数