比如有一个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();
};
现在要对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:
//不用重新实现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();
}
可以看出,引入一个新类后只涉及单继承,Tiger和Lion类只是制定了特定的bit和scretch函数,而对attack毫无改变的继承了。
两种实现方式的对比:
1,多继承不需要引入一个新类,但是存在奥卡姆剃刀问题(如果没有必要,就不要引入新的实体,提倡犀利的解决问题),现在这个实体就是继承关系,多继承比单继承要复杂。
2,单继承需要引入一个新类,但是层次更加清晰。