带虚函数的菱形虚拟继承

菱形虚拟继承是单继承和多继承的结合，将类中的函数定义为虚函数。

结合实例看看它的实现过程：

class Animal{public:virtual void Funtest1(){cout << "Animal::Funtest1()" << endl;}virtual void Funtest2(){cout << "Animal::Funtest2()" << endl;}private:int _A;};class Donkey :virtual public Animal{public:virtual void Funtest1(){cout << "Donkey::Funtest1()" << endl;}virtual void Funtest2(){cout << "Donkey::Funtest2()" << endl;}private:int _D;};class Horse :virtual public Animal{public:virtual void Funtest3(){cout << "Horse::Funtest3()" << endl;}virtual void Funtest2(){cout << "Horse::Funtest2()" << endl;}private:int _D;};class Mule:public Donkey,public Horse{public:virtual void Funtest1(){cout << "Mule::Funtest1()" << endl;}virtual void Funtest2(){cout << "Mule::Funtest2()" << endl;}virtual void Funtest4(){cout << "Mule::Funtest4()" << endl;}private:int _M;};void Fun(Animal&A){A.Funtest1();A.Funtest2();}int main(){Mule m1;Fun(m1);m1.Funtest3();m1.Funtest4();system("pause");return 0;}

我们来逐个分析一下各个类的模型：

class  Animal

{};

class  Donkey：public Animal

{};

class  Horse：public Animal

{};

class Mule:public Donkey,public Horse

{};

这就是带有虚函数的菱形虚拟继承，并且派生类中有自己的虚函数，上图就是它的结构示意图。

总结：

1. （1）当一个类有虚函数时，在其对象的开始会生成一个虚表指针，指向的虚表中会存放虚函数的地址。
2. （2）当一个派生类继承一个带有虚函数的基类时，派生类对象成员中基类部分中的虚表指针会被派生类所修改，成为派生类自己的虚表指针。在虚表中，如果虚函数在派生类中被重写那么就会存放被重写过的虚函数指针，如果没有重写基类的虚函数，就会单纯的继承下来存放基类的虚函数指针。
3. （3）当一个派生类继承多个带有虚函数的基类时，派生类对象成员中基类部分中的虚表指针会被派生类所修改，成为派生类自己的虚表指针（相当于派生类自己有多个虚表指针）。如果重写了某个基类的虚函数，那么对应的去修改继承于这个基类的成员中的虚表，使指针指向派生类重写过得虚函数，如果没有重写就单纯的继承。