在某些情况下，print-dup 对 metadata 类型提示的处理是不可读的

Question

当 print-dup 为 true 时，如果被打印的对象有一个只包含 :tag 键的 metadata 映射表，打印机会将其渲染为 "^value"。在某种情况下，这可能会导致 IllegalArgumentException，如果您尝试将打印的字符串读回，将会出错。例如：

user=> (read-string (let [ge (with-meta (gensym) {:tag Object})] (binding [*print-dup* true] (pr-str ge)))) IllegalArgumentException Metadata 必须是 Symbol,Keyword,String 或 Map clojure.lang.LispReader$MetaReader.invoke (LispReader.java:732)

这会导致 sleight/riddley 对 (case) 宏的处理出现问题，该宏在其返回的表单中包含了 gensym 的类型提示并将其丢弃。当 sleight 尝试从 riddley 反序列化宏展开的 (case) 表单时，它将失败，就像上面展示的那样。例如：

user=> (read-string (binding [*print-dup* true] (pr-str (macroexpand '(case 1 1 1))))) user=> IllegalArgumentException Metadata 必须是 Symbol,Keyword,String 或 Map clojure.lang.LispReader$MetaReader.invoke (LispReader.java:732)

附带的补丁通过使 core_print.clj 的 print-meta 总是在 print-dup 为 true 时打印出完整的 metadata 映射表来修复此问题。补丁还包括对此情况的测试。

(链接：1) https://github.com/ztellman/sleight https://github.com/ztellman/riddley

Answer 1

评论者：coventry

在 sleight 上的对应错误：https://github.com/ztellman/sleight/issues/5

Answer 2

评论者：jafingerhut

补丁 0001-Don-t-use-shorthand-for-typehints-when-print-dup.patch，日期为2013年10月2日，在2014年8月29日对Clojure进行了一些提交后，已无法干净地应用于最新的master分支。在此之前，它可以顺利应用。

我还没有检查更新此补丁可能有多容易或有多困难。

Answer 3

参考： https://clojure.atlassian.net/browse/CLJ-1275（报告者：coventry）