2021-03-30

** C++虚函数原理和实现机制 虚继承**

   虚函数表的位置在每个对象内存地址的最前面，每一个含有虚函数的类至少有一个与之对应的虚函数表，其中，虚函数表中存放着此类所有虚函数对应的函数指针，派生类的指针会直接替换基类的指针。C实现使用结构和函数指针进行实现。而如何在虚函数表中进行查找，则是通过虚指针来调用，在内存结构中它一般都会放在类最开始的地方，而对于普通函数则不需要通过查表操作。这张虚函数表是什么时候被创建的呢？它是在编译的时候产生，否则这个类的结构信息中也不会插入虚指针的地址信息。
   只要某一个类X包含虚函数，无论是它的父类或者它本身拥有，那么这个类的对象都会包含一个虚指针vptr，至于vptr要指向哪张表，取决于类X它本身是否含有虚函数。此处，类B中存在虚函数，那么它就会拥有自己的一张虚函数表。pa指向的是一个类B的对象，因此 p-vptr 指代的是类B中虚指针，所以它查找的是类B的虚函数表。
 虚函数表在编译器确定，属于常量数据区。
 虚继承是为了解决多重继承的问题，根据虚继承的特性，虚基类的构造函数由最终的子类负责构造。虚继承的作用是减少了对基类的重复，代价是增加了虚表指针的负担（更多的虚表指针）。并且还会添加一个指向父类的虚表指针（不是虚函数指针）

普通继承的话，有多少个虚基类，就有多少虚指针。
类的大小关系运算：
1，普通单继承，只需将自身成员变量的大小加上父类大小（父类中 有虚函数，子类中不管有没有）若父类没有虚函数，则子类大小需要加上指向虚表的指针大小。
2，普通多继承，若几个父类都有虚表，则子类与第一个父类公用一个虚表指针，其他有几个有虚函数的父类则就有几个虚表指针。
3，虚拟单继承，此时若子类有虚函数则加上一个自身的虚表指针的大小，（若没有则不加）再加上自身的成员变量大小，还要加上一个虚类指针ptr_sonclass_fatherclass，最后加上父类的大小。
4，多重虚拟继承，此时若子类有虚函数则加上一个自身的虚表指针的大小，（若没有则不叫）再加上自身的成员变量大小，还要加上 一个公用的虚类指针（不管有几个虚拟父类，只加一个），在加上所有父类的大小。
5、普通、虚拟混合多继承，此时子类的大小为自身大小（若子类或普通父类有虚函数，则为成员变量+虚表指针大小；若都没虚函数，则就为成员变量大小），加上一个虚类指针大小，在加上虚拟父类的大小，在加上普通父类的大小（除虚表指针，因为它和子类公用一个虚表指针）。