如何将Swift #Predicate宏生成的谓词解析为数据库查询语句？

我正在尝试将通过#Predicate宏创建的Swift Predicate解析为SQL查询语句（类似SwiftData底层基于Core Data生成SQLite查询的逻辑）。示例场景如下：

class Foo {
    var title: String = ""
}

let p = #Predicate<Foo> { $0.title == "test" }

期望将上述谓词转换为对应的SQL语句：

SELECT * FROM `Foo` WHERE `title` = "test"

目前相关文档极少，我参考官方示例实现了一个概念验证的自定义协议DBPredicateExpression，让支持的PredicateExpression类型遵循该协议（仅处理简单谓词，暂忽略错误处理）：

protocol DBPredicateExpression {
    func dbQuery() -> String
}

// 处理"=="运算符
extension PredicateExpressions.Equal: DBPredicateExpression where LHS: DBPredicateExpression, RHS: DBPredicateExpression {
    func dbQuery() -> String {
        return lhs.dbQuery() + " = " + rhs.dbQuery()
    }
} 

// 处理常量值
extension PredicateExpressions.Value: DBPredicateExpression {
    func dbQuery() -> String {
        if let v = value as? String {
            return "\"\(v)\""
        }
        return "" // TODO: 扩展支持其他值类型，对不支持类型抛出错误
    }
}

// 处理KeyPaths（此处需要解决字符串提取问题）
extension PredicateExpressions.Keypath: DBPredicateExpression {
    func dbQuery() -> String {
        let rootType: Any.Type = type(of: root)      // String(describing:) 返回 Variable<Foo>
        let kpType: Any.Type = type(of: keyPath)     // String(describing:) 返回 ReferenceWritableKeyPath<Foo, String>

        // 核心问题：如何从root和keyPath中可靠提取出"Foo"和"title"这样的字符串？
        // 当前需要返回属性名部分（如`title`），实体名用于拼接整个SQL的FROM子句
    }
}

核心问题解答 #

1. 可靠提取KeyPath属性名与Root类型名

你可以通过Swift的反射机制结合泛型参数来获取所需字符串，避免直接依赖string(describing:)的脆弱输出：

提取KeyPath属性名

给KeyPath添加一个扩展来解析属性名：

extension KeyPath {
    var propertyName: String {
        let keyPathStr = String(reflecting: self)
        // 拆分KeyPath字符串，取最后一段作为属性名
        guard let name = keyPathStr.components(separatedBy: ".").last else {
            fatalError("无法解析KeyPath的属性名")
        }
        return name
    }
}

提取Root类型名

PredicateExpressions.Keypath的泛型参数Root就是我们需要的实体类型，直接通过String(describing: Root.self)即可获取类名：

修改后的Keypath扩展实现：

extension PredicateExpressions.Keypath: DBPredicateExpression {
    func dbQuery() -> String {
        // 获取属性名并添加反引号避免SQL关键字冲突
        let propertyName = keyPath.propertyName
        return "`\(propertyName)`"
    }
}

生成完整SQL语句

额外给Predicate添加扩展，利用泛型参数Input获取实体名，拼接完整SQL：

extension Predicate {
    func toSQL() -> String {
        let entityName = String(describing: Input.self)
        guard let expr = expression as? any DBPredicateExpression else {
            fatalError("不支持的Predicate表达式类型")
        }
        let whereClause = expr.dbQuery()
        return "SELECT * FROM `\(entityName)` WHERE \(whereClause)"
    }
}

调用示例：

let p = #Predicate<Foo> { $0.title == "test" }
print(p.toSQL()) // 输出: SELECT * FROM `Foo` WHERE `title` = "test"

2. SwiftData/Core Data的底层实现逻辑

SwiftData底层依赖Core Data的查询引擎，它不会直接通过反射Swift KeyPath来生成SQL，而是依赖模型元数据：

• 当你用@Model标记SwiftData实体类时，系统会自动生成对应的Core Data实体描述（NSEntityDescription），其中包含实体名、属性名与数据库列名的映射关系。
• 对于#Predicate宏生成的表达式AST，Core Data的查询引擎会遍历这个抽象语法树，结合模型元数据将每个表达式节点转换为对应的SQL片段，同时会处理参数绑定（避免SQL注入），而不是直接拼接字符串。
• 这种方式比纯反射更可靠，因为它依赖已注册的模型定义，而非Swift类型的运行时反射信息，同时能处理更复杂的谓词逻辑（如关联查询、函数调用等）。

内容的提问来源于stack exchange，提问作者Bryan