GRDB.swift 中 async/await 的正确使用方式

在 Swift 并发编程中，async/await 的使用有时会遇到一些编译器警告。最近在 GRDB.swift 项目中，开发者遇到了 Xcode 16 beta 5 中出现的 "No 'async' operations occur within 'await' expression" 警告问题。

问题现象

当开发者尝试在 GRDB 的异步数据库操作中使用 async/await 时，Xcode 会提示上述警告。这通常发生在将同步闭包传递给异步方法时。

根本原因

问题的核心在于 Swift 6 对并发安全性的严格要求。在 Swift 并发模型中，跨并发域传递的闭包需要明确标记其并发安全性。

解决方案

正确的做法是为闭包添加 @Sendable 和 @escaping 两个属性修饰符：

static func read<T>(value: @Sendable @escaping (Database) throws -> T) async throws -> T {
    try await dbQueue.read(value)
}

技术背景

1. @Sendable：这是 Swift 6 引入的新特性，用于标记可以在不同并发域之间安全传递的类型。它确保闭包不会捕获可变状态，从而避免数据竞争。

2. @escaping：表示闭包可能在函数返回后被调用，这是异步操作的常见需求。

3. Swift 6 的严格并发检查：Swift 6 默认启用了完整的并发安全检查，要求开发者明确标记跨并发边界的类型。

最佳实践

1. 当编写接受闭包的异步方法时，应该考虑添加 @Sendable 和 @escaping 修饰符。

2. 在闭包内部避免捕获可变状态，确保并发安全。

3. 及时更新项目文档，反映最新的语言特性和最佳实践。

总结

随着 Swift 并发模型的演进，开发者需要适应新的安全要求。在 GRDB.swift 这样的数据库库中使用 async/await 时，正确标记闭包的并发特性是确保代码安全性和消除编译器警告的关键。理解 @Sendable 和 @escaping 的作用，可以帮助开发者编写出更健壮的并发代码。