Swift 语言速查表 on 编程那些事儿

01 起步与运行方式

Wed, 16 Sep 2026 11:00:00 +0800

01 起步与运行方式

一段代码的五种跑法

Swift 不像脚本语言只有一种执行方式，也不像编译型语言动不动就要建工程。同一个 print，下面五种跑法都成立，选哪种取决于你此刻想干什么。

02 语言主干

Wed, 16 Sep 2026 11:00:00 +0800

02 语言主干

常量与变量

1
2
3
4
5
6
7


let pi = 3.14159 // 常量，赋值一次就锁死
var count = 0 // 变量，可以再改
count += 1

let explicit: Double = 1 // 显式类型注解
let a = 1, b = 2, c = 3 // 一行声明多个
var x = 0, y = 0

🔥 默认写 let，编译器报"变量从未被修改"时再改成 var。 编译器给出的这条警告是在帮你，不是在烦你。

03 类型与字符串

Wed, 16 Sep 2026 11:00:00 +0800

03 类型与字符串

数值类型全景

类型	位数	范围 / 精度
`Int` / `UInt`	平台字长（64 位平台上 64 位）	`Int` 是默认整数类型，能用就用它
`Int8` `Int16` `Int32` `Int64`	8 / 16 / 32 / 64	有符号，与 C 的 `int8_t` 等一一对应
`UInt8` `UInt16` `UInt32` `UInt64`	同上	无符号，处理二进制协议时用
`Float16`	16	精度约 3 位十进制；只有 Apple 芯片（arm64）可用，Intel Mac 上是 unavailable 🆕
`Float`	32	精度约 6 位十进制
`Double`	64	精度约 15 位十进制，浮点默认类型

1
2
3
4


print(Int8.max, Int8.min, UInt8.max)
// prints: 127 -128 255
print(Int.max)
// prints: 9223372036854775807

⚠️ UInt 并不是"更安全的 Int"。它只是不给你负数：UInt(0) - 1 不会变成 -1，而是当场崩溃。真要用环绕写法，&- 会送你一个看起来非常体面的巨大正数，bug 就从这里开始：

04 集合与序列

Wed, 16 Sep 2026 11:00:00 +0800

04 集合与序列

三种集合，先看怎么选

	`Array`	`Dictionary`	`Set`
顺序	保持插入顺序	不保证任何顺序	不保证任何顺序
查找	按索引 O(1)，按值 O(n)	按键 O(1)	按值 O(1)
元素要求	无	键必须 `Hashable`	元素必须 `Hashable`
典型场景	有序列表、频繁按下标访问	键值映射、查表	去重、成员判断、集合运算
字面量	`[1, 2, 3]`	`["a": 1]`	`Set([1, 2])`

💭 拿不定主意时先写 Array。等出现"我要判重"或"按 key 查"的需求，再换成 Set 或 Dictionary——它们都是值类型，换起来不伤筋动骨。

05 函数与闭包

Wed, 16 Sep 2026 11:00:00 +0800

05 函数与闭包

函数声明的解剖

1
2
3
4
5
6
7
8
9


func greet(_ name: String, from city: String = "北京", times: Int = 1) -> String {
 Array(repeating: "你好，\(name)（来自 \(city)）", count: times).joined(separator: "\n")
}

print(greet("Swift"))
// prints: 你好，Swift（来自 北京）
print(greet("Kotlin", from: "上海", times: 2))
// prints: 你好，Kotlin（来自 上海）
// 你好，Kotlin（来自 上海）

读法要按这个顺序：

06 可选值

Wed, 16 Sep 2026 11:00:00 +0800

06 可选值

它到底是什么

Optional 不是什么特殊关键字，它就是一个普通的枚举：

1
2
3
4


enum Optional<Wrapped> {
 case none // 也就是 nil
 case some(Wrapped) // 有值
}

于是三件事一次性成立：Int? 就是 Optional<Int>；nil 就是 .none；所有能作用在枚举上的手段（模式匹配、switch、map）都能用在可选值上。

07 自定义类型

Wed, 16 Sep 2026 11:00:00 +0800

07 自定义类型

四种类型，先看怎么选

	`struct`	`class`	`enum`	`actor`
语义	值	引用	值	引用
继承	❌	✅	❌	❌
能表示"多选一"	❌	❌	✅	❌
并发安全	天然（值不共享）	需要自己保证	天然	由 actor 隔离保证
定义 `deinit`	❌	✅	❌	✅
默认选择	🔥 首选	需要共享状态时才用	需要穷尽分支时用	需要可变共享状态时

💭 这是 Swift 里最重要的一张表。默认写 struct；需要继承或身份标识（两个对象是不是同一个）时才换 class；需要"这些情况互斥"时用 enum；需要并发下安全地共享可变状态时用 actor。

