为什么这段代码不会抛出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参数而异).