虚函数表——vtable
虚函数指针——vptr
虚函数表会出现在一个带有虚函数的类中,是属于类的。虚函数表相当于一个数组,其中存放的只有虚函数,可以是继承而来的,也可以是自己本身的
虚函数指针是一个指向虚函数表的指针,是属于对象的,只有在对象被创建时,才会有。
一个类可以有多个虚函数表,其虚函数表的数量取决于其继承的含有虚函数类的个数,也就是说这种情况只会发生在多重继承时,并且含有虚函数的基类不止一个。这时候,其虚函数表的就会有多个了。
就比如下面这段代码
#include <iostream>
using namespace std;
class Base1
{
public:
virtual void f() {cout<<"base1::f"<<endl;}
virtual void g() {cout<<"base1::g"<<endl;}
virtual void h() {cout<<"base1::h"<<endl;}
};
class Base2
{
public:
virtual void i() {cout<<"base2::i"<<endl;}
virtual void j() {cout<<"base2::j"<<endl;}
virtual void k() {cout<<"base2::k"<<endl;}
};
class Derive : public Base1,public Base2
{
public:
void g() {cout<<"derive::g"<<endl;}
};
int main ()
{
cout<<"size of Base1: "<<sizeof(Base1)<<endl;
cout<<"size of Base2: "<<sizeof(Base2)<<endl;
cout<<"size of Derive: "<<sizeof(Derive)<<endl;
return 0;
}
子类Derive继承了基类Base1和Base2,生成两个虚函数表,分别来自两个基类,其中子类中的函数g()重写了基类继承下来的函数g(),有关重写,可以参考我的另一篇文章
由于我用的是64位的操作系统,一个指针大小占八个字节大小,所以运行结果如下
上边的程序,假如子类写成这样,也就是子类自己也有一个自己的虚函数,这会发生什么变化呢?
class Derive : public Base1,public Base2
{
public:
void g() {cout<<"derive::g"<<endl;}
virtual void m() {cout<<"derive::m"<<endl;}
};
再次编译运行程序,会发现,运行结果与先前是一样的。
也就是说子类并没有为自己独有的虚函数再单独生成一个虚函数表,而是在父类虚函数表的后面存放。
Derive的虚函数表就是继承了Base1的虚函数表,然后自己的虚函数放在后面,因此这个虚函数表的顺序就是基类的虚函数表中的虚函数的顺序+自己的虚函数的顺序,继承于Base2的虚函数表亦是如从。