HealthKit 代码审查

快速参考

审查清单

• 在执行任何 HealthKit 操作前调用 HKHealthStore.isHealthDataAvailable()
• 仅请求所需的数据类型授权（最小权限原则）
• 不将 requestAuthorization 的完成回调误认为已获得授权
• 不尝试主动判断读取权限状态（遵循“隐私优先设计”原则）
• 查询结果在主线程分发，以确保 UI 更新安全
• 仅在使用有界谓词（bounded predicate）时才使用 HKObjectQueryNoLimit
• 使用 HKStatisticsQuery 执行聚合计算，而非手动累加
• 观察者查询（HKObserverQuery）的 completionHandler() 在所有路径中均被调用（建议使用 defer 确保）
• 在 application(_:didFinishLaunchingWithOptions:) 中注册后台交付
• 已添加后台交付 entitlement（iOS 15+）
• 数值类型（quantity types）使用了正确的单位（例如心率应使用 count/min）
• 长期运行的查询被声明为属性，并在 deinit 中显式停止

何时查阅参考文档

• 审查授权/权限流程 → 查阅 authorization.md
• 审查 HKSampleQuery、HKAnchoredObjectQuery 或谓词（predicates）→ 查阅 queries.md
• 审查 HKObserverQuery 或 enableBackgroundDelivery → 查阅 background.md
• 审查 HKQuantityType、HKCategoryType 或 HKWorkout → 查阅 data-types.md

审查关卡（Review gates）

按顺序执行。在当前步骤的通过条件未满足前，不得在后续步骤中陈述任何发现（每个通过条件均可直接从被审查代码库中得出答案）。

1. 范围界定（Scope） — 通过条件： 列出使用 HealthKit、HKHealthStore 或 HK* API 的文件路径及对应类型/符号；若本次变更未涉及任何 HealthKit 相关代码，需明确说明。
2. 可用性与数据存储实例 — 通过条件： 引用 isHealthDataAvailable() 的调用位置（须在首次使用 HealthKit 前）；或说明为何在当前作用域内可省略该检查；同时引用 HKHealthStore 实例的创建或注入位置。
3. 授权语义（Authorization semantics） — 通过条件： 对每个 requestAuthorization / getRequestStatusForAuthorization 调用，依据 references/authorization.md 引用其处理分支（例如：成功回调不等同于具备读取权限）；不得仅凭 authorizationStatus 单独推断读取权限状态。
4. 查询与限制（Queries and limits） — 通过条件： 对每个查询，引用其谓词（predicate）及限制（limit）；若使用 HKObjectQueryNoLimit，须确认其搭配的是有界谓词；对总量/聚合类操作，依据 references/queries.md 引用是否采用 HKStatisticsQuery 或集合操作，而非手动累加。
5. 观察者与后台交付（Observers and background） — 通过条件： 若出现 HKObserverQuery 或 enableBackgroundDelivery，需引用观察者启动/停止的位置，以及后台交付注册的位置；并引用 entitlement 配置或 Info.plist 设置，或标记缺失配置（参见 references/background.md）。若未出现上述 API，则 通过条件： 一行说明：“作用域内无观察者/后台交付逻辑。”
6. 线程与生命周期管理（Threading and lifecycle） — 通过条件： 引用查询回调中用于 UI 更新的主线程调度（或已明确记录的替代模式）；对长期运行的查询，依据上方审查清单引用其持有、stop() 调用或 deinit 清理逻辑。

审查问题

1. isHealthDataAvailable() 是否在创建 HKHealthStore 前被检查？
2. 代码是否能优雅地处理权限被拒绝的情况（例如返回空结果）？
3. 观察者查询（observer query）的完成回调是否在所有代码路径中均被调用？
4. 后台处理逻辑是否足够轻量（受限于约 15 秒时限）？
5. HKQueryAnchor 是否按样本类型分别持久化（而非跨类型共享）？