Swift 面试源码系列 on Last Stand

Swift 面试：ARC 与内存管理源码解析

Tue, 16 Jun 2026 09:06:27 +0800

Swift 面试：ARC 与内存管理源码解析

Swift 面试里问 ARC，通常不是想听一句“自动引用计数”。真正要答清楚的是：对象头里有什么、strong / weak / unowned 到底差在哪里、编译器什么时候插入或消除 retain/release、为什么闭包会循环引用。

这篇文章按面试题展开。先给可以直接回答的版本，再把结论落到 Swift 源码里的对象布局、引用计数状态机和 SIL ARC 优化。

面试高频问题

Swift 的 ARC 和 Objective-C 的 ARC 有什么区别？
Swift 对象的引用计数存在哪里？
strong、weak、unowned 的底层差异是什么？
为什么 weak 在对象释放后会自动变成 nil？
为什么 unowned 访问已释放对象会崩溃？
闭包为什么容易造成循环引用？
编译器会如何优化 retain/release？
值类型是否完全不参与 ARC？
ARC 和 Copy-on-Write 有什么关系？

30 秒回答版

Swift ARC 是编译器和运行时共同完成的内存管理机制。

编译器在 SIL 阶段根据所有权语义插入 retain_value、release_value、strong_retain、strong_release 等引用计数指令，并通过 ARC 优化尽量消除冗余 retain/release。运行时负责真正维护对象的引用计数。

对原生 Swift 堆对象来说，对象头包含两部分：metadata 和 refCounts。源码里 HeapObject 的注释明确说 metadata 总是指向一个有效的 metadata 对象，refCounts 是 Swift heap object header 的非 Objective-C 成员。

Swift 面试：泛型、协议与派发源码解析

Tue, 16 Jun 2026 09:06:27 +0800

Swift 面试：泛型、协议与派发源码解析

Swift 面试里，泛型和协议经常不是单独问语法，而是连着问：Swift 中函数派发机制有哪几种？泛型是编译期还是运行期机制？协议调用为什么可能慢？some 和 any 为什么性能不同？Protocol Witness Table 到底是什么？

这篇文章按面试题展开，把答案落到 Swift 编译器里的 Generic Signature、Generic Specializer、SIL 调用指令、Protocol Witness Table、class vtable 和 Devirtualize 优化。

面试高频问题

Swift 中函数派发机制有哪几种？
直接派发、class vtable 派发、witness table 派发、Objective-C 消息派发分别适用于什么场景？
function_ref、class_method、witness_method、objc_method 在 SIL 里分别代表什么？
如何用 swiftc -emit-silgen / swiftc -emit-sil -O 观察派发指令？
dynamic / @objc dynamic 会怎样影响派发？
如何用代码对比泛型、some、any 的派发和性能差异？
Swift 泛型是运行时泛型还是编译期泛型？
Generic Signature 是什么？它保存哪些信息？
泛型特化为什么能提升性能？
Protocol Witness Table 是什么？
协议方法调用什么时候是静态派发，什么时候是动态派发？
some Protocol 和 any Protocol 的本质区别是什么？
final、private、具体类型为什么有利于优化？
协议扩展里的方法一定是动态派发吗？
class_method 和 witness_method 有什么区别？
面试里如何解释“Swift 既强调协议，又强调性能”？

30 秒回答版

Swift 函数派发面试不要只答“静态派发和动态派发”。更完整的分类是：直接派发、class vtable 派发、protocol witness table 派发、Objective-C 消息派发，再补充优化器可能把动态调用去虚拟化成直接调用。

Swift 面试：值语义、COW 与集合源码解析

Tue, 16 Jun 2026 09:06:27 +0800

Swift 面试：值语义、COW 与集合源码解析

Swift 的 Array、String、Dictionary 都表现为值类型，但它们不可能每次赋值都完整复制底层存储。面试官问值语义和 COW，真正想看的是你能不能说清楚：值语义是语言语义，COW 是性能实现；集合表面是 struct，底层经常共享引用存储；写入前靠唯一性检查决定是否复制。

这篇文章从面试题出发，把结论落到 Swift 标准库源码里的 Array buffer、String guts、Dictionary storage 和 isKnownUniquelyReferenced。

面试高频问题