08 协议与泛型

Wed, 16 Sep 2026 11:00:00 +0800

08 协议与泛型

协议：一份能力清单

协议只描述"能做什么"，不描述"是什么"。任何类型——结构体、类、枚举、actor——都能遵守协议。

09 错误处理与并发

Wed, 16 Sep 2026 11:00:00 +0800

09 错误处理与并发

错误处理

Swift 用 throws 表示"这个函数可能失败"，用 try 表示"我知道它可能失败"。这比异常好查，比返回码好读。

10 内存与值语义

Wed, 16 Sep 2026 11:00:00 +0800

10 内存与值语义

赋值的时候到底发生了什么

这个问题决定了 Swift 里 90% 的意外行为。

	值类型（`struct` `enum` 集合基本类型）	引用类型（`class` `actor` 闭包）
赋值	逻辑上复制一份	复制一个指针
传参	逻辑上复制一份	传指针
放进数组	逻辑上复制一份	传指针
改一个会影响另一个吗	❌	✅
内存布局	通常内联在容器里	堆上一个独立对象

1
2
3
4
5
6
7
8


struct Score { var value: Int }

var a = Score(value: 1)
var b = a
b.value = 99

print(a.value, b.value)
// prints: 1 99

两个变量各有一份数据。函数参数同理：

11 标准库速查

Wed, 16 Sep 2026 11:00:00 +0800

11 标准库速查

协议全景

标准库的力量主要来自协议。看到某个类型能做什么，基本就是看它遵守了哪些协议。

协议	一句话	遵守后得到
`Equatable`	能比较相等	`==` `!=`
`Hashable`	能放进集合	`Set` `Dictionary` 的键、`hash(into:)`
`Comparable`	能排序	`<` `<=` `>` `>=`、`sorted()`
`Identifiable`	有稳定身份	SwiftUI 列表用得上
`Codable`	能编解码	`JSONEncoder` / `JSONDecoder` 🔥
`Sequence`	能遍历	`for-in`、`map` `filter` `reduce`
`Collection`	能下标访问	`count`、`indices`、可重复遍历
`BidirectionalCollection`	能反向走	`reversed()`
`RandomAccessCollection`	下标 O(1)	`Array`、随机访问算法
`CustomStringConvertible`	能自定义打印	`description`
`LosslessStringConvertible`	能从字符串无损还原	`init?(_:)` 与 `description` 一对
`CaseIterable`	枚举能列全	`allCases`
`RawRepresentable`	有原始值	`init?(rawValue:)`、`rawValue`
`ExpressibleBy*Literal`	能用字面量写	`let x: MyType = 1`
`Sendable`	能跨并发域传	见 09 错误处理与并发
`AsyncSequence`	能 `for await`	异步数据流
`IteratorProtocol`	能一步步取值	`next()`，`Sequence` 的底层
`AdditiveArithmetic`	只能加、只能减	`+` `-`（向量、时长这类类型的最小数学要求）
`Numeric`	加上乘法	`*`、`isMultiple(of:)`
`SignedNumeric`	再带上正负	一元 `-`、`negate()`
`BinaryInteger`	整数家族	`/%`、位运算、`String(x, radix:)`
`FixedWidthInteger`	定长整数	`&+`、`bitWidth`、`byteSwapped`、溢出报告
`FloatingPoint`	浮点家族	`isNaN`、`rounded()`、`nextUp`
`Strideable`	能按步长走	`stride(from:to:by:)`、`advanced(by:)`
`OptionSet`	位掩码选项集合	`contains`、`union`、`[.a, .b]` 写法
`Error`	能当错误抛	`throw` / `catch`，见 09 章
`CustomDebugStringConvertible`	自定义 `debugPrint` 输出	`debugDescription`

🔥 大多数协议的实现编译器能自动合成，前提是所有存储属性也满足条件。Equatable、Hashable、Codable、CaseIterable 都属于这一类，手写只是在有特殊需求时才需要。

12 语法糖与简写对照

Wed, 16 Sep 2026 11:00:00 +0800

12 语法糖与简写对照

Swift 的简写规则很多，而且大都只能省、不能加——你要读懂别人写的简写，也要知道自己的简写能被还原成什么。这一页全部用"完整写法 / 简写"并排的方式呈现。

13 工具链与工程

Wed, 16 Sep 2026 11:00:00 +0800

13 工具链与工程

命令行速查

