自我调用不进行优化 - 回归

Question

这是以下问题的回归

https://dev.clojure.org/jira/browse/CLJS-275

Answer 1

评论者：aralo

通过更改为"简单"情况的{{defn}}宏，并将函数名称传递到函数中来解决这个问题

(core/list 'def (with-meta name m) (cons `fn (cons name fdecl)))

这是因为：https://dev.clojure.org/jira/browse/CLJ-809

虽然我认为这不是 CLJS 中的问题，因为我们没有真正的变量，也不能重新定义 {{def}}。

Answer 2

评论者：aralo

所以 CLJ 票票中的问题在 CLJS 中如下所模拟/显示

`
(enable-console-print!)

(defn self-call-test
[n]
(prn "inner")
(when (pos? n)

(self-call-test (dec n))))

(let [orig self-call-test]
(set! self-call-test

    (fn outer [n]
      (pr "outer")
      (orig n))))

(self-call-test 2)

(def self-call-test2
(fn self-call-test2

   [n]
   (prn "inner")
   (when (pos? n)
     (self-call-test2 (dec n)))))

(let [orig self-call-test2]
(set! self-call-test2

    (fn outer [n]
      (pr "outer")
      (orig n))))

(self-call-test2 2)
`

在没有优化的情况下的输出

`
"outer"
"inner"
"outer"
"inner"
"outer"
"inner"

"outer"
"inner"
"inner"
"inner"
`

所以：这看起来也会破坏当前的行为，然而，上述的增强优化给出了这个结果

"outer" "inner" "inner" "inner"

对于两者都是。考虑到这一点，似乎在高级构建期间修改行为更好，以避免为用户跟踪难以定位的生产错误。即使这会对 CLJ 行为造成轻微偏差。有什么看法？

Answer 3

评论者：aralo

对这个有什么看法吗？如果这个变更可行，我可以创建一个补丁。由于一些非常底层数据结构函数是递归的，这可能会对性能有一定影响。

Answer 4

参考：[https://clojure.atlassian.net/browse/CLJS-2038](https://clojure.atlassian.net/browse/CLJS-2038)（由aralo报告）