C++程序员应了解的那些事(40)子类型关系 ≠ 子类
程序员文章站
2022-07-12 22:48:25
...
子类型关系定义:有一个特定的类型S,当且仅当它提供类型T的行为时,称类型S是类型T的子类型。公有继承方式可以实现子类型关系,即派生类S是基类T的子类型。
公有继承时,派生类的对象可以作为基类的对象处理,派生类是基类的子类型。
子类型关系使得在需要基类对象的任何地方都可以使用公有派生类的对象来替代,从而可以使用相同的函数统一处理基类对象和公有派生类对象(形参为基类对象时,实参可以是派生类对象),大大提高了程序的效率。子类型关系是实现多态性的重要基础之一。
示例:
class base
{
public:
void print()const{cout<<"base::print()"<<endl;}
};
class derived:public base
{
public:
void fun();
}
派生类derived从基类base公有继承。因此类derived是类base的一个子类型,类derived具备类base中的操作,或者说类base中的操作可以被用于操作类derived的对象。
注:子类型关系具有传递性。子类型关系可以传递,但是不可逆。
公有继承可以实现子类型关系。通过公有继承,派生类得到了基类中除了构造函数、析构函数之外的所有成员,而且可访问成员的访问控制属性也和基类完全相同,这样派生类对象就可以作为基类的对象使用。
具有子类型关系的基类和派生类的对象之间满足如下赋值兼容规则:
(1)公有派生类的对象可以赋值给基类的对象,即用公有派生类对象中从基类继承来的成员,逐个赋值给基类对象的成员。
例: derived d;
base b;
b=d;
(2)公有派生类的对象可以初始化基类的引用。
例: derived d;
base &ref=d;
(3)公有派生类的对象的地址可以赋值给指向基类的指针。
例: derived d;
base *ptr=&d;
推荐阅读
-
程序员应了解的那些事(16)C语言中利用setjmp和longjmp做异常处理 / 不要在C++中使用setjmp和longjmp
-
C++程序员应了解的那些事(64)~ 指向 Data Member 的指针 <成员指针>
-
C++程序员应了解的那些事(68)非类型模板参数
-
C++程序员应了解的那些事(47)函数之 传入传出参数 / 默认参数
-
C++程序员应了解的那些事(36)Effective STL第6条:当心C++编译器中最烦人的分析机制 --- 调用构造函数被误认为是函数声明的问题
-
C++程序员应了解的那些事(63)STL内建函数对象、仿函数
-
C++程序员应了解的那些事(62)~ list::splice()函数详解
-
C++程序员应了解的那些事(94)之STL容器内存释放问题
-
C++程序员应了解的那些事(99)之 C++中的ODR法则
-
C++程序员应了解的那些事(18)C++11 通过key访问map容器:下标访问、at()、find、lower_bound&upper_bound、equal_range