如何将Map作为?input传入Datomic查询并解构以匹配事实？

我来帮你搞定这个Datomic查询的问题——你碰到的NullPointerException完全是因为查询语法用错了路子，Datomic的查询规则里，不能直接在事实匹配的方括号里用(:amount ?input)这种方式提取Map值，得用正确的解构或者函数调用方式才行。

先说说你原来的问题出在哪 #

你之前的查询代码里，[(:amount ?input) ?amount]这一行是核心错误：Datomic里用方括号包裹的部分是用来匹配数据库中的事实的（格式是[实体ID 属性 值]），而(:amount ?input)是Clojure的Map取值语法，不能直接放在这个位置当作属性来用，这就导致查询编译时无法正确解析，最终抛出空指针异常。

两种正确的解决方式 #

方式一：在输入阶段直接解构Map

这种方式最简洁，直接在:in参数里用Clojure的Map解构语法，把你需要的键提取成查询可用的变量：

(d/q '[:find ?e
       :in $ {:keys [amount]} ?input  ;; 这里直接解构?input，提取:amount为?amount
       :where [?e :amount ?amount]]
     (d/db conn)
     {:amount 123.0M})

这样一来，查询逻辑里就可以直接用解构后的?amount变量，和你直接传单个参数的写法逻辑完全一致。

方式二：在查询逻辑中用get函数取值

如果需要更灵活的动态取值（比如根据不同条件取不同的键），可以在:where里用Datomic支持的函数调用语法，通过get来提取Map中的值：

(d/q '[:find ?e
       :in $ ?input
       :where [?e :amount ?amount]
              [(get ?input :amount) ?amount]]  ;; 这里用get函数获取?input的:amount值，绑定到?amount
     (d/db conn)
     {:amount 123.0M})

注意这里的函数调用要用括号包裹，第一个元素是函数名get，后面是参数，最后把结果绑定到?amount，这样就能和前面的事实匹配关联起来。

总结 #

两种方式都能解决你的问题，第一种适合提前知道要提取的键的场景，代码更干净；第二种适合动态场景。核心就是要记住：Datomic的事实匹配方括号只能用来匹配数据库里的结构，不能直接写Clojure的Map取值逻辑，要么在输入阶段解构，要么用函数调用的方式处理。

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