结论:
"public继承"意味is-a。适用于base class身上的每一件事情一定也适用与derived class身上,因为每一个derived class对象也都是一个base class对象。
public继承意味着“is-a”关系。它的意思是:如果B以public形式继承自A,那么B类型对象肯定是一个A对象,反之不成立。A是B的一种抽象,B是A的特例。任何使用A的地方,都能使用B。
public继承意味着“is a”(是一种)关系:
(1)任何一个继承类对象也是一个基类对象;
(2)任何可以出现基类对象的地方也可以出现一个继承类对象(例如函数的实参);
(3)任何一个可以在基类对象上所做的操作,同样也可以在派生类上操作(结果可能是设计者想要的,也可能是不想要的):“可以”是指编译器不报错,但是如果它违反了设计者的意愿,应当采用“让编译器报错”的方式来显示错误,这比“运行时报错”要好。
class Person {...};
class Student: public Person {...};
C++领域,任何函数如果期望获得一个类型为Person(或Person的指针或引用)的实参,都也愿意接受一个Student对象(或Student对象的指针或引用):
void (const Person & p); //任何人都会吃
void study(const Student& s); //只有学生会在校学习
Person p;
Student s;
eat(p); //没问题,所有人都可以吃
eat(s); //没问题,学生是人,可以吃饭
study(s); //没问题,学生在校学习
study(p); //错误,p不是学生
但是下面的例子就不适合用public继承,因为它不是Is-a关系:
企鹅是一种鸟,这是事实;鸟可以飞,这也是事实。但是企鹅不会飞。那么:
class Bird {
public:
virtual void fly(); //鸟可以飞
};
class Penguin: public Bird { //企鹅是一种鸟
...
};
那么,当Penguin类继承了Bird,是否就意味这企鹅可以继承fly函数,这显然错误。
关于penguin和bird类之间的关系修改以及存在问题参考文章:条款32:确定你的public继承塑模出is-a关系