上一篇我们提到菱形继承有数据冗余和二义性的问题。我们看下面的代码
class fruit
{
public:
string _name;
};
class apple :public fruit
{
protected:
int _appleMoney;
};
class banana :public fruit
{
protected:
int _bananaMoney;
};
class store :public apple, public banana
{
protected:
string _storeName;
};
void Text()
{
store s;
/*这一行代码存在二义性,无法明确的知道访问的是哪一个所以编译不通过
s._name = "wanda";
*/
// 需要显示指定访问哪个父类的成员可以解决二义性问题,但是数据冗余问题无法解决
s.apple::_name = "pingguo";
s.banana::_name = "xiangjiao";
}
我们可以菱形继承的的确确存在二义性和数据冗余问题,所以要解决这个问题,我们只需要在apple、banana继承的时候采用虚拟继承即可,解决问题。
class fruit
{
public:
string _name;
};
class apple :virtual public fruit
{
protected:
int _appleMoney;
};
class banana :virtual public fruit
{
protected:
int _bananaMoney;
};
class store :public apple, public banana
{
protected:
string _storeName;
};
void Text()
{
store s;
s._name = "西瓜";
cout << s.apple::_name << " " << s.banana::_name << endl;
}
**注意:**虚拟继承不要在其他地方去使用
**
知其然知其所以然
**
我们看看菱形继承在内存中是怎么存储的
class A
{
public:
int _a;
};
class B :public A
{
public:
int _b;
};
class C :public A
{
public:
int _c;
};
class D :public B, public C
{
public:
int _d;
};
int main()
{
D d;
d.B::_a = 1;
d.C::_a = 2;
d._b = 3;
d._c = 4;
d._d = 5;
return 0;
}
在虚拟继承的内存结构中,我们可以发现D对象的将A放在了对象组成员的最底下,这个A同时属于B,C,那么B、C该如何去找到这个A呢?
我们可以发现在B、C中有俩个指针,他们指向不同的地方,这俩个指针叫虚基表指针,这两个表叫虚基表。虚基表中存的偏移量。通过偏移量可以找到下面的A。
也就是说在现在的B、C共用同一个资源,并且,他们每一次访问都是通过访问虚基表中的偏移量,然后偏移之后找到A的位置。