命令	作用
`swift --version`	看工具链版本
`swift file.swift`	直接解释执行一个文件
`swift -e 'print(1)'`	执行一行代码
`swift repl`	交互式环境 🔥
`swiftc file.swift -o app`	编译成可执行文件
`swiftc -typecheck file.swift`	只做类型检查，最快 ✨
`swiftc -O file.swift -o app`	优化构建
`swift build`	构建 SwiftPM 包
`swift build -c release`	发布配置构建
`swift run`	构建并运行可执行产品
`swift test`	跑测试
`swift test --filter Name`	只跑匹配的测试
`swift package init --type executable`	新建可执行包
`swift package resolve`	解析依赖并写入 `Package.resolved`
`swift package update`	把依赖更新到允许的最新版
`swift package describe`	打印包的目录与目标结构
`swift package dump-package`	以 JSON 打印解析后的清单，排查配置问题很好用
`swift package show-dependencies`	打印依赖树，看清每个依赖是从哪来的
`swift package dump-symbol-graph`	导出模块的 API 符号图，文档工具用得上 🝖
`swift package add-dependency <url>`	直接用命令改清单加依赖，不用手写 `.package(...)` 🆕
`swift package add-target <名字>`	加一个目标（还有 `add-product`、`add-setting`）
`swift package tools-version --set 6.2`	改清单里的 `swift-tools-version`
`swift package archive-source`	打包源码 zip，发布或存档用
`swift package compute-checksum <文件>`	算二进制依赖的校验和
`swift package clean`	清掉构建产物
`swift package reset`	连缓存一起清，构建"玄学问题"的最后一招
`swift demangle`	把 `$s4main3fooyyF` 这类符号名还原成 `main.foo() -> ()`，读崩溃日志用 🔥
`swift format`	官方格式化/风格检查工具，已随工具链提供，见下

透传编译参数

SwiftPM 自己不认识的参数，用 -X 前缀透传给下一层：

14 类型转换与互操作

Wed, 16 Sep 2026 11:00:00 +0800

14 类型转换与互操作

四种写法，先分清谁是谁

写法	名字	干什么	失败时
`x is T`	类型检查	问一句"它是不是 `T`"	不会失败，给个 `Bool`
`x as? T`	条件转换	是就转，不是就算了	给 `T?`，没转成就是 `nil`
`x as! T`	强制转换	我确定它是	崩
`x as T`	向上转型 / 桥接 / 字面量标注	编译期就成立的事	编译期直接报错

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16


let things: [Any] = [1, "two", 3.0, true]

for thing in things {
 if let number = thing as? Int {
 print("整数", number)
 } else if thing is String {
 print("字符串")
 } else {
 print("其他", type(of: thing))
 }
}
// prints:
// 整数 1
// 字符串
// 其他 Double
// 其他 Bool

🔥 is 和 as? 的区别只有一条：你要不要那个转好的值。只要判断就用 is，要拿来用就用 as?。

15 宏与调试

Wed, 16 Sep 2026 11:00:00 +0800

15 宏与调试

宏：编译期帮你写代码

宏不是运行期的魔法，它是编译器在编译你的代码时，调用另一段代码生成源代码。所以它有几个和函数完全不同的性质：

宏在编译期展开，运行期没有任何额外开销；
宏的声明和实现是分开的：声明告诉编译器"这个宏叫什么、能长在哪里"，实现在一个单独的编译期插件里；
宏只能"生成代码"，不能"猜"运行期的值——#stringify(a + b) 能拿到 "a + b" 这段源码，但拿不到 a + b 的值。

两种形态

形态	长这样	名字风格	例子
自由宏（freestanding）	`#名字(...)`	小驼峰	`#stringify(x)`、`#function`、`#warning("...")`
附加宏（attached）	`@名字`	大驼峰	`@Observable`、`@Test`、`@DebugDescription`

⚠️ 别把老教程里的 @OptionSet 照抄过来：它已经从标准库里移除了，现在写会报 unknown attribute 'OptionSet'。它如今只是 swift-syntax 仓库里的一个示例宏。想要位掩码，老老实实手写 struct X: OptionSet（见 11 标准库）。

16 血泪速查：最容易写错的地方

Sun, 20 Sep 2026 10:30:00 +0800

16 血泪速查：最容易写错的地方

前面 15 章是按知识结构组织的，这一章按症状组织——你遇到了怪事，来这里对号入座。

每一条都严格写成三行：

你会怎么写：看起来完全合理、甚至别的语言里就是对的写法。
实际发生什么：编译器/运行期真的做了什么（不是"理论上可能"）。
正确写法：照抄就能过。

⚠️ 本章所有"实际发生什么"都是在 Swift 6.4、-swift-version 6 下真跑出来的，包括崩溃信息和退出码。看到 rc=133 就是进程被 SIGTRAP 干掉——Swift 的 Fatal error 家族统一是这个退出码。