虚函数表与多态内存布局

参考博客：https://blog.csdn.net/songguangfan/article/details/87898915

C++中的虚函数的作用主要是实现了多态的机制。关于多态，简而言之就是用父类型别的指针指向其子类的实例，然后通过父类的指针调用实际子类的成员函数。这种技术可以让父类的指针有“多种形态”，这是一种泛型技术。

虚函数表
每个含有虚函数的类都有一个虚函数表（Virtual Table）来实现的。简称为V-Table。 C++的编译器应该是保证虚函数表的指针存在于对象实例中最前面的位置（这是为了保证取到虚函数表的有最高的性能——如果有多层继承或是多重继承的情况下）。这意味着我们通过对象实例的地址得到这张虚函数表，然后就可以遍历其中函数指针，并调用相应的函数。

1、每一个类都有虚函数列表。
2、虚表可以继承，如果子类没有重写虚函数，那么子类虚表中仍然会有该函数的地址，只不过这个地址指向的是基类的虚函数实现。如果基类3个虚函数，那么基类的虚表中就有三项（虚函数地址），派生类也会有虚表，至少有三项，如果重写了相应的虚函数，那么虚表中的地址就会改变，指向自身的虚函数实现。如果派生类有自己的虚函数，那么虚表中就会添加该项。
3、派生类的虚表中虚函数地址的排列顺序和基类的虚表中虚函数地址排列顺序相同，子类独有的虚函数放在后面。

当定义一个有虚函数类的对象时，对象的第一块的内存空间就是一个指向虚函数列表的指针。

在这举个例子

class Base {
public:
　　　　 virtual void f() { cout << "Base::f" << endl; }
　　　　 virtual void g() { cout << "Base::g" << endl; }
　　　　virtual void h() { cout << "Base::h" << endl; }
　　　　};

然后定义变量 Base b;

看这幅图：

注意：虚函数表在最后会有一个结束标志，为1说明还有虚表，为0表示没有虚表了。（编译器不同，结束标志可能存在差异）。

（一）无虚函数覆盖

没有任何的继承，虚函数表如下图

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

如果子类中有虚函数重载了父类的虚函数，会是一个什么样子？假设，我们有下面这样的一个继承关系。如图所示：

在这个类的设计中，只覆盖了父类的一个函数：f()。那么，对于派生类的实例，其虚函数表会是下面的一个样子：

从表中可以看到下面几点，
1）覆盖的f()函数被放到了虚表中原来父类虚函数的位置。
2）没有被覆盖的函数依旧。
这样就会出现
Base *b = new Derive();
b->f();
由b所指的内存中的虚函数表的f()的位置已经被Derive::f()函数地址所取代，于是在实际调用发生时，是Derive::f()被调用了。这就实现了多态。