源码分析

Cocos 引擎 iOS 渲染管线深度解析：从 CADisplayLink 到屏幕呈现 引言 在移动端图形开发中，理解渲染管线的底层实现是走向高级工程师的必经之路。Cocos Creator 作为主流的跨平台游戏引擎，其 iOS Metal 后端的渲染实现采用了现代化的 FrameGraph 架构，结合脏状态追踪、资源池化等优化手段，是一份极佳的学习样本。 本文基于对 Cocos 引擎 gfx-metal 模块的源码分析，梳理从 CADisplayLink 帧回调触发到最终 GPU 呈现的完整渲染链路，并深入解读各阶段的关键实现细节。 整体架构概览 在深入时序之前,先理清核心模块的职责分工： 模块 文件 职责 IOSPlatform IOSPlatform.mm iOS 平台入口，持有 CADisplayLink 驱动渲染循环 RenderPipeline RenderPipeline.cpp 管线编排器，遍历相机并调度 Flow/Stage ForwardFlow ForwardFlow.cpp 前向渲染流程，决定渲染策略 ForwardStage ForwardStage.cpp 前向渲染阶段，收集渲染对象并填充 UBO RenderQueue RenderQueue.cpp 渲染队列，对可渲染对象排序 FrameGraph FrameGraph.cpp 帧图调度器，负责 Pass 编译、排序、合并和执行 CCMTLDevice MTLDevice.mm Metal 设备抽象，管理 Swapchain 和 Queue CCMTLSwapchain MTLSwapchain.mm 交换链，管理 CAMetalLayer 和 drawable CCMTLCommandBuffer MTLCommandBuffer.mm 命令缓冲区封装，核心渲染编码入口 CCMTLRenderCommandEncoder MTLRenderCommandEncoder.h 渲染编码器，含脏状态追踪优化 完整渲染时序图 以下 Mermaid 时序图展示了从屏幕刷新信号到最终呈现的五个阶段： ...

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 编译流程可以简化为： ...

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 面试：值语义、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 面试：泛型、协议与派发源码解析 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 面试：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 成员。 ...

objc4 runtime NXMapTable 开放寻址哈希表 runtime/maptable.h runtime/maptable.h 作用与实现原理 runtime/maptable.h 定义了 Objective-C runtime 里旧 NeXT 风格的 NXMapTable：一个通用的 key - value 指针映射表。 它不拥有业务对象，只负责把指针或整数形式的 key 映射到指针或整数形式的 value， 并通过回调把“怎么 hash、怎么比较、释放时怎么处理”交给调用方决定。 存储模型连续桶数组，每个桶是 {key, value}。 冲突处理开放寻址 + 线性探测。 扩容阈值元素数超过桶数的 75% 后翻倍重哈希。 runtime 用途类名表、协议表、future class 表、少量 meta 到 non-meta 映射。 阅读路径 它解决什么问题 和 hashtable2 的区别 核心数据结构 Prototype 回调机制 查找、插入、删除、扩容流程 带注释核心代码 runtime 中的实际使用 必须记住的约束 1. 它解决什么问题 runtime 需要维护很多“名字到结构体指针”“元类到类”“未来会出现的类名到占位 Class”的映射。 这些映射发生在启动、加载镜像、注册类、查找协议等低层路径上，不能依赖 Objective-C 容器对象。 NXMapTable 就是一个 C 接口的轻量哈希表。 它是什么 一个 void * key 到 void * value 的映射表。key 和 value 可以是指针，也可以把整数强转成指针使用。 ...