Swift 的 struct 为什么常说是值语义？
Array 赋值时一定会复制底层元素吗？
Copy-on-Write 的触发条件是什么？
isKnownUniquelyReferenced 检查的到底是什么？
Array、ContiguousArray、ArrayBuffer、Storage 是什么关系？
String 为什么不能用整数下标随机访问？
String.Index 为什么不是一个简单的 Int？
Dictionary 也是 COW 吗？
ArraySlice 为什么可能持有原数组存储？
值类型里包含 class 引用，还算值语义吗？

30 秒回答版

Swift 的值语义是说：从语言使用者角度看，赋值、传参、修改不会意外影响另一个值。但这不等于底层每次都立即复制。

标准库集合通常用 Copy-on-Write 实现：多个值可以共享同一份堆上 buffer；只有当某个值要写入时，才检查底层 buffer 是否唯一引用。如果唯一，就原地修改；如果不唯一，就复制一份新 buffer 再修改。

所以：

值语义：用户看到的是独立值
COW：实现上先共享，写入前再判断是否复制
ARC：维护底层 buffer 的引用计数
isUnique：让 COW 判断能否原地修改

面试可以这样回答：

Swift 的 Array 是 struct，但它内部持有引用语义的 storage。赋值时通常只复制结构体里的引用；真正写入时通过唯一性检查决定是否复制底层 storage。这让 Array 同时具备值语义和接近引用共享的性能。

Swift 面试：并发、async/await 与 Actor 源码解析

Tue, 16 Jun 2026 09:06:27 +0800

Swift 面试：并发、async/await 与 Actor 源码解析

Swift Concurrency 面试经常从 async/await 问起，但真正的重点是：Task 是结构化并发的执行单元，await 是显式暂停点，Actor 通过隔离和串行执行器保护状态，Sendable 则约束跨并发边界传递的数据。

这篇文章按面试题展开，把结论落到 Swift 标准库和编译器源码里的 Actor、GlobalActor、MainActor、AsyncLet、TaskGroup、Sendable 和 ActorIsolation。

面试高频问题

async/await 和 GCD 的关系是什么？
await 到底表示线程阻塞还是任务暂停？
Task、async let、TaskGroup 有什么区别？
Actor 如何保证数据隔离？
MainActor 是什么，为什么 UI 更新要回到 MainActor？
GlobalActor 和普通 Actor 有什么区别？
Sendable 解决什么问题？
Task.detached 为什么要慎用？
Actor 之间调用为什么需要 await？
Swift Concurrency 是编译器机制还是运行时机制？

30 秒回答版

Swift Concurrency 是编译器、标准库和运行时共同完成的并发模型。

async/await 不是对 GCD 的简单语法糖。await 表示当前异步任务可能在这里暂停，把执行权交还给调度器；等异步结果可用时，再从 continuation 恢复。它不应该理解成“阻塞当前线程等待”。

Actor 是一种受隔离保护的引用类型。Actor 内部可变状态只能在 actor 隔离域内访问；跨 actor 访问必须异步，编译器会插入隔离检查。运行时通过 executor 保证同一 actor 的隔离状态不会被多个任务同时进入。

Swift 面试：编译流程、Runtime 与元数据源码解析

Tue, 16 Jun 2026 09:06:27 +0800

Swift 面试：编译流程、Runtime 与元数据源码解析

Swift 面试里问编译流程和 Runtime，通常不是想听一串名词，而是想看你能不能把 源码 -> AST -> SIL -> 优化 -> IRGen -> LLVM -> Runtime Metadata 串起来。

这篇文章按面试题展开，把答案落到 Swift 编译器源码里的 SILGen、SILOptimizer、IRGen、Metadata、Value Witness Table、Protocol Witness Table 和 HeapObject。

面试高频问题

Swift 源码从 .swift 到机器码经历哪些阶段？
AST、SIL、LLVM IR 分别负责什么？
为什么 Swift 需要 SIL，而不是直接生成 LLVM IR？
SILGen 做什么？SILOptimizer 做什么？
IRGen 为什么要生成 Metadata 和 Witness Table？
Swift Runtime Metadata 保存了哪些信息？
Value Witness Table 是什么？
Protocol Witness Table 和 class vtable 有什么区别？
class、struct、enum 在 Runtime 表示上有什么差异？
HeapObject 和 Metadata 有什么关系？

30 秒回答版

Swift 编译流程可以简化为：