22、Swift 类型系统全面解析

Swift 类型系统全面解析

1. Swift 类型概述

在 Swift 中，存在两种类型：命名类型和复合类型。

1.1 命名类型

命名类型是在定义时可以赋予特定名称的类型，包括类、结构体、枚举和协议。例如，自定义类 MyClass 的实例具有 MyClass 类型。除了自定义命名类型，Swift 标准库还定义了许多常用的命名类型，如表示数组、字典和可选值的类型。通常在其他语言中被视为基本或原始的数据类型，如表示数字、字符和字符串的类型，实际上也是使用结构体在 Swift 标准库中定义和实现的命名类型。由于它们是命名类型，你可以使用扩展声明来扩展其行为以满足程序的需求。

1.2 复合类型

复合类型是 Swift 语言本身定义的无名称类型，有两种：函数类型和元组类型。复合类型可以包含命名类型和其他复合类型。例如，元组类型 (Int, (Int, Int)) 包含两个元素：第一个是命名类型 Int ，第二个是另一个复合类型 (Int, Int) 。在命名类型或复合类型周围添加括号不会产生任何影响，例如 (Int) 等同于 Int 。

2. 类型语法

以下是 Swift 中类型的语法规则：

type  → 
function-type
type  → 
array-type
type  → 
dicti