C++中的菱形继承

前言

与Java等其他语言不同，C++中支持多重继承。然而，这种多重继承往往会导致很多问题的出现。比如说出现的菱形继承问题。

问题

什么是菱形继承呢？先来看下面这幅图

CB 和 CC继承于CA，而CD又多重继承于CB和CC，这就意味着CD会有CA的两份拷贝，由于成员函数不体现在类的内存上，直观上就所看到的情况就是CD有两份CA成员变量num的拷贝，如下代码所示：

class CA {
public: 
		int num = 10;
		void print()
		{
			cout <<"num is " << num << endl;
		}
};   

class CB:public CA {

};

class CC:public CA {

};

class CD:public CB, public CC {

};

int main()
{
		CD d;
		cout << sizeof(d) <<endl;
		return 0;
}

输出为8,这是因为d多重继承于CB跟CA，拥有两份CA的成员变量的拷贝，所以内存大小为8；也就是说d拥有两个num。倘若程序执行下面的操作，则会出现二义性问题.

d.a = 88;		//程序编译不通过
d.print();		//程序编译不通过

当然。对于以上的问题，可以通过作用域来规避。如下：

d.CB::a = 88;
d.CB::print();

但是这未免也太过繁琐，那么是否还有其他方法可以来解决这个问题呢？

虚继承

虚继承可以解决菱形继承带来的数据冗余问题，如上面的继承关系，我们可以让类CB,CC在继承CA时采用虚继承的方式（注意，不是类CD在继承CB跟CC时采用虚继承）,如下：

class CA {
public: 
  	int num = 10;
  	void print()
  	{
  		cout <<"num is " << num << endl;
  	}
};   

class CB:virtual public CA {

};

class CC:virtual public CA {

};

class CD:public CB, public CC {

};

其具体实现是：CB和CC中不再保存CA的具体内容，而是在CB跟CC中各自创建了一个虚基表指针，这个指针保存了指向一张虚基表，虚基表中存储了CA的偏移地址，通过这个偏移地址可以找到CA。
此时，倘若我们编写如下程序

int main()
{
		CD d;
		cout << sizeof(d) <<endl;
		return 0;
}

会输出12，也就是说两个指针分别占用了4字节的空间。由此可见，为了消除菱形继承带来的数据冗余问题，我们得付出一定的空间代价。所以，在平时的编程中，一定要尽可能避免多重继承的出现。