面向对象编程语言中的多重继承指的是一个类别可以同时从多于一个父类继承行为与特征的功能。与单一继承相对,单一继承指一个类别只可以继承自一个父类。
重温Java,发现Java竟然不支持类多重继承(直接继承类),却允许接口的多重继承。C++中类可以多重继承,Java中为什么不实现这个功能呢?多重继承会带来哪些问题,从而导致Java放弃类的多重继承?
再一深究,发现多年以来,多重继承一直是个敏感话题,赞成者看到的是免去笨拙的混合继承的利处,反对者看到的是多处混淆的弊端,例如变量的二义性,并且是多个变量。所以关于它的好处与风险之间孰轻孰重成为OO界多年争论的焦点。
其实最大的问题是出现拓补图,也就是出现钻石型继承结构(DOD),个人感觉这是个致命伤。正如其名:Diamond of Death。
举个简单的例子:
比如一个基类:动物。它有三个派生类:哺乳类动物,卡通类动物,宠物(确实都形成ISA关系)。现在有一个子类猫,从关系上推,它可以继承自哺乳类,卡通类,宠物,都符合ISA,如果要体现所有的特性,就需要全部继承,这样就形成了多重继承,却也形成了DOD,这样以后问题就出现了,从猫到动物的继承有三条路径,如果哺乳类,卡通类与宠物类中有相同的成员函数或变量,这样的数据组织方式会形成多义。
C++怎么解决这个问题的呢?虚继承。结果就是不得不牺牲一些内存开销,因为一个功能要在多处被重写。并且函数表里的函数指针必须调整,这样即使可以满足功能,在后期的维护也很复杂。
所以,Java才会采用这样折中的方法,硬生生的将类多重继承踢了出去。
并且,网上也有不少建议,要尽可能避免多重继承,不惜一切代价去避免钻石结构,以避免后期不可挽回的大返工。
多重继承的概念:C++允许为一个派生类指定多个基类,这样的继承结构被称做多重继承。
举个例子,交通工具类可以派生出汽车和船连个子类,但拥有汽车和船共同特性水陆两用汽车就必须继承来自汽车类与船类的共同属性。
由此我们不难想出如下的图例与代码:
当一个派生类要使用多重继承的时候,必须在派生类名和冒号之后列出所有基类的类名,并用逗号分隔。
//程序作者:管宁
//站点:www.cndev-lab.com
//所有稿件均有版权,如要转载,请务必著名出处和作者
#include <iostream><br>using namespace std; <br>class Vehicle <br>{ <br> public: <br> Vehicle(int weight = 0) <br> { <br> Vehicle::weight = weight; <br> } <br><b>void SetWeight(int weight) </b> <br> { <br> cout Vehicle::weight = weight; <br> } <br><b>virtual void ShowMe() = 0; <br></b> protected: <br><b>int weight; </b> <br>}; <br>class Car:public Vehicle//汽车 <br>{ <br> public: <br> Car(int weight=0,int aird=0):Vehicle(weight) <br> { <br> Car::aird = aird; <br> } <br><b>void ShowMe() </b> <br> { <br> cout } <br> protected: <br><b>int aird; <br></b>}; </iostream>
class Boat:public Vehicle//船
{
public:
Boat(int weight=0,float tonnage=0):Vehicle(weight)
{
Boat::tonnage = tonnage;
}
void ShowMe()
{
cout }
protected:
float tonnage;
};
class AmphibianCar:public Car,public Boat//水陆两用汽车,多重继承的体现
{
public:
AmphibianCar(int weight,int aird,float tonnage)
:Vehicle(weight),Car(weight,aird),Boat(weight,tonnage)
//多重继承要注意调用基类构造函数
{
}
void ShowMe()
{
cout }
};
int main()
{
AmphibianCar a(4,200,1.35f);//错误
a.SetWeight(3);//错误
system("pause");
}
上面的代码从表面看,看不出有明显的语发错误,但是它是不能够通过编译的。这有是为什么呢?
这是由于多重继承带来的继承的模糊性带来的问题。
先看如下的图示:
在图中深红色标记出来的地方正是主要问题所在,水陆两用汽车类继承了来自Car类与Boat类的属性与方法,Car类与Boat类同为AmphibianCar类的基类,在内存分配上AmphibianCar获得了来自两个类的SetWeight()成员函数,当我们调用a.SetWeight(3)的时候计算机不知道如何选择分别属于两个基类的被重复拥有了的类成员函数SetWeight(),导致SetWeight()的调用产生二义性。
由于这种模糊问题的存在同样也导致了AmphibianCar a(4,200,1.35f);执行失败,系统会产生Vehicle是非法的成员初始化,'Vehicle' is not a base or member。这是因为Class Car和Class Boat都继承了基类的构造函数,Vehicle()函数的调用产生二义性。
以上面的代码为例,我们要想让AmphibianCar类既获得一个Vehicle的拷贝,而且又同时拥用Car类与Boat类的数据成员与成员函数,那么就必须通过C++所提供的虚拟继承技术来实现。
我们在Car类和Boat类继承Vehicle类出,在前面加上virtual关键字就可以实现虚拟继承,使用虚拟继承后,当系统碰到多重继承的时候就会自动先加入一个Vehicle的拷贝,当再次请求一个Vehicle的拷贝的时候就会被忽略,保证继承类成员函数的唯一性。
修改后的代码如下,注意观察变化:
//程序作者:管宁
//站点:www.cndev-lab.com
//所有稿件均有版权,如要转载,请务必著名出处和作者
#include <iostream><br>using namespace std; <br>class Vehicle <br>{ <br> public: <br> Vehicle(int weight = 0) <br> { <br> Vehicle::weight = weight; <br> cout } <br><b>void SetWeight(int weight) </b> <br> { <br> cout Vehicle::weight = weight; <br> } <br> virtual void ShowMe() = 0; <br> protected: <br><b>int weight; <br></b>}; <br><font color="#ff0000">class Car:<b>virtual</b> public Vehicle</font>//汽车,这里是虚拟继承 <br>{ <br> public: <br> Car(int weight=0,int aird=0):Vehicle(weight) <br> { <br> Car::aird = aird; <br> cout } <br><b>void ShowMe()</b> <br> { <br> cout } <br> protected: <br><b>int aird; <br></b>}; <br><font color="#ff0000">class Boat:<b>virtual</b> public Vehicle//船,这里是虚拟继承</font> <br>{ <br> public: <br> Boat(int weight=0,float tonnage=0):Vehicle(weight) <br> { <br> Boat::tonnage = tonnage; <br> cout } <br><b>void ShowMe() <br></b> { <br> cout } <br> protected: <br><b>float tonnage; <br></b>}; <br><font color="#ff0000">class AmphibianCar:public Car,public Boat//水陆两用汽车,多重继承的体现 <br></font>{ <br> public: <br> AmphibianCar(int weight,int aird,float tonnage) <br> :Vehicle(weight),Car(weight,aird),Boat(weight,tonnage) <br> //多重继承要注意调用基类构造函数 <br> { <br> cout } <br><b>void ShowMe()</b> <br> { <br> cout } <br><b>void ShowMembers() <br></b> { <br> cout <p> </p>
<p> } <br>}; <br>int main() <br>{ <br> AmphibianCar a(4,200,1.35f); <br> a.ShowMe(); <br> a.ShowMembers(); <br> a.SetWeight(3); <br> a.ShowMembers(); <br> system("pause"); <br>}</p> <p>注意观察类构造函数的构造顺序。 <br><b>虽然说虚拟继承与虚函数有一定相似的地方,但读者务必要记住,他们之间是绝对没有任何联系的!</b></p> <p>补充:</p> <p>1、 当一个类有多个父类时,每个父类在内存中依次排列,然后该类自己的成员。 <br>2、 每一个父类的镜像中,都包含有独立的虚函数表 <br>3、 当把子类的指针Upcast的时候,两种Upcast的方式得到的结果分别指向各自的父类镜像 <br>4、 当两个父类重载的虚函数不同时,会使用Thunk机制,也就是说,虚函数表中的函数指针并不指向实际的虚函数,而是指向一小段代码。在这一小段代码中,会修改This指针(ECX寄存器),使之指向合适的父类镜像,然后再跳转到实际的虚函数体。 <br>5、 当不使用虚继承时,共同基类的成员对象,在子类中会有独立两分(从两个父类各自继承了一份)。 <br>6、 当使用虚继承时,共同基类的成员对象也会在虚函数表中记录,访问它必须先查找虚函数表。</p>
</iostream>
分享到:
相关推荐
本文简单介绍多态和多重继承、虚拟继承的基本概念。随后重点分析了C++中对象模型之间的差异和运行效率
尽管在理想的使用环境中,一个C++程序员并不需要了解这些编译器内部实现细节,实际上,编译器针对多重继承(特别是虚拟继承)的各种实现细节对于我们编写C++代码都或多或少产生一些影响(比如downcastingpointer、...
3、体现继承 虚拟继承(要通过至少三层 父类父类子类) 虚函数 (3层 纵向关系) 水平方向上:体现出继承顺序 先虚拟继承 再普通继承 通过实例化类 体现对象构造和析构的顺序 还要有函数重载 指针 指针悬挂 无参...
仅仅是一个讨论使用的样例程序,详细内容参考:http://blog.csdn.net/magictong/article/details/22202393
C++的多重继承功能较广,Java的interface功能只是其中的一个子集。因为C++的虚拟函数可以有纯虚拟函数,也可有非纯虚拟函数,而Java只有抽象函数,所以功能模式少一种,自然能达到的效果较少一些。 但这并不代表Java...
1.为什么要引入虚拟继承虚拟继承是多重继承中特有的概念。虚拟基类是为解决多重继承而出现的。如:类D继承自类B1、B2,而类B1、B2都继承自类A,因此在类D中两次出现类A中的变量和函数。为了节省内存空间,可以将B1、...
3.理解多重派生中虚拟基类的作用; 实验内容: 1.理解下面的程序,并在VS下运行查看结果,回答程序后面的问题。 问题一:改正以上程序中存在的错误,并分析该程序的输出结果。 2.理解下面的程序,并在VS下运行...
我们从一开始就一直在利用C++的输入输出在做着各种练习,输入输出是由iostream库提供的,所以讨论此标准库是有必要的,它与C语言的stdio库不同,它从一开始就是用多重继承与虚拟继承实现的面向对象的层次结构,作为...
在多重继承中,可以构建一个继承关系图,其中相同的基类是多个派生类的一部分。下图显示了此类关系图。 单个基类的多个实例 在该图中,显示了 CollectibleString 和 CollectibleSortable 的组件的图形化表示形式。...
今天专门看了一下虚继承的东西,以前... 例如B1、B2 继承A 而C多重继承B1、B2 如果普通继承则C包含两份A的拷贝,分别来自于B1、B2 而虚拟继承则只包含一份A的拷贝 ————————————————————— 这个”
第13章 继承和组合 13.1组合语法 13.2继承语法 13.3构造函数的初始化表达式表 13.3.1成员对象初始化 13.3.2在初始化表达式表中的内置类型 13.4组合和继承的联合 13.4.1构造函数和析构函数的次序 13.4.2名字隐藏 ...
在多重继承之下,指向Member Functions的指针 “指向Member Functions之指针”的效率 4.5 Inline Functions 形式对数(Formal Arguments) 局部变量(Local Variables) 第5章 构造、解构、拷贝 语意学(Semantics ...
在多重继承之下,指向Member Functions的指针 “指向Member Functions之指针”的效率 4.5 Inline Functions 形式对数(Formal Arguments) 局部变量(Local Variables) 第5章 构造、解构、拷贝 语意学(Semantics ...
在多重继承之下,指向Member Functions的指针 “指向Member Functions之指针”的效率 4.5 Inline Functions 形式对数(Formal Arguments) 局部变量(Local Variables) 第5章 构造、解构、拷贝 语意学(Semantics ...
精炼JS强大而灵活的生成器对象,具有继承的可能性这个迷你库添加/扩展了 JavaScript 中对象的可能性,或者更... 虚拟继承多重继承的选项之一,虽然更类似于mixin。 不是库的重要组成部分,此功能很快就会实现完整性(简
我们从一开始就一直在利用C++的输入输出在做着各种练习,输入输出是由iostream库提供的,所以讨论此标准库是有必要的,它与C语言的stdio库不同,它从一开始就是用多重继承与虚拟继承实现的面向对象的层次结构,作为...
2 多重继承 3 虚拟继承 1 单一继承 (1)派生类完全拥有基类的内存布局,并保证其完整性。 派生类可以看作是完整的基类的Object再加上派生类自己的Object。如果基类中没有虚成员函数,那么派生类与具有相同功能...