什么是子类型关系
在公有继承时,派生类对象可以作为基类型对象处理,派生类是基类的子类型。
如:
#include<iostream>
#include<Windows.h>
using namespace std;
class A {
public:
A() {}
void show() {
cout << "diaoyong_A" << endl;
}
~A(){}
};
class B: public A{
public:
B() {}
void show() {
cout << "diaoyong_B" << endl;
}
~B() {};
};
void weshow(A a) {
a.show();
}
int main() {
A a;
B b;
weshow(a);
weshow(b);
system("pause");
return 0;
}
答案:
在weshow函数中,参数需要一个A类型的,但是主函数传递的是A的子类型B。这就是子类型关系,调用的函数也为基类的函数。
子类型函数的作用
在需要基类对象是,可以用公有派生类对象来代替。
(即:形参为基类对象时,实参可以是派生类对象)
公有派生的应用
1、基类的指针指向这个类的子类型对象。
son wangsicong;
father *wangjianlin=&wangsicong;
2、子类型对象可以初始化基类的引用
son wangsicong;
father &wangjianlin=wangsicong;
3、公有派生类对象可以赋值给基类对象
son wangsicong;
father wangjianlin=wangsicong;
注:以上的应用反过来会失败。
子类型关系具有单项传递性
子类的子类可以一样赋值给基类,也是基类的子类型。
注意:必须是公有继承