为什么这段代码不会抛出 StackOverflow 异常

Question

在 clojure v1.6.0 中，此代码永远运行并消耗 100% 的一个内核：

(defn average [x y] (/ (+ x y) 2))

(defn improve [guess x]
  (average guess (/ x guess)))

(defn sqrt-iter [guess x]
  (sqrt-iter (improve guess x) x))

(sqrt-iter 1 4)

我希望它会立即抛出 StackOverflowError，但事实并非如此。

任何解释为什么会发生？

Answer 1

因为 1 很长。代码开始计算极长的有理数，并在几次迭代后减速到爬行。如果您使用 1.0 和 4 运行它，它会在数千次调用后非常快地破坏堆栈（可能会因您的 jvm 参数而异）。