多重继承和虚拟继承

面向对象编程语言中的多重继承指的是一个类别可以同时从多于一个父类继承行为与特征的功能。与单一继承相对,单一继承指一个类别只可以继承自一个父类。

重温Java,发现Java竟然不支持类多重继承(直接继承类),却允许接口的多重继承。C++中类可以多重继承,Java中为什么不实现这个功能呢?多重继承会带来哪些问题,从而导致Java放弃类的多重继承

再一深究,发现多年以来,多重继承一直是个敏感话题,赞成者看到的是免去笨拙的混合继承的利处,反对者看到的是多处混淆的弊端,例如变量的二义性,并且是多个变量。所以关于它的好处与风险之间孰轻孰重成为OO界多年争论的焦点。

其实最大的问题是出现拓补图,也就是出现钻石型继承结构(DOD),个人感觉这是个致命伤。正如其名:Diamond of Death。

举个简单的例子:

比如一个基类:动物。它有三个派生类:哺乳类动物,卡通类动物,宠物(确实都形成ISA关系)。现在有一个子类猫,从关系上推,它可以继承自哺乳类,卡通类,宠物,都符合ISA,如果要体现所有的特性,就需要全部继承,这样就形成了多重继承,却也形成了DOD,这样以后问题就出现了,从猫到动物的继承有三条路径,如果哺乳类,卡通类与宠物类中有相同的成员函数或变量,这样的数据组织方式会形成多义。

C++怎么解决这个问题的呢?虚继承。结果就是不得不牺牲一些内存开销,因为一个功能要在多处被重写。并且函数表里的函数指针必须调整,这样即使可以满足功能,在后期的维护也很复杂。

所以,Java才会采用这样折中的方法,硬生生的将类多重继承踢了出去。

并且,网上也有不少建议,要尽可能避免多重继承,不惜一切代价去避免钻石结构,以避免后期不可挽回的大返工。

多重继承的概念:C++允许为一个派生类指定多个基类,这样的继承结构被称做多重继承。

举个例子,交通工具类可以派生出汽车和船连个子类,但拥有汽车和船共同特性水陆两用汽车就必须继承来自汽车类与船类的共同属性。
由此我们不难想出如下的图例与代码:

clip_image001

当一个派生类要使用多重继承的时候,必须在派生类名和冒号之后列出所有基类的类名,并用逗号分隔。

//程序作者:管宁
//站点:www.cndev-lab.com   
//所有稿件均有版权,如要转载,请务必著名出处和作者
#include  
using namespace std; 
class Vehicle 

    public: 
        Vehicle(int weight = 0) 
        { 
            Vehicle::weight = weight; 
        } 
void SetWeight(int weight)
        { 
            cout<<"重新设置重量"<
            Vehicle::weight = weight; 
        } 
virtual void ShowMe() = 0; 
    protected: 
int weight;
}; 
class Car:public Vehicle//汽车

    public: 
        Car(int weight=0,int aird=0):Vehicle(weight) 
        { 
            Car::aird = aird; 
        } 
void ShowMe()
        { 
            cout<<"我是汽车!"<
        } 
    protected: 
int aird; 
};

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");  
}

上面的代码从表面看,看不出有明显的语发错误,但是它是不能够通过编译的。这有是为什么呢?
这是由于多重继承带来的继承的模糊性带来的问题。

先看如下的图示:

clip_image002

在图中深红色标记出来的地方正是主要问题所在,水陆两用汽车类继承了来自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  
using namespace std; 
class Vehicle 

    public: 
        Vehicle(int weight = 0) 
        { 
            Vehicle::weight = weight; 
            cout<<"载入Vehicle类构造函数"<
        } 
void SetWeight(int weight)
        { 
            cout<<"重新设置重量"<
            Vehicle::weight = weight; 
        } 
        virtual void ShowMe() = 0; 
    protected: 
int weight; 
}; 
class Car:virtual public Vehicle//汽车,这里是虚拟继承

    public: 
        Car(int weight=0,int aird=0):Vehicle(weight) 
        { 
            Car::aird = aird; 
            cout<<"载入Car类构造函数"<
        } 
void ShowMe()
        { 
            cout<<"我是汽车!"<
        } 
    protected: 
int aird; 
}; 
class Boat:virtual public Vehicle//船,这里是虚拟继承

    public: 
        Boat(int weight=0,float tonnage=0):Vehicle(weight) 
        { 
            Boat::tonnage = tonnage; 
            cout<<"载入Boat类构造函数"<
        } 
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) 
        //多重继承要注意调用基类构造函数
        { 
            cout<<"载入AmphibianCar类构造函数"<
        } 
void ShowMe()
        { 
            cout<<"我是水陆两用汽车!"<
        } 
void ShowMembers() 
        { 
            cout<<"重量:"< <<"吨,"

                <<"空气排量:"< <<"CC,"

                <<"排水量:"< <<"吨"<
        } 
}; 
int main() 

    AmphibianCar a(4,200,1.35f); 
    a.ShowMe(); 
    a.ShowMembers(); 
    a.SetWeight(3); 
    a.ShowMembers(); 
    system("pause");  
}

注意观察类构造函数的构造顺序。
虽然说虚拟继承与虚函数有一定相似的地方,但读者务必要记住,他们之间是绝对没有任何联系的!

补充:

1、 当一个类有多个父类时,每个父类在内存中依次排列,然后该类自己的成员。
2、 每一个父类的镜像中,都包含有独立的虚函数表
3、 当把子类的指针Upcast的时候,两种Upcast的方式得到的结果分别指向各自的父类镜像
4、 当两个父类重载的虚函数不同时,会使用Thunk机制,也就是说,虚函数表中的函数指针并不指向实际的虚函数,而是指向一小段代码。在这一小段代码中,会修改This指针(ECX寄存器),使之指向合适的父类镜像,然后再跳转到实际的虚函数体。
5、 当不使用虚继承时,共同基类的成员对象,在子类中会有独立两分(从两个父类各自继承了一份)。
6、 当使用虚继承时,共同基类的成员对象也会在虚函数表中记录,访问它必须先查找虚函数表。

评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值