第17章 用于大型程序的工具(14)

17.3.2 转换与多个基类

在单个基类情况下，派生类的指针或引用可以自动转换为基类的指针或引用，对于多重继承也是如此，派生类的指针或引用可以转换为其任意基类的指针或引用。

在多重继承情况下，遇到二义性转换的可能性更大。编译器不会试图根据派生类转换来区别基类间的转换，转换带每个基类都一样好。

namespace Andersoft
{
	namespace Animal
	{
		class ZooAnimal{};
		class Endangered{};
		class Bear:public ZooAnimal{};
		class Panda:public Bear,public Endangered{
		public:
			Panda():Bear(),Endangered(){}
		};
	}
}

using namespace Andersoft::Animal;

int _tmain(int argc, _TCHAR* argv[])
{
	ZooAnimal *za=new Panda();
	Endangered ea=Panda();
	Panda pa=Panda();
	Bear &ba=pa;
	return 0;
}

1. 多重继承下的虚函数

2. 基于指针类型或引用类型的查找

像单继承一样，用基类的指针或引用只能访问基类中定义(或继承)的成员，不能访问派生类中引入的成员。

当一个类继承于多个基类的时候，那些基类之间没有隐含的关系，不允许使用一个基类的指针访问其他基类的成员。

3. 确定使用哪个析构函数

假定所有根基类都将它们的析构函数适当定义为虚函数，那么，无论通过哪种指针类型删除对象，虚析构函数的处理都是一致的。

假定这些指针每个都指向子类对象，则每种情况下发生完全相同的析构函数调用次序。析构函数调用的次序是构造函数次序的逆序。

	ZooAnimal *za=new Panda();
	delete za;  //execute ~Panda -> ~Endangered -> ~Bear

17.3.3 多重继承派生类的复制控制

多重继承的派生类的逐个成员初始化、赋值和析构，表现得与单继承下的一样，使用基类自己的复制构造函数、赋值操作符或析构函数隐式构造、赋值或撤销每个基类。

合成的赋值操作符的行为类似于复制构造函数。

合成的析构函数撤销子类对象的每个成员，并且按构造函数次序的逆序为基类部分调用析构函数。

像单继承的情况一样，如果具有多个基类的类定义了自己的析构函数，该析构函数只负责清除派生类。如果派生类定义了自己的复制构造函数或赋值操作符，则类负责复制(赋值)所有的基类子部分。只有派生类使用复制构造函数或赋值操作符的合成版本，才自动复制或赋值基类部分。

17.3.4 多重继承下的类作用域

当一个类有多个基类的时候，通过所有直接基类同时进行名字查找。多重继承的派生类有可能从两个或多个基类继承同名成员，对该成员不加限定的使用是二义性的。

1. 多个基类可能导致二义性。

2. 首先发生名字查找

即使两个继承的函数有不同的形参表，也会发生错误。类似地，即使函数在一个类中是私有的而在另一个类中是公有或受保护的，也是错误的。

3. 避免用户级二义性

可以通过指定使用哪个类解决二义性。

避免潜在二义性最好的方法是，在解决二义性的派生类中定义函数的一个版本。

namespace Andersoft
{
	namespace Animal
	{
		class ZooAnimal{
		public:
			void Print(){}
		};
		class Endangered{
		public:
			void Print(){}
		};
		class Bear:public ZooAnimal{
		public:
			void Print(){
			ZooAnimal::Print();
			}
		};
		class Panda:public Bear,public Endangered{
		public:
			Panda():Bear(),Endangered(){}
			void Print(){
			Bear::Print();
			Endangered::Print();
			}
		};
	}
}

	Panda *za=new Panda();
	za->Endangered::Print();
	za->Print();