## 一.子類型
### 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 * 其他設施