objc4 runtime NXHashTable 集合结构 runtime/hashtable2.mm 作用与实现原理 这个文件实现了旧 NeXT/Objective-C runtime 暴露的 NXHashTable：一个可存放任意指针或整数数据的哈希集合。它不保存 key-value 对；需要映射关系时，runtime 另用 maptable.mm 的 NXMapTable。 一遍读懂 它用 callback 决定“怎么 hash、怎么判等、怎么释放”。 每个 bucket 是一条很短的冲突链。 bucket 中只有 1 个元素时直接存指针，避免额外分配。 元素数超过 bucket 数时扩容并重算位置。 删除会把 2 个元素的 bucket 收缩回单指针形态。 1. 它解决什么问题 NXHashTable 是 runtime 内部和兼容 API 使用的通用集合容器。调用者传入一组 NXHashTablePrototype，告诉表如何处理元素：hash(info, data) 计算哈希，isEqual(info, a, b) 判断相等，free(info, data) 在销毁或 reset 时释放元素。这样同一套表结构可以存指针、字符串，或“结构体首字段作为 key”的对象。 **关键不变量：**如果两个元素被 isEqual 判为相等，它们的 hash 必须一致；而且参与 hash 的内容不能在入表后变化。否则扩容重排后会找不到元素。 2. 数据结构：一层数组 + 小冲突链 NXHashTable保存 prototype、元素总数、bucket 数组和可透传给 callback 的 info。 ...

objc4 runtime reading note KVO：从“属性变化通知”到 runtime 动态子类 KVO（Key-Value Observing）让一个对象在另一个对象的某个 key path 变化时收到回调。 在这个 objc4 仓库里，Foundation 的 KVO 主体代码不在源码中；但 runtime 暴露了 KVO 需要的关键能力： 复制类、切换对象的 isa、判断 ivar 内存语义，并保证这些操作在初始化、弱引用和并发加载场景下安全。 入口：addObserver 核心：动态子类 通知：will/didChange 底层：objc_duplicateClass 阅读路线 KVO 解决什么问题 实现原理总览 objc4 中的关键支撑 核心类和关键方法 关键流程 带注释代码片段 使用边界和排错 1. KVO 的作用：把“状态变化”变成可订阅事件 普通属性赋值只改变对象内部状态，调用者不知道“谁关心这个变化”。KVO 把某个 key path 的变化包装成标准事件： 被观察对象负责发出变化，观察者在 observeValueForKeyPath:ofObject:change:context: 中接收。 解耦 观察者不需要改写被观察对象的业务代码，只注册感兴趣的 key path。 统一格式 变化以 change 字典传递，可包含旧值、新值、变化类型等。 自动拦截 对 KVC/KVO 兼容的 setter，Foundation 可自动在 setter 前后发通知。 手动通知 复杂派生属性或批量变化可用 willChangeValueForKey: 和 didChangeValueForKey: 明确包围。 ...

Key-Value Coding / Foundation behavior with objc4 runtime support Objective-C KVC：从字符串 key 到对象读写 KVC 的核心价值是：把“访问某个属性或实例变量”抽象成 valueForKey:、setValue:forKey: 这样的字符串协议。 读完这一页，你应该能说清楚它解决什么问题、Foundation 大致怎样查找成员， 以及 objc4 runtime 在消息发送、元数据查询、ivar 直写和内存管理上提供了哪些支撑。 适合第一次系统理解 KVC 标注 objc4 / Foundation 边界 含关键流程和注释代码 目录 KVC 到底有什么用 本仓库能看到什么 读写 key 的查找顺序 objc4 提供的底层能力 核心类、方法和关键属性 关键操作流程 常见坑与记忆模型 1. KVC 到底有什么用 平时你写 person.name 或 [person name]，访问目标在编译期就固定了。 KVC 允许你在运行时才决定要访问哪个成员：[person valueForKey:@"name"]。 这使得对象、字典、表单、序列化、绑定和调试工具可以用同一套字符串 key 访问模型对象。 动态访问 运行时才知道字段名时，用字符串 key 读取或写入对象。 统一映射 JSON、表单、数据库行、UI 绑定都可以映射到对象属性。 批量和路径 valueForKeyPath: 能沿着 department.manager.name 连续取值。 ...