为什么评估队列不返回它自己？

Question

当评估非空队列时，编译器不会尝试执行它（与 Seq 的做法不同），而是将其视为一个持久列表，并因此发送到 clojure.lang.Compiler/emitListAsObjectArray。这是一个错误，因为队列不是列表。

=> (eval (conj clojure.lang.PersistentQueue/EMPTY 1)) 语法错误 (ClassCastException) 在 (REPL:1:1) 编译 fn* 时。

堆栈跟踪如下：

`
语法错误 编译 fn* 在 (1:1)。

at clojure.lang.Compiler.analyzeSeq(Compiler.java:7119)
at clojure.lang.Compiler.analyze(Compiler.java:6793)
at clojure.lang.Compiler.eval(Compiler.java:7178)
at clojure.lang.Compiler.eval(Compiler.java:7136)
at clojure.core$eval.invokeStatic(core.clj:3202)
at clojure.core$eval.invoke(core.clj:3198)
at user$eval242.invokeStatic(NO_SOURCE_FILE:1)
at user$eval242.invoke(NO_SOURCE_FILE:1)
at clojure.lang.Compiler.eval(Compiler.java:7181)
at clojure.lang.Compiler.eval(Compiler.java:7136)
at clojure.core$eval.invokeStatic(core.clj:3202)
at clojure.core$eval.invoke(core.clj:3198)
at clojure.main$repl$read_eval_print__9110$fn__9113.invoke(main.clj:437)
at clojure.main$repl$read_eval_print__9110.invoke(main.clj:437)
at clojure.main$repl$fn__9119.invoke(main.clj:458)
at clojure.main$repl.invokeStatic(main.clj:458)
at clojure.main$repl_opt.invokeStatic(main.clj:522)
at clojure.main$main.invokeStatic(main.clj:667)
at clojure.main$main.doInvoke(main.clj:616)
at clojure.lang.RestFn.invoke(RestFn.java:397)
at clojure.lang.AFn.applyToHelper(AFn.java:152)
at clojure.lang.RestFn.applyTo(RestFn.java:132)
at clojure.lang.Var.applyTo(Var.java:705)
at clojure.main.main(main.java:40)

原因：java.lang.ClassCastException：类 clojure.lang.PersistentQueue 不能转换成类 java.util.List（clojure.lang.PersistentQueue 在由 "app" 加载器的未知模块中；java.util.List 在由 "bootstrap" 加载器的 java.base 模块中）
java.util.List 是在 java.base 模块中，由 "bootstrap" 加载器。

at clojure.lang.Compiler$ObjExpr.emitListAsObjectArray(Compiler.java:4701)
at clojure.lang.Compiler$ObjExpr.emitValue(Compiler.java:4874)
at clojure.lang.Compiler$ObjExpr.emitConstants(Compiler.java:4938)
at clojure.lang.Compiler$ObjExpr.compile(Compiler.java:4616)
at clojure.lang.Compiler$FnExpr.parse(Compiler.java:4110)
at clojure.lang.Compiler.analyzeSeq(Compiler.java:7109)
... 23 more`

Answer 1

以某些选项登录记录https://clojure.atlassian.net/browse/CLJ-2628。

Comments

感谢查看这个。我对票据上的替代方案有一些评论。

- 如果PersistentQueue实现了j.u.List，那么它将继续打印列表，即使返回的并不是列表。因此，如果一个宏尝试返回一个队列（即使在另一个seq中），它将被转换为列表。所以不可能从宏中返回一个队列。现在已经是这种情况了
=> (defmacro m [] clojure.lang.PersistentQueue/EMPTY)
=> (m)
()
user=> (type (m))
clojure.lang.PersistentList$EmptyList

- 如何实现特殊的PQ发射？

目前，emitValue中的测试正在检查ISeq或IPersistentList。仅有两种类型可以实现IPersistentList：PersistentList和PersistentQueue。由于PersistentList已经是一个ISeq，因此检查IPersistentList是导致这里问题的具体原因。移除它将使它下落到RT.printString(value)，这是大多数没有文字表示的物体下落的地方。

这引出另一个问题（这是一位其他人提出的问题，但我自己也有考虑）：是否考虑过给队列一个文字表示？
ClojureScript有：#queue [1 2 3]
对于内置在语言中的结构，它可能值得拥有自己的特殊读取宏，例如#[1 2 3]
这将提供一个可以再次读取的结构发射路径

---

>  如果PersistentQueue实现了j.u.List，那么它将继续打印列表

是的，我还没有考虑所有的权衡，只是提出一些想法

> 怎样实现特殊的PQ发射呢？

那种方法有很多，可以再增加一个。同样，没有更多的评估，我不知道权衡


那里有一个关于队列上的读取/打印支持的旧票据

https://ask.clojure.org/index.php/3365/implement-reader-literal-support-persistentqueue-structure

我自问的问题是队列是否值得在Clojure中增加语法。我没有好的答案-最终这不是我的决定。 :) 关于这个问题的任何具体评论都可以放入那里。