swift-concurrency-expert

核心用法

Swift Concurrency Expert 是一个专注于 Swift 6.2+ 并发编程审查与修复的文档型技能。当用户遇到 Swift 并发编译器错误、需要改进并发合规性或审查代码中的并发安全问题时，该技能提供系统化的诊断和修复流程。

工作流程分为两个阶段：首先是问题分类（Triage），捕获确切的编译器诊断信息，识别当前的 actor 上下文（@MainActor、、actor、、nonisolated），并确认代码是 UI 绑定还是后台执行；其次是应用最小安全修复，优先选择保留现有行为的同时满足数据竞争安全的编辑方案。

常见修复模式包括：为 UI 绑定类型添加 @MainActor 注解、为主 actor 类型的协议一致性添加隔离声明、用 @MainActor 保护全局/静态状态或将后台工作移至 @concurrent 异步函数，以及正确处理 Sendable 一致性（优先使用不可变值类型，避免滥用 @unchecked Sendable）。

显著优点

1. 权威内容来源：基于 Apple WWDC 官方 Swift 并发编程指南和 Swift 6.2 语言特性，确保建议符合最新语言规范
2. 最小侵入性修复：强调"最小安全修复"原则，在解决编译器错误的同时最大限度保留原有代码行为
3. 系统化方法论：提供从问题分类到具体修复的完整工作流，降低并发问题诊断的认知负担
4. 场景化指导：区分 UI 绑定与后台工作场景，提供针对性的 actor 隔离策略

潜在缺点与局限性

1. 纯文档型限制：该技能不包含自动化代码分析或修复功能，完全依赖用户手动应用建议
2. 版本锁定：明确针对 Swift 6.2+，对早期 Swift 版本（如 Swift 5.5-5.9）的并发模型覆盖有限
3. 上下文依赖：修复建议需要开发者准确判断当前 actor 上下文和代码意图，误判可能导致错误修复
4. 无实时验证：应用建议后仍需通过编译器验证，技能本身无法预判修复是否完全正确

适合的目标群体

• 正在迁移至 Swift 6 严格并发模式的 iOS/macOS 开发团队
• 需要解决 @MainActor、、Sendable` 相关编译器错误的 Swift 开发者
• 希望系统学习 Swift 现代并发最佳实践的中高级开发者
• 维护大型 SwiftUI 代码库、需要处理大量并发合规性问题的技术负责人

使用风险

1. 编译器版本差异：Swift 6.2 尚未正式发布（截至 2025 年初），部分特性可能存在变动
2. 过度隔离风险：机械应用 @MainActor 可能导致主线程阻塞，影响应用性能
3. Sendable 误用：错误添加 Sendable 一致性可能掩盖真正的线程安全问题
4. 参考文档依赖：技能依赖本地参考文档，若文档版本滞后可能导致建议过时

核心用法

Swift Concurrency Expert 是一款面向 Swift 6.2+ 的并发代码审查与修复指导技能。它采用纯文档（T-MD）架构，通过结构化工作流帮助开发者识别和解决并发安全问题：

1. 问题分类（Triage）：捕获编译器诊断信息，识别当前 actor 上下文（@MainActor/actor/nonisolated），确认代码是否绑定 UI 主线程
2. 最小安全修复：优先保留现有行为的同时满足数据竞争安全

• UI 绑定类型：添加 @MainActor 注解
• 协议一致性：将一致性声明隔离（如 extension Foo: @MainActor SomeProtocol）
• 全局/静态状态：使用 @MainActor 保护或移入 actor
• 后台工作：移至 @concurrent 异步函数或使用 actor 保护可变状态
• Sendable 错误：优先使用不可变值类型，仅在正确时添加 Sendable 一致性

显著优点

• 权威性高：源自 @Dimillian（知名 iOS 开发者 Peter Steinberger）的社区经验
• 零执行风险：纯 Markdown 文档，无可执行代码、无外部调用、无数据收集
• 精准定位：针对 Swift 6.2 最新并发模型，覆盖 actor 隔离、Sendable 安全等现代模式
• 行为保守：强调最小化变更，优先保留现有代码行为

潜在局限

• 非自动化工具：仅提供修复指导，不直接修改代码
• 版本绑定：针对 Swift 6.2+，旧版本兼容性未覆盖
• 依赖人工判断：需开发者理解 actor 模型才能有效应用
• 无 LICENSE：当前未明确开源许可条款

适合人群

• 迁移至 Swift 6 并发的 iOS/macOS 开发者
• 遇到 @MainActor/Sendable 编译错误的团队
• 需要审计并发安全代码库的技术负责人

常规风险

无运行时风险。需注意：引用文档需定期审查以确保链接有效性；修复建议需结合具体业务场景验证。