用途:作为 Swift 语言语义基础技能,帮助实现和诊断稳定的语言语义问题,包括值类型与引用类型、可选值、泛型、协议与存在类型、所有权、访问控制等。
主要能力:在改动代码前,检查 Package.swift、Xcode 工程设置、CI 与编译器标志,记录 Swift 工具/编译器版本、平台、目标架构、语言模式、严格并发与库演化配置;先编译最小受影响目标再诊断源码语义。语言规则上,独立值语义用 struct,仅在需要共享标识、继承或 Objective-C 约束时用 class;用可选值表达缺失,避免强制解包与强制转换;封闭域优先穷尽枚举与模式匹配;区分 some Protocol、any Protocol 与泛型约束;变更表示时保持 Equatable、Hashable、排序、Codable 形状、错误与集合语义;访问控制要有意为之,公共 API 需涵盖泛型约束、关联类型、actor 隔离、Sendable 与抛错;可变存储跨越信任或并发边界时使用写时复制或不可变快照;Objective-C 桥接留在适配层。
使用方式:按工作流复现编译器或行为失败,归类为可选性、所有权、泛型/存在类型建模、重载解析、ABI 或配置问题,做最小类型安全修正,补充可观察行为的回归测试,再运行格式化策略、构建、测试与目标特定门禁,命令为 swift build 与 swift test。
适用场景:Swift 包与 Xcode 工程的语义实现、编译错误诊断、类型建模与 API 演化。
限制:不得静默提高平台部署目标或工具版本;涉及包拓扑与 actor/task 行为时应分别加载 swift-package-manager 与 swift-concurrency。其他细节暂未提供。