在公有继承的时候,派生类的对象可以作为基类的对象进行处理,派生类是基类的子类型
子类型关系作用:
子类型关系使得在任何需要基类对象的地方都可以使用共有派生类的对象进行代替,从而可以使用相同的函数统一处理基类对象和派生类对象,可以提高程序的效率,是实现多态的重要基础之一
class base//声明基类
{
public:
void print(){cout<<"我是基类中的成员函数"}//基类成员函数
};
class derived:public base//派生类共有继承自基类
{
void print(){cout<<"我是派生类的成员函数"}//派生类成员函数
}
void fun(base &p)//函数参数为基类的引用
{
p.print();//引用调用基类中的成员函数print()
}
int main()
{
derived dd;//声明派生类对象
fun(dd);//fun()函数参数为基类的对象,但是也可以是派生类的对象,这才是子类型的重点
//任何需要基类对象的地方都可以使用派生类对象进行替代
return 0;
}
结果输出:
“我是基类中的成员函数”
具有子类型关系的积累和派生类对象之间满足以下赋值兼容规则:
1)公有派生类的对象可以赋值给基类的对象
derived dd;
base bb;
bb=dd;
2)公有派生类的对象可以初始化为基类的引用
derived dd;
base &bb=dd;
3)公有派生类的对象的地址可以赋值给指向基类的指针
base *p;
derived dd;
p=ⅆ