GRDB.swift 中跨 Actor 边界传递 SQLSpecificExpressible 的解决方案

在 Swift 并发编程中，当使用 GRDB.swift 库进行数据库操作时，开发者可能会遇到一个常见问题：如何安全地在不同 Actor 之间传递 SQLSpecificExpressible 类型的查询条件。本文将深入探讨这一问题的背景、原因及多种解决方案。

问题背景

GRDB.swift 是一个流行的 Swift 数据库工具库，它提供了类型安全的 SQL 查询构建方式。SQLSpecificExpressible 协议用于表示可以被转换为 SQL 表达式的类型，如列名、值比较等。

在 Swift 并发模型中，Actor 隔离机制要求跨 Actor 边界传递的数据必须是 Sendable 的。由于 SQLSpecificExpressible 协议没有继承自 Sendable，这导致开发者无法直接在不同 Actor 之间传递查询条件。

问题重现

考虑以下典型场景：

1. 一个 ViewModel 类（标记为 @MainActor）持有一个查询条件
2. 需要将这个查询条件传递给另一个 Actor 中的数据库获取方法

actor DBFetcher {
    func allPodcasts(_ sqlExpression: SQLSpecificExpressible) {
        // 数据库查询逻辑
    }
}

@MainActor class StandardPodcastsViewModel {
    private let filter: SQLSpecificExpressible = Column("subscribed") == true
    
    func fetchPodcasts(fetcher: DBFetcher) async {
        await fetcher.allPodcasts(filter) // 这里会产生编译器警告/错误
    }
}

解决方案

方案一：使用 SQLExpression 类型

SQLExpression 是 Sendable 的，可以安全地跨 Actor 传递：

@MainActor class StandardPodcastsViewModel {
    private let filter: SQLExpression = (Column("subscribed") == true).sqlExpression
    
    func fetchPodcasts(fetcher: DBFetcher) async {
        await fetcher.allPodcasts(filter) // 安全传递
    }
}

方案二：组合协议声明

通过组合 SQLSpecificExpressible 和 Sendable 协议来声明变量：

@MainActor class StandardPodcastsViewModel {
    private let filter: SQLSpecificExpressible & Sendable = Column("subscribed") == true
    
    func fetchPodcasts(fetcher: DBFetcher) async {
        await fetcher.allPodcasts(filter) // 安全传递
    }
}

方案三：使用 sending 修饰符（特定场景）

对于临时创建的表达式，可以使用 sending 修饰符：

actor DBFetcher {
    func allPodcasts(_ sqlExpression: sending SQLSpecificExpressible) {
        // 数据库查询逻辑
    }
}

设计考量

GRDB.swift 有意没有让 SQLSpecificExpressible 继承 Sendable，这是为了保持灵活性，允许开发者使用非 Sendable 的类型（如传统的 NSData）作为查询条件的一部分。这种设计决策体现了类型安全与灵活性之间的平衡。

最佳实践建议

1. 对于简单的查询条件，优先使用 SQLExpression 类型
2. 当需要保持 SQLSpecificExpressible 的灵活性时，使用协议组合方式
3. 避免在 Actor 之间传递长期持有的非 Sendable 查询条件
4. 对于临时创建的查询条件，考虑使用 sending 修饰符

通过理解这些解决方案和背后的设计理念，开发者可以更安全地在 Swift 并发环境中使用 GRDB.swift 进行数据库操作。