虚函数表与多态内存布局

Posted 2020-11-12 wpf-342201

参考博客：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()被调用了。这就实现了多态。

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

下面我们再看看多重继承的情况：

 

 

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

 

 

 

从图上我们可以看到

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

 2）  子类的成员函数被放到了第一个父类的表中。（所谓的第一个父类是按照声明顺序来判断的）

这样做就是为了解决不同的父类类型的指针指向同一个子类实例，而能够调用到实际的函数。

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

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

下图中，我们在子类中覆盖了父类的f()函数。

子类虚函数列表如图所示：

 

 三个父类虚函数表中的f()的位置被替换成了子类的函数指针。这样，我们就可以任一静态类型的父类来指向子类，并调用子类的f()了。