多继承与单继承实现代码复用

比如有一个Animal类，类中有一个函数attack()，现在要从Animal派生出另外两个子类Tiger和Lion类，起初可以这么设计：

class Animal {public:virtual void attack(){}};class Tiger:public Animal{public:virtual void attack();};class Lion:public Animal{public:virtual void attack();};

Animal类中attack()为空的缺省实现，表示什么也不做，因为我们不知道具体的行为应该是怎么样的。
现在要对Tiger和Lion类中各自的attack()函数重新定义。这时候发现对Lion类的实现和对Tiger类的实现存在很多的代码重复。于是我们可以复用Tiger类的代码：Lion类私有继承自Tiger类。重新设计成如下：

#include<iostream>using namespace std;class Animal {public:virtual void attack(){}};class Tiger:public Animal{public:virtual void attack(){bit();scretch();}protected:virtual void bit(){cout<<"tiger bit"<<endl;}virtual void scretch(){cout<<"tiger eat"<<endl;}};class Lion:public Animal,private Tiger{public:virtual void attack(){Tiger::attack();//复用Tiger类中的attack()}protected:virtual void bit(){cout<<"Lion bit"<<endl;}virtual void scretch(){cout<<"Lion scretch"<<endl;}};int main() {Tiger t;Lion l;t.attack();l.attack();}

当Lion类对象执行attack()函数时，它会执行Tiger中的attack()共同代码，接着执行我们重新定义的特定攻击行为bit()和scretch()。
这里使用继承来实现Tiger和Lion类的代码复用，然而它们的概念实际上并不是一个父类子类的关系，我们只是通过继承来复用它们的共同特点而已。

说明两个类有共同特点可以用另外一种方法，通过添加一个新类实现单继承而不是利用多继承(MI)：

#include<iostream>using namespace std;class Animal {public:virtual void attack(){}};class catType:public Animal{//引入新类 public:virtual void attack(){//Tiger和Lion的公共代码 bit();scretch();}protected:virtual void bit()=0;virtual void scretch()=0;};class Tiger:public catType{public://不用重新实现attack protected://制定特定的具体攻击方式 virtual void bit(){cout<<"tiger bit"<<endl;}virtual void scretch(){cout<<"tiger eat"<<endl;}};class Lion:public catType{public://不用重新实现attackprotected://制定特定的具体攻击方式 virtual void bit(){cout<<"Lion bit"<<endl;}virtual void scretch(){cout<<"Lion scretch"<<endl;}};int main() {Tiger t;Lion l;t.attack();l.attack();}

可以看出，引入一个新类后只涉及单继承，Tiger和Lion类只是制定了特定的bit和scretch函数，而对attack毫无改变的继承了。

两种实现方式的对比：

1，多继承不需要引入一个新类，但是存在奥卡姆剃刀问题（如果没有必要，就不要引入新的实体，提倡犀利的解决问题），现在这个实体就是继承关系，多继承比单继承要复杂。

2，单继承需要引入一个新类，但是层次更加清晰。