C++菱形继承的二义性问题（虚拟继承）

待我称王封你为后i 2023-02-16 01:43 27阅读 0赞

C++菱形继承如下：

#include<iostream>
    using namespace std;
    class A
    {
    public:
    	int a;
    };
    class B1 : public A
    {
    public:
    	int _B1;
    };
    class B2 :public A
    {
    public:
    	int _B2;
    };
    class C :public B1, public B2
    {
    public:
    	int c;
    };
    int main()
    {
    	C c1;
    	c1.a=5;
    	return 0;
    }

上面代码是一个简单的菱形继承代码，具有编译错误。

顶层的A公有派生子类B1，B2；

而底层的C类共有继承于B1，B2；

那么就产生于一个问题：

**就是创建一个c类对象，通过c类对象访问变量a**

**编译器不知道是访问B1类的继承下来的B1::a,还是B2::a。**

**这就是菱形继承的二义性问题。**

这个问题可以有两个解法。

第一个也是最不提倡的解法，就是在通过c对象访问a变量时注明是访问哪一个继承对象的变量。

代码如下：

这种方法浪费了大量的空间，若顶层类的变量很多，则派生出的B1，B2类重复定义A类的变量很多，浪费很大。

以下我推荐第二种方法

即虚拟继承：代码如下

#include<iostream>
    using namespace std;
    class A
    {
    public:
    	int a;
    };
    class B1 : virtual public A
    {
    public:
    	int _B1;
    };
    class B2 : virtual public A
    {
    public:
    	int _B2;
    };
    class C :public B1, public B2
    {
    public:
    	int c;
    };
    int main()
    {
    	C c1;
    	c1.a=5;
    	return 0;
    }

在A派生B1，B2类时，使用虚拟继承，

这样不仅解决了编译器的二义性问题，还会对空间进行节省，

使用虚拟继承为什么会节省空间呢。

因为在使用虚拟继承时，B1和B2在定义时不会按照传统的类模型，而是在后面创建一个空间来储存A类变量，B1和B2中有指针可以找到这个空间,这样就节省了空间。后面A类变量空间是B1和B2共有的。