深入解析C++中类的多重继承
C++类的多继承
在前面的例子中,派生类都只有一个基类,称为单继承。除此之外,C++也支持多继承,即一个派生类可以有两个或多个基类。
多继承容易让代码逻辑复杂、思路混乱,一直备受争议,中小型项目中较少使用,后来的 Java、C#、PHP 等干脆取消了多继承。想快速学习C++的读者可以不必细读。
多继承的语法也很简单,将多个基类用逗号隔开即可。例如已声明了类A、类B和类C,那么可以这样来声明派生类D:
class D: public A, private B, protected C{ //类D新增加的成员 }
D是多继承的派生类,它以共有的方式继承A类,以私有的方式继承B类,以保护的方式继承C类。D根据不同的继承方式获取A、B、C中的成员,确定各基类的成员在派生类中的访问权限。
多继承下的构造函数
多继承派生类的构造函数和单继承类基本相同,只是要包含多个基类构造函数。如:
D类构造函数名(总参数表列): A构造函数(实参表列), B类构造函数(实参表列), C类构造函数(实参表列){ 新增成员初始化语句 }
各基类的排列顺序任意。
派生类构造函数的执行顺序同样为:先调用基类的构造函数,再调用派生类构造函数。基类构造函数的调用顺序是按照声明派生类时基类出现的顺序。
下面的定义了两个基类,BaseA类和BaseB类,然后用多继承的方式派生出Sub类。
#include <iostream> using namespace std; //基类 class BaseA{ protected: int a; int b; public: BaseA(int, int); }; BaseA::BaseA(int a, int b): a(a), b(b){} //基类 class BaseB{ protected: int c; int d; public: BaseB(int, int); }; BaseB::BaseB(int c, int d): c(c), d(d){} //派生类 class Sub: public BaseA, public BaseB{ private: int e; public: Sub(int, int, int, int, int); void display(); }; Sub::Sub(int a, int b, int c, int d, int e): BaseA(a, b), BaseB(c, d), e(e){} void Sub::display(){ cout<<"a="<<a<<endl; cout<<"b="<<b<<endl; cout<<"c="<<c<<endl; cout<<"d="<<d<<endl; cout<<"e="<<e<<endl; } int main(){ (new Sub(1, 2, 3, 4, 5)) -> display(); return 0; }
运行结果:
a=1 b=2 c=3 d=4 e=5
从基类BaseA和BaseB继承来的成员变量,在 Sub::display() 中都可以访问。
命名冲突
当两个基类中有同名的成员时,就会产生命名冲突,这时不能直接访问该成员,需要加上类名和域解析符。
假如在基类BaseA和BaseB中都有成员函数 display(),那么下面的语句是错误的:
Sub obj; obj.display();
由于BaseA和BaseB中都有display(),系统将无法判定到底要调用哪一个类的函数,所以报错。
应该像下面这样加上类名和域解析符:
Sub obj; obj.BaseA::display(); obj.BaseB::display();
通过这个举例可以发现:在多重继承时,从不同的基类中会继承一些重复的数据。如果有多个基类,问题会更突出,所以在设计派生类时要细致考虑其数据成员,尽量减少数据冗余。
C++多重继承的二义性问题
多重继承可以反映现实生活中的情况,能够有效地处理一些较复杂的问题,使编写程序具有灵活性,但是多重继承也引起了一些值得注意的问题,它增加了程序的复杂度,使 程序的编写和维护变得相对困难,容易出错。其中最常见的问题就是继承的成员同名而产生的二义性(ambiguous)问题。
如果类A和类B中都有成员函数display和数据成员a,类C是类A和类B的直接派生类。分别讨论下列3种情况。
1) 两个基类有同名成员
代码如下所示:
class A { public: int a; void display(); }; class B { public: int a; void display (); }; class C: public A, public B { public: int b; void show(); };
如果在main函数中定义C类对象cl,并调用数据成员a和成员函数display :
C cl; cl.a=3; cl.display();
由于基类A和基类B都有数据成员a和成员函数display,编译系统无法判别要访问的是哪一个基类的成员,因此程序编译出错。那么,应该怎样解决这个问题呢?可以用基类名来限定:
cl.A::a=3; //引用cl对象中的基类A的数据成员a cl.A::display(); //调用cl对象中的基类A的成员函数display
如果是在派生类C中通过派生类成员函数show访问基类A的display和a,可以不 必写对象名而直接写
A::a = 3; //指当前对象 A::display();
2) 两个基类和派生类三者都有同名成员
将上面的C类声明改为:
class C: public A, public B { int a; void display(); };
如果在main函数中定义C类对象cl,并调用数据成员a和成员函数display:
C cl; cl.a = 3; cl.display();
此时,程序能通过编译,也可以正常运行。请问:执行时访问的是哪一个类中的成员?答案是:访问的是派生类C中的成员。规则是:基类的同名成员在派生类中被屏蔽,成为“不可见”的,或者说,派生类新增加的同名成员覆盖了基类中的同名成员。因此如果在定义派生类对象的模块中通过对象名访问同名的成员,则访问的是派生类的成员。请注意:不同的成员函数,只有在函数名和参数个数相同、类型相匹配的情况下才发生同名覆盖,如果只有函数名相同而参数不同,不会发生同名覆盖,而属于函数重载。
有些读者可能对同名覆盖感到不大好理解。为了说明问题,举个例子,例如把中国作为基类,四川则是中国的派生类,成都则是四川的派生类。基类是相对抽象的,派生类是相对具体的,基类处于外层,具有较广泛的作用域,派生类处于内层,具有局部的作用域。若“中国”类中有平均温度这一属性,四川和成都也都有平均温度这一属性,如果没有四川和成都这两个派生类,谈平均温度显然是指全国平均温度。如果在四川,谈论当地的平均温度显然是指四川的平均温度;如果在成都,谈论当地的平均温度显然是指成都的平均温度。这就是说,全国的“平均温度”在四川省被四川的“平均温度”屏蔽了,或者说,四川的“平均温度”在当地屏蔽了全国的“平均温度”。四川人最关心的是四川的温度,当然不希望用全国温度覆盖四川的平均温度。
如果在四川要查全国平均温度,一定要声明:我要查的是全国的平均温度。同样,要在派生类外访问基类A中的成员,应指明作用域A,写成以下形式:
cl.A::a=3; //表示是派生类对象cl中的基类A中的数据成员a cl.A::display(); //表示是派生类对象cl中的基类A中的成员函数display
3) 类A和类B是从同一个基类派生的
代码如下所示:
class N { public: int a; void display(){ cout<<"A::a="<<a<<endl; } }; class A: public N { public: int al; }; class B: public N { public: int a2; }; class C: public A, public B { public: int a3; void show(){ cout<<"a3="<<a3<<endl; } } int main() { C cl; //定义C类对象cl // 其他代码 }
在类A和类B中虽然没有定义数据成员a和成员函数display,但是它们分别从类N继承了数据成员a和成员函数display,这样在类A和类B中同时存在着两个同名的数据成员a和成员函数display。它们是N类成员的拷贝。类A和类B中的数据成员a代表两个不同的存储单元,可以分别存放不同的数据。在程序中可以通过类A和类B的构造函数去调用基类N的构造函数,分别对类A和类B的数据成员a初始化。
怎样才能访问类A中从基类N继承下来的成员呢?显然不能用
cl.a = 3; cl.display();
或
cl.N::a = 3; cl. N::display();
因为这样依然无法区别是类A中从基类N继承下来的成员,还是类B中从基类N继承下来的成员。应当通过类N的直接派生类名来指出要访问的是类N的哪一个派生类中的基类成员。如
cl.A::a=3; cl.A::display(); //要访问的是类N的派生类A中的基类成员