## 一.子类型
### 1.子类型的概念
当该类型 `B` 至少提供了类型 `A` 的行为,就称类型 `B` 是类型 `A` 的子类型。此时,类型 `B` 的对象可以像类型 `A` 的对象那样被使用。
子类型是单向的、不可逆的。
### 2.子类型常用操作
1. 可以用 `B` 来初始化 `A` 的引用。
2. 可以用 `B` 的地址来初始化指向 `A` 的指针。
3. `B` 可以向 `A` 赋值,也可以初始化 `A` 。
### 3.继承关系中的子类型
假设有类 `B` 继承 `A`,则:
+ 不论 `B` 以什么方式继承 `A` , 在 `B` 的成员函数和友元中,可以将 `B` 当做 `A` 使用。
+ 当 `B` 以公有或受保护的方式继承 `A` , 在 `B` 的派生类 `C` 中, `C` 的成员函数和友元可以将 `B` 当做 `A` 使用。
+ 当 `B` 以公有的方式继承 `A`,则可以在任意地方中, `B` 可以当做 `A` 使用。
从上面的几种情况中可以看出,这种 `B->A` 关系的访问权限与继承关系是一致的,而且会像成员一样继承下去。
只有公有派生类才是基类真正的 **子类型** ,它完整地继承了基类的功能。
需要注意的是,将派生类传递给基类的引用后,引用的地址不是派生类对象的地址,而是派生类对象中,基类部分的地址。指针同理。
#### 例1
假设有下面的定义声明:
```c++
struct A1
{
int x_;
A1(int x = 1) :x_(x) {}
};
struct A2
{
int x_;
A2(int x = 2) :x_(x) {}
};
struct A3
{
int x_;
A3(int x = 3) :x_(x) {}
};
struct B : public A1, public A2, public A3 {
int y_;
};
```
然后我们定义一个对象和一个引用:
```c++
B b;
A2 &r = b;
```
接下来我们对这两个变量取地址:
```c++
cout<<&r<<endl;
cout<<&b<<endl;
```
>[test]
>0019FF24
>0019FF20
定义成指针也是一样的:
```c++
B b;
A2 *p = &b;
cout<<p<<endl;
cout<<&b<<endl;
```
>[test]
>0019FF24
>0019FF20
- 阅读说明
- 1.1 概述
- C++基础
- 1.2 变量与常量
- 1.2.1 变量
- 1.2.2 字面值常量
- 字符型常量
- 数值型常量
- 1.2.3 cv限定符
- 1.3 作用域
- 1.3.1 标识符
- 1.3.2 *命名空间
- 1.3.3 作用域
- 1.3.4 可见性
- 1.4 数据类型
- 1.4.1 概述
- 1.4.2 处理类型
- 类型别名
- * auto说明符
- * decltype说明符
- 1.4.3 数组
- 1.4.4 指针
- 1.4.5 引用
- 1.5 表达式
- 1.5.1 概述
- 1.5.2 值的类别
- 1.5.3 *初始化
- 1.5.4 运算符
- 算术运算符
- 逻辑和关系运算符
- 赋值运算符
- 递增递减运算符
- 成员访问运算符
- 位运算符
- 其他运算符
- 1.5.5 *常量表达式
- 1.5.6 类型转换
- 第2章 面向过程编程
- 2.1 流程语句
- 2.1.1 条件语句
- 2.1.2 循环语句
- 2.1.3 跳转语句
- 2.1.4 *异常处理
- 2.2 函数
- 2.2.1 概述
- 2.2.2 函数参数
- 2.2.3 内置函数
- 2.2.4 函数重载
- 2.2.5 * 匿名函数
- 2.3 存储和生命期
- 2.3.1 生命周期与存储区域
- 2.3.2 动态内存
- 2.4 *预处理命令
- 第3章 面向对象编程
- 3.1 概述
- 3.2 类和对象
- 3.3 成员
- 3.3.1 访问限制
- 3.3.2 常成员
- 3.3.3 静态成员
- 3.3.4 成员指针
- 3.3.5 this指针
- 3.4 特殊的成员函数
- 3.4.1 概述
- 3.4.2 构造函数
- 3.4.3 析构函数
- 3.4.4 拷贝语义
- 3.4.5 * 移动语义
- 3.5 友元
- 3.6 运算符重载与类型转换
- 3.6.1 概述
- 3.6.2 重载方法
- 3.6.3 类型转换
- 3.7 继承与多态性
- 3.7.1 概述
- 3.7.2 派生类
- 3.7.3 子类型
- 3.7.4 虚基类
- 3.7.5 虚函数
- 3.7.6 抽象类
- 3.8 模板与泛型
- 3.8.1 概述
- 3.8.2 模板类型
- 3.8.3 *模板参数
- 3.8.4 *模板编译
- 3.8.5 *模板推断
- 3.8.6 *实例化与特例化
- 第4章 C++标准库
- 4.1 概述
- 4.2 输入输出流
- 4.2.1 概述
- 4.2.2 *流的状态
- 4.2.3 *常用流
- 4.2.4 *格式化I/O
- 4.2.5 *低级I/O
- 4.2.6 *随机访问
- 4.3 *C输入输出
- 4.3.1 *字符输入输出
- 4.3.2 *格式化输入输出
- 4.4 * 容器
- 4.4.1 * 概述
- 4.4.2 * 基本操作
- 4.4.3 * 顺序容器
- 4.4.4 * 迭代器
- 4.4.5 * 容器适配器
- 4.5 * 泛型算法
- 4.6 * 内存管理
- 4.6.1 * 自动指针
- 4.7 * 其他设施