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

以下情况会导致大“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

---

与第一个函数一样，递归调用可能太多，系统无法处理。

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

出于同样的原因，第一个递归函数有堆栈溢出。。。调用堆栈太大。

您的第二个算法创建了一个

n

长的lambda过程链，每个过程都包含对前一个过程的引用。我不知道Ruby到底是做什么的，但是在一个正确的尾部递归语言中，堆栈在第二个算法中不会溢出，因为lambda中的

k.call

也处于尾部位置。如Brian的实验所示，如果Ruby没有正确的尾部调用，那么调用链头时，对lambda的

n

长嵌套调用链将溢出堆栈，即使Ruby足够聪明，可以将尾部递归

阶乘调用转换为循环（=尾部调用优化）。
-1:cf。“下面的内容对于大‘n’来说可能会溢出，我可以理解为什么“第二个版本仍然在阶乘上递归。我以为Ruby没有进行TCO。但它在到达lambdas之前不会破坏堆栈。我感到困惑。（其他人甚至更困惑，或者没有阅读这个问题。我对其他人投了适当的反对票。）”但是它在到达lambdas之前不会破坏堆栈。”-呃？我不明白。考虑到第二个示例仍然在
阶乘
上递归，我预计它会在到达
k.call（1）的基本情况之前溢出堆栈
。但在上面的第二个示例代码中，对
factorial
的调用不会溢出堆栈（即使对于非常大的n），这与第一个示例的行为不同。第二个示例确实达到了基本情况，并且在大量
k.call
发生之前不会溢出。没有TCO，我看不出它是如何做到这一点的。是的，我同意，必须存在某种形式的简单TCO。相应地进行编辑。澄清-1。我认为我有一个正确的方法（如果不是最好的）CPS风格fn。如果我错了，错在哪里？2.依我看，所有编程语言都会有某种形式的TCO。如果像Anton之前所说的那样，这不应该防止堆栈溢出吗？那么Ruby有“和”没有TCO？我忽略了什么？