C++虚表解析

1、虚函数表概念

C++的虚函数是通过虚函数表（V-Table）实现的，这个表中主要存储的是虚函数的地址，保证内容反映的是实际的函数，解决了继承、覆盖的问题。当用一个父类指针来操作一个子类的时候，这张表就会指明要实际调用的函数在哪。

虚函数存在和普通函数一样，都是存放在代码段中，同时把虚函数的地址存了一份到虚函数表中

2、虚表指针

要一个类里面有虚函数，就要多考虑一个指针，是虚函数表指针。这个指针标准名称是_vftptr，其中v代表virtual，f代表function，t代表table。虚函数表本质是一个存虚函数指针的指针数组，一般情况这个数组最后面放了一个nullptr。虚表指针是在构造函数初始化列表阶段的时候进行初始化的。

一个类的对象共用同一张虚表。 

3、无虚函数重写的一般继承

派生类对象d中也有一个虚表指针，d对象由两部分构成，一部分是父类继承下来的成员，这个里面的虚表指针和父类的虚表指针不是同一个，派生类会生成一张新的虚表，会将父类的虚表拷贝过来。如果子类没有重写父类的虚函数，虚函数会按照声明的顺序存放在虚函数表中，父类的虚函数在子类虚函数的前面。

4、有虚函数覆盖的一般继承

 重写的悬殊会覆盖虚表中原来父类虚函数的位置，没有覆盖的虚函数依旧，因此使用父类指针调用子类对象的时候，会进行切片，查找到的虚函数地址是子类的，因此会调用子类重写的虚函数。

实例化之后的对象不能实现多态的原因：

 一个指针决定取出的内存有多大，引用的底层就是指针，指针和引用都是指向子类对象中切割出来的父类那一部分。但是对象不一样，是一个对象的时候，父类对象=子类对象，是把子类对象内的父类部分内容拷贝过来，调用拷贝构造，拷贝的时候不会拷贝虚表指针，原因是拷贝过来，这个时候不能保证多态指向父类，还能调用父类的虚函数，如果拷贝虚表指针，父类对象不能保证一定是父类的虚表，如果被赋值就是子类的虚表了，这样就只能调用子类了，并且析构函数可能会调错。因此实例化之后的对象只能调用父类里面的虚函数，无法调用子类的虚函数，无法构成多态。

5、无虚函数覆盖的多重继承

 

子类实例中的虚函数表 

可以看到子类的喊出成员都放到了第一个父类的虚函数表中，这样做就是为了解决不同的父类类型的指针指向同一个子类实例，而能够调用到实际的函数。

6、有虚函数覆盖的多重继承

 

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