C++学习之路—继承与派生(三):多重继承与虚基类

(根据《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类中包括数据成员nameagetitle。学生类中包括数据成员name1sexscore。在定义派生类的对象时给出初始化的数据,然后输出这些数据。

   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++编译系统只执行最后的派生类对虚基类的构造函数的调用,而忽略其他派生类的调用,这就保证了虚基类的数据成员不会被多次初始化。

原文地址:https://www.cnblogs.com/hust-ghtao/p/3493922.html