无法将OR运算符与两个NSPredicate结合使用问题求助

我有两个单独使用完全正常的NSPredicate，但尝试用OR运算符将它们组合时，出现CKError 0x600000c71320: "Invalid Arguments" (12/1009); "Invalid predicate: Unexpected expression"错误。

两个可单独工作的谓词：

let predicate1 = NSPredicate(format: "creatorUserRecordID IN %@ AND NOT(recordID IN %@)", referencesForUsersIFollow, cachedUserAccountsRecordIDS)
let predicate2 = NSPredicate(format: "creatorUserRecordID IN %@ AND recordID IN %@ AND modificationDate > %@", referencesForUsersIFollow, cachedUserAccountsRecordIDS, userAccountsCacheLastUpdated as CVarArg)

组合方式：

let combinedPredicate = NSCompoundPredicate(orPredicateWithSubpredicates: [predicate1, predicate2])

问题原因 #

CloudKit对查询谓词的复杂度有严格限制，直接用OR组合两个包含多层AND逻辑的子谓词，会超出CloudKit支持的谓词结构范围，导致无效参数错误。

优化方案 #

先提取两个谓词的公共条件creatorUserRecordID IN %@，然后将剩余逻辑合并为OR子句，简化后的谓词逻辑与原OR组合完全等价，且符合CloudKit的要求：

原逻辑等价转换：
(A AND NOT B) OR (A AND B AND C) → A AND (NOT B OR (B AND C)) → A AND (NOT B OR C)

对应的代码实现：

let combinedPredicate = NSPredicate(format: "creatorUserRecordID IN %@ AND (NOT(recordID IN %@) OR modificationDate > %@)", referencesForUsersIFollow, cachedUserAccountsRecordIDS, userAccountsCacheLastUpdated as CVarArg)

逻辑验证 #

这个简化后的谓词实现了和原组合完全一致的筛选逻辑：

• 筛选creatorUserRecordID在关注用户列表中的记录
• 同时满足以下两个条件之一：
  1. recordID不在缓存的用户记录ID列表中
  2. recordID在缓存列表中，但modificationDate晚于缓存最后更新时间

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