- 公有MI表示is-a类,私有MI和保护MI表示has-a关系
- 如果声明类时,没有特别指出,比如public、private、protected,就默认有私有继承
当基类派生出两个派生类,两个派生类又派生出第三类(多重继承),就会产生问题:①将有多少个基类?②哪个方法
问题1:
- 第三类继承了两个派生类,两个派生类都有基类组件,所以第三类有两个基类组件。当基类指针指向第三类地址,将出现二义性。解决方法可以是使用类型转换来指定对象。
Worker* pw1 = (Waiter* ) &ed; 使用Waiter里的Worker Worker* pw2 = (Singer* ) &ed
可为什么要两个Worker对象的拷贝呢,只需要一个就好了
2.虚基类class Singer : virtual public Worker {...}; class Waiter : virtual public Waiter {...} ;
这样第三类就只包含一个Worker对象副本了。但这并不是最好的办法,因为一些情况下可能需要基类多个拷贝,或将基类作为虚的需要完成额外计算,且虚基类可能需要修改已有代码。
3.新的构造函数规则Singingwaiter(const Worker& wk, int p=0, int v= Singer::other) : Waiter(wk,p) , Singer(wk,v) {}
这样不得行。这种信息自动传递将不起作用,wk参数中的信息不会传递给子对象,然而编译器必须在构造派生对象之前构造基类对象组件,所以编译器会使用默认构造函数。解决方法就是显式调用所需的基类构造函数。
Singingwaiter(const Worker& wk, int p=0, int v= Singer::other) : Worker(wk), Waiter(wk,p) , Singer(wk,v) {}
对于虚基类,必须这样做;非虚基类则是非法的。
问题2:用哪个方法
- 假如两个派生类都有同名方法,第三类没有重新定义方法,那么第三类使用该名字方法时,会出现二义性问题。(多继承)
①可以使用作用域解析运算符来澄清编程者意图。
Singerwaiter.Singer::show()
②重新定义Singerwaiter的show()void Singerwaiter::show() { Singer::show() ; }
- 对于单继承可以让派生类方法调用基类方法,但对于第三类(多重继承)这样不行。
void Singerwaiter::show() { Singer::show() Waiter::show() }
这样可以补救,但是这会显示两次。解决方法是使用模块化方式,而不是递增方式,既一个只显示Worker组件的方法和一个显示Singer和Waiter组件的方法。
void Worker::data () const { cout<<"Name: "<<fullname<<"\n"; cout<<"Employee ID: "<<id<<"\n"; } void Waiter::data() const { cout<<"Panache rating: "<<panache<<"\n"; } void Singer::data() const { cout<<"Vocal range: "<<pv[voice]<<"\n"; } void SingerWaiter::Data() const { Singer::show(); Waiter::show(); } void Singerwaiter::show() const { Worker::data(); data(); }
data()只能在内部使用,作为协助公有接口的辅助方法。
- 另一个方法是将所有数据组件都设置为protected
介绍一些关于MI的问题
- 混合使用虚基类和非虚基类
假如类A被用作B类和C类的虚基类,被用作类D和类E的非虚基类,F继承B、C、D、E,则F从虚派生祖先继承一个A类子对象,从D、E分别继承一个A类子对象,共三个A类子对象。- 虚基类和支配
虚基类,如果某个名称优先于其他所有名称,则使用它时即使不使用限定符也不会导致二义性,派生类中的名称优先于直接或间接祖先类中的所有名称。