(CLJS) 'and' 在 ClojureScript 的 go 块中不会短路

Question

我在 go 块中有一段以下 ClojureScript 代码

(cond
(and (vector? x) (= (first x) :some-key)) ...)

这会生成以下 cond 情况的 JavaScript 代码

if (40 === f) {
return
d = b(link: 9),
f = cljs.core.vectorQMARK.call(null, d),
d = cljs.core.first.call(null, d),
d = cljs.core.EQ.call(null, d, new cljs.core.Keyword(null, "some-key", "some-key", -978969032)),
cljs.core.truth_(f && d) ? b(link: 1) = 42 : b(link: 1) = 43,
new cljs.core.Keyword(null, "recur", "recur", -437573268);
}

这看起来似乎会实际评估两个 and 参数。因此，当我的代码遇到这个 cond 情况且 'x' 不是可序列化时，它会崩溃。

Answer 1

评论者：favila

CLJS-864 很可能是同样的问题。（它还有一个用于复制的测试项目。）

Answer 2

评论者： raspasov

当我在 ClojureScript 0.2.395 的最新版本 core.async 上遇到这个问题时也发生了这种情况。

我会将其提升为非次要问题，因为它严重破坏了 (and ...) 的承诺。

(def cards :loading)
(go (and (vector? cards) (< 0 (count cards))))

这会抛出以下异常

没有为类型 cljs.core/Keyword: :loading 定义 ICounted.-count 协议方法。

我通过以下方式绕过了这个问题
(go (if (vector? cards)

  (if (< 0 (count cards))
    (println "counting cards..."))))

Answer 3

评论者：mfikes

如果你

(macroexpand '(go (and (vector? cards) (< 0 (count cards)))))

你会看到特殊形式 * 的参数被提升出来并与 {{let}} 绑定，导致评估了特殊形式本不会评估的代码。

Answer 4

参考： https://clojure.atlassian.net/browse/ASYNC-91（由 alex+import 报告）