在Java中，递归造成的堆栈溢出问题通常是因为递归调用的深度过大，导致调用栈空间不足。解决这类问题的一种常见方法是使用非递归的方式重写算法，即使用迭代替代递归。

1.方法一：非递归的方式重写算法（迭代替代递归）

下面通过一个典型的递归例子——计算斐波那契数列的第n项，来演示如何用迭代的方式避免堆栈溢出。

1.1递归版本的斐波那契数列

递归版本的斐波那契数列实现很简单，但是效率较低，尤其是对于大的n值，很容易造成堆栈溢出。

public class FibonacciRecursive {  
    public static int fibonacci(int n) {  
        if (n <= 1) {  
            return n;  
        } else {  
            return fibonacci(n - 1) + fibonacci(n - 2);  
        }  
    }  
  
    public static void main(String[] args) {  
        int n = 40; // 尝试较大的数，比如40，可能会导致堆栈溢出  
        System.out.println("Fibonacci(" + n + ") = " + fibonacci(n));  
    }  
}
  • 1.
  • 2.
  • 3.
  • 4.
  • 5.
  • 6.
  • 7.
  • 8.
  • 9.
  • 10.
  • 11.
  • 12.
  • 13.
  • 14.

1.2迭代版本的斐波那契数列

迭代版本的斐波那契数列避免了递归调用，因此不会造成堆栈溢出。

public class FibonacciIterative {  
    public static int fibonacci(int n) {  
        if (n <= 1) {  
            return n;  
        }  
        int a = 0, b = 1;  
        for (int i = 2; i <= n; i++) {  
            int temp = a + b;  
            a = b;  
            b = temp;  
        }  
        return b;  
    }  
  
    public static void main(String[] args) {  
        int n = 90; // 即使n很大，也不会导致堆栈溢出  
        System.out.println("Fibonacci(" + n + ") = " + fibonacci(n));  
    }  
}
  • 1.
  • 2.
  • 3.
  • 4.
  • 5.
  • 6.
  • 7.
  • 8.
  • 9.
  • 10.
  • 11.
  • 12.
  • 13.
  • 14.
  • 15.
  • 16.
  • 17.
  • 18.
  • 19.

在迭代版本中，我们使用了两个变量a和b来保存斐波那契数列中的连续两个数，通过循环来计算第n项的值。这种方法避免了递归调用，因此不会造成堆栈溢出，即使n的值很大。

1.3小结

通过迭代替代递归是解决递归造成的堆栈溢出问题的常用方法。在实际开发中，如果递归深度可能非常大，建议首先考虑使用迭代的方式来实现算法。

2.方法二：尾递归优化

尾递归是一种特殊的递归形式，递归调用是函数的最后一个操作。在支持尾递归优化的编程语言中（如Scala、Kotlin的某些情况下，以及通过编译器优化或特定设置的Java），尾递归可以被编译器优化成迭代形式，从而避免堆栈溢出。

然而，标准的Java编译器并不自动进行尾递归优化。但是，我们可以手动将递归函数改写为尾递归形式，并使用循环来模拟递归调用栈。

以下是一个尾递归优化的斐波那契数列示例，但请注意，Java标准编译器不会优化此代码，所以这里只是展示尾递归的形式。实际上，要避免Java中的堆栈溢出，还是需要手动将其改写为迭代形式或使用其他技术。

public class FibonacciTailRecursive {  
    public static int fibonacci(int n, int a, int b) {  
        if (n == 0) return a;  
        if (n == 1) return b;  
        return fibonacci(n - 1, b, a + b); // 尾递归调用  
    }  
  
    public static void main(String[] args) {  
        int n = 40; // 在标准Java中，这仍然可能导致堆栈溢出  
        System.out.println("Fibonacci(" + n + ") = " + fibonacci(n, 0, 1));  
    }  
}
  • 1.
  • 2.
  • 3.
  • 4.
  • 5.
  • 6.
  • 7.
  • 8.
  • 9.
  • 10.
  • 11.
  • 12.

实际上，在Java中避免堆栈溢出的正确方法是使用迭代，如之前所示。

3.方法三：使用自定义的栈结构

另一种方法是使用自定义的栈结构来模拟递归过程。这种方法允许你控制栈的大小，并在需要时增加栈空间。然而，这通常比简单的迭代更复杂，且不太常用。

以下是一个使用自定义栈来计算斐波那契数列的示例：

import java.util.Stack;  
  
public class FibonacciWithStack {  
    static class Pair {  
        int n;  
        int value; // 用于存储已计算的值，以避免重复计算  
  
        Pair(int n, int value) {  
            this.n = n;  
            this.value = value;  
        }  
    }  
  
    public static int fibonacci(int n) {  
        Stack<Pair> stack = new Stack<>();  
        stack.push(new Pair(n, -1)); // -1 表示值尚未计算  
  
        while (!stack.isEmpty()) {  
            Pair pair = stack.pop();  
            int currentN = pair.n;  
            int currentValue = pair.value;  
  
            if (currentValue != -1) {  
                // 如果值已经计算过，则直接使用  
                continue;  
            }  
  
            if (currentN <= 1) {  
                // 基本情况  
                currentValue = currentN;  
            } else {  
                // 递归情况，将更小的n值压入栈中  
                stack.push(new Pair(currentN - 1, -1));  
                stack.push(new Pair(currentN - 2, -1));  
            }  
  
            // 存储计算过的值，以便后续使用  
            stack.push(new Pair(currentN, currentValue));  
        }  
  
        // 栈底元素存储了最终结果  
        return stack.peek().value;  
    }  
  
    public static void main(String[] args) {  
        int n = 40;  
        System.out.println("Fibonacci(" + n + ") = " + fibonacci(n));  
    }  
}
  • 1.
  • 2.
  • 3.
  • 4.
  • 5.
  • 6.
  • 7.
  • 8.
  • 9.
  • 10.
  • 11.
  • 12.
  • 13.
  • 14.
  • 15.
  • 16.
  • 17.
  • 18.
  • 19.
  • 20.
  • 21.
  • 22.
  • 23.
  • 24.
  • 25.
  • 26.
  • 27.
  • 28.
  • 29.
  • 30.
  • 31.
  • 32.
  • 33.
  • 34.
  • 35.
  • 36.
  • 37.
  • 38.
  • 39.
  • 40.
  • 41.
  • 42.
  • 43.
  • 44.
  • 45.
  • 46.
  • 47.
  • 48.
  • 49.

在这个示例中，我们使用了一个栈来模拟递归过程。每个Pair对象都存储了一个n值和一个对应的斐波那契数值（如果已计算的话）。我们通过将较小的n值压入栈中来模拟递归调用，并在需要时从栈中取出它们来计算对应的斐波那契数值。这种方法允许我们控制栈的使用，并避免了递归造成的堆栈溢出问题。