7、Swift 编程中的类型与类型转换深度解析

Swift 编程中的类型与类型转换深度解析

1. 类型概述

在 Swift 编程中，类型的概念至关重要。函数式编程（FP）运用了范畴论和类型论的概念，这使得 FP 与数学更为接近。从理论上讲，范畴包含以下内容：
- 一组对象（在 Swift 中为类型）
- 一组态射，每个态射将两个对象联系起来（在 Swift 中为函数）
- 态射的组合概念（在 Swift 中为函数组合）

类型可以通过四种不同方式进行分类：
| 分类方式 | 说明 | 示例 |
| ---- | ---- | ---- |
| 命名类型与复合类型 | 可在定义时命名的类型为命名类型；函数类型和元组类型属于复合类型，复合类型可包含命名类型和其他复合类型 | 命名类型： OurClass ；复合类型： (String, (Double, Double)) |
| 和类型与积类型 | 元组和结构体是积类型（AND 类型）；枚举是和类型（OR 类型） | 积类型：创建 User 实体需要 name 和 age 属性；和类型：Web API 返回的 HTTP 状态码 |
| 抽象类型与具体类型 | 编译器在编译时能确定大小并可实例化的类型为具体类型；反之则为抽象类型，泛型和协议是抽象类型的例子 | 具体类型： String 、 Int 、 Double ；抽象类型：泛型、协议 |
| 值类型与引用类型 | 值类型实例保存其数据