(根据《C++程序设计》(谭浩强)整理,整理者:华科小涛,@http://www.cnblogs.com/hust-ghtao转载请注明)
多重继承是指一个派生类有两个或多个基类。例如,有些学校的领导*同时也是教师,他们既有*的属性,又有教师的属性。C++为了适应这种情况,允许一个派生类同时继承多个基类,这就是多重继承。
1 多重继承的基础
本节包含两部分内容,即如何声明多重继承和多重继承派生类的构造函数。
1.1 声明多重继承的方法
如果已经声明了类A、类B、类C,可以声明多重继承的派生类D:
1: class D : public A , private B , protected C
2: { 类D新增加的成员 } ;
D是多重继承的派生类,它以公用继承方式继承类A,以私有继承方式继承类B,以保护继承方式继承类C。D按不同的继承方式的规则继承A,B,C的属性,确定各基类的的成员在派生类中的访问权限。
1.2 多重继承派生类的构造函数
多重继承派生类的构造函数的基本形式:
派生类构造函数名(总参数表):基类1构造函数(参数表),基类2构造函数(参数表),基类3构造函数(参数表)
{派生类中新增数据成员初始化语句}
各个基类的排列顺序是任意的。派生类构造函数的执行顺序先调用基类的构造函数,再执行派生类构造函数的函数体。调用基类构造函数的顺序是按照声明派生类时基类出现的顺序。
例1 声明一个Teacher类和一个Student类,用多用继承的方式声明一个Graduate派生类。Teacher类中包括数据成员name、age、title。学生类中包括数据成员name1、sex、score。在定义派生类的对象时给出初始化的数据,然后输出这些数据。
1: class Teacher //声明Teacher类
2: {
3: public:
4: Teacher( string nam , int a , string t ) //基类Teacher的构造函数
5: {
6: name = nam ;
7: age = a ;
8: title = t ;
9: }
10:
11: void display() //输出Teacher类的有关数据
12: {
13: cout << "name:" << name << endl ;
14: cout << "age:" << age << endl ;
15: cout << "title:" << title << endl ;
16: }
17: protected:
18: string name ;
19: int age ;
20: string title ;
21: };
22:
23: class Student //声明Student类
24: {
25: public:
26: Student(string nam , char s , float sco ) //基类Student的构造函数
27: {
28: name1 = nam ;
29: sex = s ;
30: score = sco ;
31: }
32:
33: void display1() //输出Student类有关数据
34: {
35: cout << "name:" << name1 << endl ;
36: cout << "sex:" << sex << endl ;
37: cout << "score:" << score << endl ;
38: }
39: protected:
40: string name1 ;
41: char sex ;
42: float score ;
43: };
44:
45: class Graduate : public Teacher , public Student //声明多重继承的派生类Graduate
46: {
47: public:
48: //多重继承派生类Graduate的构造函数
49: Graduate( string nam , int a , char s , string t , float sco , float w ) :
50: Teacher( nam , a , t ) , Student( nam , s , sco ) , wage( w ) {}
51: void show () //输出Graduate的有关数据
52: {
53: cout << "name:" << name << endl ;
54: cout << "age:" << age << endl ;
55: cout << "sex:" << sex << endl ;
56: cout << "score:" << score << endl ;
57: cout << "title:" << title << endl ;
58: cout << "wages:" << wage << endl ;
59: }
60: private:
61: float wage ;
62: };
63:
若在主函数中有如下语句:
1: Graduate grad1 ( "hust_xiaotao" , 24 , 'm' , "assistant" , 90.0 , 1000 );
2: grad1.show();
我们可以注意到,在两个基类中分别用name和name1来代表姓名,其实这是同一个人的名字,从Graduate类的构造函数中可以看到总参数表中的参数nam分别传送给两个基类的构造函数,作为基类构造函数的实参。在两个基类中是不能用同一个name来代表的,因为在同一个派生类中若存在着两个同名的数据成员,在用成员函数进行引用的时候,编译系统是无法判定应该选择哪一个类中的name。
这个问题就是多重继承时遇到的二义性问题,有以下几种解决方案:
(1)基类中不出现同名的成员。例如,在本程序中分别用name和name1来代表两个基类中的姓名,这样程序虽然能够正常运行,但这是为了通过编译而采取的不高明的方法。因为绝大多数的基类都是已经编写好的,用户只可以利用它而无法修改它。
(2)在不同的基类中可以使用同一个数据成员名,而在引用时指明其作用域。如本例,在两个基类中可以使用相同的成员名name,而在show函数中引用数据成员时指明其作用域:
1: cout << "name:" << Teacher::name << endl ;
这样就不致引起二义性,能正常编译运行。
我们可以看到,在多重继承时,从不同的基类中会继承重复的数据,这是很常见的,因为一般情况下使用的是现成的基类。如果有多个基类问题会更加突出。这就要求我们在设计派生类时要细致考虑其数据成员,尽量减少数据冗余。
2 多重继承二义性与虚基类
2.1 多重继承的二义性问题
由继承的成员同名而产生的二义性问题。可以分为以下三种情况:
(1)两个基类有同名成员。
1: class A
2: {
3: public:
4: int a ;
5: void display() ;
6: };
7: class B
8: {
9: int a ;
10: void display() ;
11: };
12: class C : public A , public B
13: {
14: public:
15: int b ;
16: void show();
17: };
如果在main函数中定义C类对象,在调用数据成员a和成员函数display,为了避免二义性,则要用基类名来限定:
1: c1.A::a = 3 ; //引用c1对象中的基类A的数据成员a
2: c1.A::display() ; //调用c1对象中基类A的成员函数display
(2)两个基类和派生类三者都有同名成员。将上面的C类声明为:
1: class C : public A , public B
2: {
3: public:
4: int a ;
5: void display();
6: };
若在main函数中定义C类对象,在调用数据成员a和成员函数display:
1: c1.a = 3 ;
2: c1.display() ;
此时程序可以通过编译,也可以正常运行。那么执行访问的是哪一个类中的成员?答案是:访问的是派生类C的成员。规则是:基类的同名成员在派生类中被屏蔽,或者说,派生类新增加的同名成员覆盖了基类中的同名成员。因此,如果通过派生类的对象名来访问同名的成员,则访问的是派生类的成员。注意:不同的成员函数,只有在函数名和参数个数相同、类型匹配的情况下才发生同名覆盖,如果只有函数名相同而参数不同,不会发生同名覆盖,儿属于函数重载。同样的,如果要在派生类外访问基类中同名成员,要指明作用域。
(3)如果类A和类B是从一个基类N派生而来。
1: class N
2: {
3: public:
4: int a ;
5: void display()
6: {
7: cout << "A::a=" << a << endl ;
8: }
9: };
10: class A : public N
11: {
12: public:
13: int a1 ;
14: };
15: class B : public N
16: {
17: public:
18: int a2 ;
19: };
20: class : public A , public B
21: {
22: public:
23: int a3 ;
24: void show()
25: {
26: cout << "a3=" << a3 << endl ;
27: }
28: };
29: int main()
30: {
31: C c1 ;
32: }
在类A和类B中虽然没有定义数据成员a和成员函数display,但是它们分别从类N继承了数据成员a和display,这样类A和类B中同时存在着两个同名的数据成员a和display。它们是类N数据成员的拷贝。如果要访问类A中从基类N中继承下来的成员,应该用:
1: c1.A::a=3;
2: c1.A::display(); //要访问的是类N的派生类A中的基类成员
2.2 虚基类
由上可知,如果一个派生类有多个直接基类,而这些直接基类又有一个共同的基类,则在最终的派生类中会保留改间接共同基类数据成员的多分拷贝。在引用这些同名的成员时,必须在派生类对象名后面增加直接基类名,以避免产生二义性。
在一个类中保留间接共同基类的多分数据成员一般是不必要的,因为保存多份数据成员的拷贝,不仅占用较多的存储空间,还增加了访问这些成员的困难,易错。
C++提供了虚基类( virtual base class ) 的方法,使得在继承间接共同基类时只保留一份成员。现在将A类声明为虚基类:
1: class A //声明基类A
2: {...};
3: class B : virtual public A //声明类B是类A的公用派生类,A是B的虚基类
4: {...};
5: class C : virtual public A //声明类C是类A的公用派生类,A是C的虚基类
6: {...};
注意:虚基类并不是在声明基类时声明的,而是在声明派生类时,指定继承方式时声明的。将关键字virtual加到相应的继承方式面前。经过这样的声明后,当基类通过多条派生路径被一个派生类继承时,该派生类只继承该基类一次,也就是说,基类成员只保留一次。 为了保证虚基类在派生类中只继承一次,应当在该基类的所有直接派生类中声明为虚基类,否则,仍然会出现对基类的多次继承。
下面介绍如何对虚基类进行初始化:如果在虚基类中定义了带参数的构造函数,而且没有定义默认构造函数,则在其所有派生类(包括直接派生或间接派生的派生类)中,通过构造函数的初始化表对虚基类进行初始化。例如:
1: class A //定义基类A
2: {
3: public:
4: A(int i){} //基类构造函数,有一个参数
5: ...
6: };
7: class B : virtual public A //A作为B的虚基类,
8: {
9: public:
10: B(int n):A(n){} //B类的构造函数,在初始化表中对基类初始化
11: ...
12: };
13: class C : virtual public A //A作为C的虚基类
14: {
15: public:
16: C(int n):A(n){} //C类构造函数,在初始化表中对虚基类初始化
17: ...
18: };
19: class D : public B , public C
20: {
21: public:
22: D(int n):A(n),B(n),C(n){} //D类的构造函数,在初始化表中对所有基类初始化
23: ...
24: };
可以看到,在定义D类的构造函数时,与以往所使用的方法不同。以前,在派生类的构造函数中只负责对直接基类初始化,再由直接基类对间接基类初始化。现在,由于虚基类在派生类中只有一份数据成员,所以这份数据成员必须由派生类直接给出。即规定,在最后的派生类中不仅要负责对其直接基类进行初始化,还要负责对虚基类初始化。
大家可能会有疑问:类D的构造函数通过初始化表调用了虚基类的构造函数A,而类B和类C的构造函数也通过初始化表调用了A的构造函数,这样虚基类的构造函数是否被调用了3次?大家不用担心,C++编译系统只执行最后的派生类对虚基类的构造函数的调用,而忽略其他派生类的调用,这就保证了虚基类的数据成员不会被多次初始化。