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 或以上版本来解决这个问题,或者在紧急情况下采用临时解决方案。
登录后查看全文
热门项目推荐
相关项目推荐
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C080
baihu-dataset异构数据集“白虎”正式开源——首批开放10w+条真实机器人动作数据,构建具身智能标准化训练基座。00
mindquantumMindQuantum is a general software library supporting the development of applications for quantum computation.Python056
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0131
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00
项目优选
收起
deepin linux kernel
C
27
11
OpenHarmony documentation | OpenHarmony开发者文档
Dockerfile
464
3.45 K
Ascend Extension for PyTorch
Python
272
310
openEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。
C
192
79
暂无简介
Dart
714
171
React Native鸿蒙化仓库
JavaScript
284
331
本项目是CANN提供的数学类基础计算算子库,实现网络在NPU上加速计算。
C++
844
424
华为昇腾面向大规模分布式训练的多模态大模型套件,支撑多模态生成、多模态理解。
Python
105
120
Nop Platform 2.0是基于可逆计算理论实现的采用面向语言编程范式的新一代低代码开发平台,包含基于全新原理从零开始研发的GraphQL引擎、ORM引擎、工作流引擎、报表引擎、规则引擎、批处理引引擎等完整设计。nop-entropy是它的后端部分,采用java语言实现,可选择集成Spring框架或者Quarkus框架。中小企业可以免费商用
Java
10
1
🎉 (RuoYi)官方仓库 基于SpringBoot,Spring Security,JWT,Vue3 & Vite、Element Plus 的前后端分离权限管理系统
Vue
1.26 K
692