c++对象模型之菱形继承

 当我们谈C++时，我们谈些什么？

    封装，继承，多态。这是C++语言的三大特性，而每次在谈到继承时我们不可避免的要谈到一个很重要的问题——菱形继承。

a.菱形继承是什么

  如上图，菱形继承即多个类继承了同一个公共基类，而这些派生类又同时被一个类继承。这么做会引发什么问题呢，让我们来看一段代码吧

#include<iostream>  
using namespace std;  
class Base  
{  
protected:  
    int _base;  
public:  
    void fun()  
    {  
        cout << "Base::fun" << endl;  
    }  
};  
  
class A:public Base  
{  
protected:  
    int _a;  
};  
  
class B : public Base  
{  
protected:  
    int _b;  
};  
class D :public A, public B  
{  
private:  
    int _d;  
};  
int main()  
{  
    D d;  
    d.fun();//编译器报错：调用不明确  
    getchar();  
}  
[cpp] view plain copy
#include<iostream>  
using namespace std;  
class Base  
{  
protected:  
    int _base;  
public:  
    void fun()  
    {  
        cout << "Base::fun" << endl;  
    }  
};  
  
class A:public Base  
{  
protected:  
    int _a;  
};  
  
class B : public Base  
{  
protected:  
    int _b;  
};  
class D :public A, public B  
{  
private:  
    int _d;  
};  
int main()  
{  
    D d;  
    d.fun();//编译器报错：调用不明确  
    getchar();  
}  

  我们可以看见D的对象模型里面保存了两份Base,当我们想要调用我们从Base里继承的fun时就会出现调用不明确问题，并且会造成数据冗余的问题，明明可以只要一份就好，而我们却保存了两份。

    那么我们可以怎样解决呢？

    第一种解决方法，使用域限定我们所需访问的函数

int main()  
{  
    D d;  
    d.A::fun();  
    d.B::fun();  
    getchar();  
}  

[cpp] view plain copy
int main()  
{  
    D d;  
    d.A::fun();  
    d.B::fun();  
    getchar();  
}  

这样的做法是没有问题的，但是，这样做非常的不方便，并且当程序十分大的时候会造成我们思维混乱

    于是，C++给了我们一个别的解决方案——虚继承

b.虚继承

    虚继承是什么？

 如上图，虚继承即让A和B在继承Base时加上virtural关键字，这里需要记住不是D使用虚继承

    那么，虚继承又是怎么解决这些烦人的问题的呢？

    我们可看见在A和B中不再保存Base中的内容，保存了一份偏移地址，然后将Base的数据保存在一个公共位置处这样保证了数据冗余性的降低同时，我们也能直接的使用d.fun（）来调用Base里的fun函数。

#include<iostream>  
using namespace std;  
class Base  
{  
protected:  
    int _base;  
public:  
    void fun()  
    {  
        cout << "Base::fun" << endl;  
    }  
};  
  
class A:virtual public Base  
{  
protected:  
    int _a;  
};  
  
class B :virtual public Base  
{  
protected:  
    int _b;  
};  
class D :public A, public B  
{  
private:  
    int _d;  
};  
int main()  
{  
    D d;  
    d.fun();  
    getchar();  
}  
[cpp] view plain copy
#include<iostream>  
using namespace std;  
class Base  
{  
protected:  
    int _base;  
public:  
    void fun()  
    {  
        cout << "Base::fun" << endl;  
    }  
};  
  
class A:virtual public Base  
{  
protected:  
    int _a;  
};  
  
class B :virtual public Base  
{  
protected:  
    int _b;  
};  
class D :public A, public B  
{  
private:  
    int _d;  
};  
int main()  
{  
    D d;  
    d.fun();  
    getchar();  
}  

  *虚继承和虚函数是完全不同的两个概念，希望大家不要随意搞混，想要了解虚函数的同学可以看看博主的另一篇博文《C++的继承&多态》