为什么评估队列不返回其自身？

Question

当评估非空队列时，编译器不会尝试执行它（就像它会执行一个序列一样），而将其视为PersistentList并因此发送到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.util.List是在名为“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，那么它将一直打印列表

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

> 专门的PQ输出如何工作？

那个方法有很多，可以添加另一个。再次，没有更多的评估，我不知道权衡。


有一个旧的关于队列的读取/打印支持的票务

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

我提问的问题是，队列是否足够重要以至于需要在Clojure中添加语法。我没有好的答案——最终不是我的选择。 :) 但任何针对这个问题的具体评论都可以放在那里。