为什么这段代码会导致堆栈溢出？

Question

以下会导致大'n'的堆栈溢出，我可以理解为什么。

def factorial(n)
  (n > 1) ? (return (n * factorial(n - 1))) : (return 1)
end

为什么以下原因也会溢出？

def factorial(n, k)
  (n > 1) ? (return factorial(n - 1, lambda {|v| return k.call(v * n)})) : (return k.call(1))
end

Answer 1

你的第二个算法创建一个n - 长的lambda程序链，每个程序都包含对前一个程序的引用。我不确切知道Ruby的作用，但是在正确的尾递归语言中，堆栈不会在第二个算法中溢出，因为lambda中的k.call也处于尾部位置。如果，正如Brian的实验所暗示的那样，Ruby没有正确的尾调用，n - 对lambda的嵌套调用的长链将在调用链的头部时溢出堆栈，即使Ruby足够聪明将尾递归factorial调用转换为循环（=尾调用优化）。

Answer 2

在大多数语言中，函数调用会进入调用堆栈，这实际上只是堆栈。递归调用函数会不断添加到调用堆栈。最终你填满堆栈，你得到堆栈溢出。在运行递归函数时，这总是一个危险，你的递归级别会很深。

Answer 3

出于同样的原因，第一个堆栈溢出... callstack变得太大了。

Answer 4

与第一个函数一样，递归调用最终可能导致系统无法处理。