Effective C++ 43，44

43.明智地使用多继承。

多继承带来了极大的复杂性。最基本的一条就是二义性。

当派生类为多继承时，其多个基类有同名的成员时，就会出现二义性。通常要明确其使用哪个成员的。显式地限制修饰成员不仅很笨拙，而且会带来限制。当显式地用一个类名来修饰一个虚函数时，函数就会被固定，而不再具有虚拟的特性。对于虚函数，若两个基类拥有一个同名同参的虚函数，当派生类没有重新定义虚函数时（可以只声明），直接调用这个同名函数会出二义性错误，需要指明其类。而当派生类中重新定义了这个函数，这是不可能的，因为一个类只允许有唯一同参同名的函数（其实不对，函数体声不声明const，还是不同的，一个用于正常对象，一个用于const对象）。而对于派生类中重新定义虚函数，其实是在派生类中重新创建了一个函数，在这里要重新定义两个虚函数是不行的，因为重定义一个函数就是在创建一个函数，而一个函数里不能有两个同名同参的函数。

当不修改虚函数时，只要用指明基类的方式去调用基类的函数即可，当需要重新定义一个虚函数时，即对于派生类只保留一个虚函数时，不用关心其保留哪个虚函数，只要正常的重新声明定义即可。

而当需要重新定义多个虚函数，且派生类要用到这多个虚函数时，一种所谓的巧妙的方法解决二义性，就是在存在二义性的两个基类下再进行派生，在这两个派生类中给其定义各自的新名字，而函数体为内联的调用基类的函数。而多重继承的派生类多重继承与这两个中间类，就将两个原本冲突的基类函数变成了两个不冲突的基类函数。仅仅为重新定义一个虚函数，而不得不引入新的类。

class A{
public:
	virtual void fun(){cout<<"A"<<endl;}
};
class B{
public:
	virtual void fun(){cout<<"B"<<endl;}
};
class AuxA:public A{
public:
	virtual void Afun() = 0;
	virtual void fun(){return Afun();}
};
class AuxB:public B{
public:
	virtual void Bfun() = 0;
	virtual void fun(){return Bfun();}
};

class C:public AuxA,public AuxB{
public:
	virtual void Afun(){cout<<"A in C"<<endl;}
	virtual void Bfun(){cout<<"B in C"<<endl;}

};
class D:public A,public B{

};
int main(){
	D* d = new D();//对于正常的情况，
	A* aaa =d;//当其使用基类的指针时,
	aaa->fun();//就会调用基类的虚函数，而不会发生冲突
	B* bbb = d;//完全没有体现到多态
	bbb->fun();
	//d->fun();//而直接调用会二义性。
	C* c =new C();
	//c->fun();//改名后原来的这个函数还是二义性的。
	A* aa = c;
	aa->fun();//输出 A in C
	B* bb = c;//输出 B in C
	bb->fun();
	AuxA *a = c;
	AuxB * b = c;
	a->fun();//输出 A in C
	b->fun();//输出 B in C

而除了二义性，还经常碰到的问题就是菱形继承，也就是一个基类被继承多次，但是否应该保存多个拷贝的问题。一般来说都是只拥有一个这样的基类，即将其声明为虚基类。

但这样也是有问题的，首先程序开发这设计一个基类A派生了多个基类BC,但是在其定义BC时无法知道以后是否有人会多继承BC，而后人想要修改BC的定义使其虚继承于类A又是很难做到的，一般ABC都是只读的库函数，而D由库的用户开发。另一方面，如果A声明为BC的虚基类，这在大部分情况下会给用户带来空间和时间上的额外消耗。

而对于虚基类，若A为非虚基类，则D的对象在内存中的分配通常占用连续的内存单元，而若A为虚基类，会包含一个指针指向虚基类数据成员的函数单元。这里对于A派生BC,而D继承与B和C，则D的内存中有两个A，而如果是虚基类，D中有两个指向A的指针。

所以考虑这些，进行高效的类设计时，若涉及到MI 多继承，作为库的设计者就要具有超凡的远见。

向虚基类传递构造函数参数。对于单继承中，派生类在成员初始化列表中对基类传递参数，由于是单继承的，这些参数可以逐层的向上传递。但虚基类的构造函数就不同了，它的参数由继承结构中最底层的派生类的成员初始化列表来指定，如果有新类增加到继承结构中，可能要修改执行初始化的类。避免这个问题的办法是消除对虚基类传递构造函数参数的需要，最简单的就是java中的解决方法，即避免在虚基类中放入数据成员，java中的虚基类 接口禁止包含数据。

虚函数的优先度。当虚函数在多重继承中涉及到虚基类时，会有优先度的问题，仍然以ABCD为例，A中有虚函数void fun（），C中重定义了fun，但B和D中没有，调用D的指针fun时，若A不是虚基类，则是正常的情况，发生二义性错误。但是当A是虚基类时，就可以说C中重定义的fun的优先度高于最初的A中的定义也是B中的fun，则此时会无二义性的解析为调用 C::fun()函数。

当对于原 B类继承于A类，现今需要新加入一个新类C继承与A，但是你发现其与B类用许多相似的地方，但C又不是一个B，所以你决定让C 由B实现，便让C私有继承于B，同时继承A，同时修改了一下B中的虚函数，实现了多继承。而另一种做法是将BC的共同点放在一个新的类D中，改变继承结构，使D继承于A，而BC继承于D，这样就只有单继承了。表面上看来，多继承没有添加一个新的类，没有改变原有的继承结构，它只是在原有的类B的基础上增加了一些新的虚函数，这样看似增加了大量的功能，而只增加了一点点复杂性。但事实让，引入多继承就会带来许多麻烦。

MI是复杂的，但也是有用的，需要明智的去使用。

44.说你想说的，理解你想说的。

简单来说，理解面向对象构件在c++中的含义，而不是只去记忆c++的语言规则。对c++理解越深，越能清晰的考虑问题。

Effective C++ 43，44

原文：http://blog.csdn.net/luo_xianming/article/details/39937081