Fibonacci函数导致堆栈溢出

Question

我仍在学习F＃，所以请对我保持温柔！ 我试图定义一个函数来生成像这样的斐波那契数...

let rec fib n =
  match n with
  | 0 -> 1
  | 1 -> 1
  | n -> fib(n-1) + (fib n-2)

但是，尽管这给出了0和1的正确结果，但给出了2的堆栈溢出。我知道这不是尾递归，但是对于2的输入，我不希望这是一个问题。

我认为模式匹配一​​直在进行下去，因此输入2时，它将匹配第三个模式，结果为1 + 1（即fib 0和fib 1的结果）。

为什么我会得到SO？

Answer 1

您声明：

| n -> fib(n-1) + (fib n-2)

手段：

| n -> fib(n-1) + fib(n)-2

如果我有这样的调用，它将与fib(n-1)一起很好地工作，因为每次调用n的值​​都会减少1，而对于fib(n)您将继续调用具有相同值的相同方法，直到您获取stackoverflow异常。 为避免这种情况，您需要：

| n -> fib(n-1) + fib(n-2)