C++虚表

虚函数表

对C++ 了解的人都应该知道虚函数（Virtual Function）是通过一张虚函数表（Virtual Table）来实现的。简称为V-Table。 在这个表中，主要是一个类的虚函数的地址表，这张表解决了继承、覆盖的问题。在有虚函数的类的实例中这个表被分配在了这个实例的内存中，所以，当我们用父类的指针来操作一个子类的时候，这张虚函数表就显得由为重要了，它就像一个地图一样，指明了实际所应该调用的函数。我们通过对象实例的地址得到这张虚函数表，然后就可以遍历其中函数指针，并调用相应的函数。

一般继承（无虚函数覆盖）

假设有如下所示的一个继承关系：

请注意，在这个继承关系中，子类没有重载任何父类的函数。那么，在派生类的实例中，其虚函数表如下所示：

对于实例：Derive d; 的虚函数表如下：

我们可以看到下面几点：

1）虚函数按照其声明顺序放于表中。

2）基类的虚函数在派生类的虚函数前面。

一般继承（有虚函数覆盖）

覆盖基类的虚函数是很显然的事情，不然，虚函数就变得毫无意义。

为了让大家看到被继承过后的效果，在这个类的设计中，我只覆盖了父类的一个函数：f()。那么，对于派生类的实例，其虚函数表会是下面的一个样子：

我们从表中可以看到：覆盖的f()函数被放到了虚表中原来基类虚函数的位置。

这样，我们就可以看到对于下面这样的程序，

Base *b = new Derive();

b->f();

由b所指的内存中的虚函数表的f()的位置已经被Derive::f()函数地址所取代，于是在实际调用发生时，是Derive::f()被调用了。这就实现了多态。

多重继承（无虚函数覆盖）

下面，再让我们来看看多重继承中的情况，假设有下面这样一个类的继承关系。注意：派生类并没有覆盖基类的函数。

对于实例中的虚函数表，是下面这个样子：

我们可以看到：

1） 每个基类都有自己的虚表。

2） 派生类的成员函数被放到了第一个基类的表中。（所谓的第一个基类是按照声明顺序来判断的，即class Derive:public Base1,Base2,Base3中的声明顺序）

多重继承（有虚函数覆盖）

下面我们再来看看，如果发生虚函数覆盖的情况。

下图中，我们在派生类中覆盖了基类的f()函数。

下面是对于实例中的虚函数表的图：

我们可以看见，三个基类虚函数表中的f()的位置被替换成了派生类的函数指针。 注意：派生类的成员函数只被放到了第一个基类的表中（所谓的第一个基类是按照声明顺序来判断的，即class Derive:public Base1,Base2,Base3中的声明顺序），其它基类的表中不存在该派生类的成员函数（除了派生类中覆盖基类的函数）。