浅谈多重继承-蒲公英云

浅谈多重继承

继承是c++的一大特性，然而有时候继承能让人看的眼花缭乱，那么今天我们就来谈谈多重继承（Multiple Inheritance）。
MI描述的是有多个直接基类的类，比如有一个基类Worker，这时有两个不同的类Waiter和Singer在这个类的基础上派生出去。代码说话：

class Worker
{
    std::string name;
    int id;
public:
    void Set();//设置数据成员的函数
    void Show();//输出函数
    virtual ~Worker();
};
class Waiter :public Worker
{
    int ap;//Waiter独有的数据成员，appearance的缩写0.0
public:
    void Set();
    void Show()
};
class Singer :public Worker
{
    int rating;//Singer独有的数据成员
public:
    void Set();
    void Show();
};

似乎这样子没什么问题。但是如果这时候又有一个类SingingWaiter从Waiter和Singer上派生出去，也就是

class SingingWaiter :public Singer, public Waiter//会唱歌的服务员0.0
//注意这里两个前面都要加上public，否则会默认没加的那个是private继承
{
public:
    void Set();
    void Show();
};

那么问题来了，SingingWaiter中有几个Waiter组件呢？答案是两个。因为它从Waiter类中继承了一个Worker组件，又从Singer类中继承了一个Worker组件。也许有人会问：为什么要继承两个Worker组件，这样有什么用？c++标准难道不能把这种情况定义成只需要继承一个Worker组件吗？这个待会再讲。
其实c++提供了一种解决这种问题的方法：使用虚继承。
虚继承使得从多个基类相同的类中派生出来的对象只继承一个基类的对象。如：

class Waiter :virtual public Worker
{
    int ap;
public:
    void Set();
    void Show()
};
class Singer :public virtual Worker//和virtual public Worker没什么区别
{
    int rating;
public:
    void Set();
    void Show();
};

这样SingingWaiter就只包含一个Worker的组件。
现在再来看为什么c++标准不是按照你想象中的那样来定义这种多重继承，而是要用virtual方法。因为：1.有时可能确实需要基类的多个拷贝；2.将基类作为虚基要求程序完成一些额外的计算，倒不如在需要的时候使用virtual；
但是！即使有了虚继承这一特性，这儿还是有一些小问题。假设原来SingingWaiter成员函数的实现是这样的：

void SingingWaiter::Set()
{
    Waiter::Set();
    Singer::Set();
}

而Waiter和Singer的Set函数是

void Singer::Set()
{
    Worker::Set();
    cin >> rating;
}
void Waiter::Set()
{
    Worker::Set();
    cin >> ap;
}

发现没，我们要调用两次Worker::Set()！
因此，我们要改变SingingWaiter中的Set的策略：使SingingWaiter中的Set函数成为多个组件的集合体，也就是说，在这个集合体中，抽出Worker的Set函数，同时添加上Singer和Waiter的Get函数，Get函数中获取的是他们特有的成员，而不包含共有的成员。

再补充几点：
1.如果使用了虚继承，就不能使用下面这种构造函数：

SingingWaiter(const Worker & wk,int r,int a):Waiter(wk,a),Singer(wk,r){}

原因是这里通过两条路径来将wk传给Worker组件，为了避免这种冲突，c++在是虚的情况下，禁止通过中间类的方式传给基类。
正确的方法是

SingingWaiter(const Worker & wk,int r,int a):Worker(wk),Waiter(wk),Singer(wk,r){}

“`

2.继承有优先性
比如：如果Worker中有一个print函数，Singer中也有一个print函数，那么如果SingingWaiter中如果没有定义print函数的话，调用print时调用的是Singer中的print，而不是Worker中的；但是Singer和Waiter如果同时有print函数，就会产生二义性。