clojure - 如何在Clojure中解释 map 键？

Question

我正在尝试使用从随机函数确定的键来创建 map 文字:

user=> {(str (rand-int 5)) "hello" (str (rand-int 5)) "goodbye"}                                            
IllegalArgumentException Duplicate key: (str (rand-int 5))  clojure.lang.PersistentArrayMap.createWithCheck (PersistentArrayMap.java:71)

然而

user=> {(str (rand-int 5)) "hello" (str (rand-int 6)) "goodbye"}    
{"4" "hello", "2" "goodbye"}

读者似乎将 key 视为未评估的列表。

我在文档中找不到关于此的任何详细信息。有谁可以帮助我进一步了解这一点？

Answer 1

浏览Clojure编译器的源代码后，我发现了以下内容:

有一个 LispReader 类，它包含嵌套类 MapReader ，该类负责读取 map 文字。它的方法invoke读取{和}符号之间的Clojure形式，并通过calling RT.map 方法返回一个映射(Clojure形式)。

RT.map calls PersistentHashMap.createWithCheck 实际检查重复键is performed的位置。由于我们正在构建Clojure表单的 map ，因此即使有两个相同的表单求值不同(如您的示例)，也会触发检查。

对所有Clojure表单的评估都在 Compiler 类中进行，尤其是在其嵌套类 MapExpr 中评估 map 形式。它的方法 eval 评估 map 的键和值，并再次使用RT.map构建持久 map 。因此，还将对评估值执行重复键检查，这就是以下代码也将失败的原因:

(let [x :foo y :foo]
  {x :bar y :baz}) ;; throws duplicated key exception

我不确定为什么作者决定对表单图和值图上的重复键进行检查。可能是某种“快速失败策略”:这种实现将在编译阶段尽早报告错误(即使可能存在误报)，并且这种检查不会影响运行时。