Datascript 中的临时ID冲突解析问题分析

问题背景

在Datascript数据库中，当使用临时ID(tempid)进行数据操作时，可能会遇到"Conflicting upsert"(冲突更新)异常。这种情况通常发生在多个操作同时引用同一个临时ID字符串时，系统无法正确解析这些引用。

问题复现

让我们通过一个具体示例来说明这个问题：

(def xdb1 (d/empty-db {:xxx {:db/valueType :db.type/ref}}))
(def xdb2 (d/db-with xdb1 [{:db/ident :ident1} {:db/ident :ident2}]))
(def xdb3 (d/db-with xdb2 [[:db/add 32 :xxx "120"]
                           [:db/add 3333 :xxx "119"]
                           {:db/id "119" :db/ident :ident1}
                           {:db/id "120" :db/ident :ident2}]))

执行上述代码会抛出异常："Conflicting upsert: "120" resolves both to 2 and 3"

技术分析

这个问题的本质在于Datascript对临时ID的处理机制。当使用字符串形式的临时ID时：

1. 系统需要将这些临时ID映射为实际的实体ID
2. 在同一个事务中，相同的临时ID字符串应该解析为同一个实体ID
3. 当系统无法确定如何统一解析这些引用时，就会抛出冲突异常

在这个例子中，字符串"120"被同时用于:

• 作为属性值引用(:xxx "120")
• 作为实体ID({:db/id "120" ...})

Datascript无法确定应该将"120"解析为哪个实体ID，因此产生了冲突。

解决方案

Datascript的维护者tonsky确认这是一个bug，并在1.7.0版本中修复了这个问题。修复后的版本能够正确处理这种临时ID的使用场景。

最佳实践

为了避免类似问题，开发者可以：

1. 尽量使用明确的临时ID形式(如负整数)而非字符串
2. 确保在同一个事务中，临时ID的引用是一致的
3. 对于复杂的引用关系，考虑分步操作而非单次事务

总结

Datascript作为内存数据库，在处理临时ID时有其特定的机制。理解这些机制对于编写可靠的数据操作代码至关重要。虽然1.7.0版本已经修复了这个特定问题，但开发者仍需注意临时ID的使用方式，以避免其他潜在问题。