Swift Composable Architecture 中 observe 方法在 macOS 上的崩溃问题分析
2025-05-17 22:31:23作者:段琳惟
问题背景
在 Swift Composable Architecture (TCA) 1.13.1 版本更新后,开发者在使用 observe 方法时遇到了崩溃问题。这个问题主要出现在 macOS 平台的 AppKit 应用中,错误信息显示无法将 SwiftNavigation.ObserveToken 类型转换为 NSObject。
技术分析
这个问题的根源在于 TCA 1.13.1 版本中 observe 方法的实现发生了变化。在之前的 1.12.1 版本中,observe 使用的是继承自 NSObject 的类,而新版本则使用了 SwiftNavigation 库中的 ObserveToken 结构体,该结构体并不符合 NSObject 协议。
关键差异点
-
旧版实现:
- 使用
NSObject子类存储观察令牌 - 与 AppKit 的 KVO 机制兼容性良好
- 使用
-
新版实现:
- 使用 SwiftNavigation 的
ObserveToken结构体 - 结构体不符合
NSObject协议 - 在多次调用
observe方法时会导致崩溃
- 使用 SwiftNavigation 的
问题复现
开发者发现这个问题在以下场景中会重现:
class Controller: NSViewController {
override init(nibName nibNameOrNil: NSNib.Name?, bundle nibBundleOrNil: Bundle?) {
super.init(nibName: nibNameOrNil, bundle: nibBundleOrNil)
observe {} // 第一次调用正常
observe {} // 第二次调用崩溃
}
required init?(coder: NSCoder) {
fatalError("init(coder:) has not been implemented")
}
}
解决方案
TCA 团队已经通过更新 SwiftNavigation 库到 2.1.0 版本修复了这个问题。修复的核心是将存储观察令牌的容器从 Set<ObserveToken> 改为 [Any] 数组,这样就能兼容非 NSObject 类型的令牌。
临时解决方案
对于需要立即修复的开发者,可以采取以下临时方案:
- 将
observe辅助方法复制到自己的代码中 - 修改令牌存储容器类型为
[Any] - 等待官方更新并替换临时方案
技术启示
这个问题给我们几个重要的技术启示:
- 类型系统兼容性:在混合使用 Swift 和 Objective-C 运行时环境时,类型兼容性需要特别注意
- 集合类型选择:在存储异构对象时,数组比集合类型更灵活
- 观察者模式实现:跨平台框架需要考虑不同平台(UIKit/AppKit)的特殊需求
总结
Swift Composable Architecture 1.13.1 版本中引入的 observe 方法实现在 macOS 平台上存在兼容性问题,特别是在多次调用时会导致崩溃。这个问题源于 SwiftNavigation 库中 ObserveToken 类型与 AppKit 的兼容性问题。开发者可以通过更新到 SwiftNavigation 2.1.0 或以上版本来解决这个问题,或者在紧急情况下采用临时解决方案。
登录后查看全文
热门项目推荐
相关项目推荐
GLM-5智谱 AI 正式发布 GLM-5,旨在应对复杂系统工程和长时域智能体任务。Jinja00
GLM-5-w4a8GLM-5-w4a8基于混合专家架构,专为复杂系统工程与长周期智能体任务设计。支持单/多节点部署,适配Atlas 800T A3,采用w4a8量化技术,结合vLLM推理优化,高效平衡性能与精度,助力智能应用开发Jinja00
请把这个活动推给顶尖程序员😎本次活动专为懂行的顶尖程序员量身打造,聚焦AtomGit首发开源模型的实际应用与深度测评,拒绝大众化浅层体验,邀请具备扎实技术功底、开源经验或模型测评能力的顶尖开发者,深度参与模型体验、性能测评,通过发布技术帖子、提交测评报告、上传实践项目成果等形式,挖掘模型核心价值,共建AtomGit开源模型生态,彰显顶尖程序员的技术洞察力与实践能力。00
Kimi-K2.5Kimi K2.5 是一款开源的原生多模态智能体模型,它在 Kimi-K2-Base 的基础上,通过对约 15 万亿混合视觉和文本 tokens 进行持续预训练构建而成。该模型将视觉与语言理解、高级智能体能力、即时模式与思考模式,以及对话式与智能体范式无缝融合。Python00
MiniMax-M2.5MiniMax-M2.5开源模型,经数十万复杂环境强化训练,在代码生成、工具调用、办公自动化等经济价值任务中表现卓越。SWE-Bench Verified得分80.2%,Multi-SWE-Bench达51.3%,BrowseComp获76.3%。推理速度比M2.1快37%,与Claude Opus 4.6相当,每小时仅需0.3-1美元,成本仅为同类模型1/10-1/20,为智能应用开发提供高效经济选择。【此简介由AI生成】Python00
Qwen3.5Qwen3.5 昇腾 vLLM 部署教程。Qwen3.5 是 Qwen 系列最新的旗舰多模态模型,采用 MoE(混合专家)架构,在保持强大模型能力的同时显著降低了推理成本。00- RRing-2.5-1TRing-2.5-1T:全球首个基于混合线性注意力架构的开源万亿参数思考模型。Python00
项目优选
收起
deepin linux kernel
C
27
11
OpenHarmony documentation | OpenHarmony开发者文档
Dockerfile
567
3.83 K
本项目是CANN提供的数学类基础计算算子库,实现网络在NPU上加速计算。
C++
892
667
Ascend Extension for PyTorch
Python
376
445
openEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。
C
349
200
昇腾LLM分布式训练框架
Python
116
145
🎉 (RuoYi)官方仓库 基于SpringBoot,Spring Security,JWT,Vue3 & Vite、Element Plus 的前后端分离权限管理系统
Vue
1.37 K
778
暂无简介
Dart
798
197
React Native鸿蒙化仓库
JavaScript
308
359
openJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力
TSX
1.13 K
271