并行递归过程中的StackOverflowError[Java]

Question

    static boolean Odd(long n) {
    if (n == 0) return false;
    else return Even(n - 1);     
    }
    
    static boolean Even(long d) {
    if (d == 0) return true;
    else return Odd(d - 1);  
    }
    
    public static void main(String[] args) {
        long x = 0; 
        while(x>=0) {
            System.out.println("Insert number");
            x = SavitchIn.readLong();
            boolean isOdd = Odd(x);
            if(isOdd) {
                System.out.println("Odd number");
            }else {
                System.out.println("Even number");
        }
        
        }
        
    }

Answer 1

要理解为什么会得到StackOverflowError，您需要理解在代码中进行函数调用时会发生什么，以及如何在实际处理器中执行。

运行程序时，所有相关联的代码和符号都会加载到内存中，然后逐行执行。您有一个名为Program Counter的寄存器，它基本上充当指向当前执行的代码行的指针。

但是，当要执行的行是一个函数时，该函数的代码不能立即在下一个内存地址上可用。相反，该函数将在内存中的不同位置可用。因此，当处理单元看到一个函数调用时，它复制几个重要的统计数据，如程序计数器[PC]（以知道代码执行了多远）、寄存器值等，并将这些数据推入堆栈。此数据结构是堆栈的原因可以通过下面的简单代码示例来解释：

public class Example {
  public int func1() {
    int a = 10, b = 20;
    int c = a+b;
    return c;
  }
  
  public int func2() {
    int a = 100;
    int b = func1();
    return a*b;
  }

  public static void main(String args[]) {
    int attr = 10;
    int result = func2() / 10;
    System.out.println(result);
  }
}

所以此时，系统会将PC机和其他内存推入堆栈，然后移动到FUNC2的位置。在func2中，执行第1行时将a的值设置为100。func2的第2行再次是一个函数调用，因此，所有的数据现在再次被推送到堆栈上，并执行func1。

在func1中，我们没有函数调用，因此不再发生堆栈推送。Func1有3行代码，它们一个接一个地执行。但是，仅仅因为我们到达了func1的末尾，并不意味着我们已经完成了代码的执行。我们仍然必须执行func2和main的其余部分。我们需要执行的第一组代码是func2，因为func2名为func1。这正是我们在堆栈中所拥有的（堆栈顶部有func2值）。因此，我们弹出它，继续执行func2，一旦完成，我们回到堆栈，看到有一个来自main函数的条目。所以我们把它弹出来，完成执行。

现在我们已经了解了这一点，在您的代码中，您可以看到，Odd()和Even（）方法递归地相互调用。对于少量的5，我们看到以下情况：

Main( 
  -push-> Odd(5 
    -push-> Even(4 
      -push-> Odd(3 
        -push-> Even(2 
          -push-> Odd(1 
            -push-> Even(0 
              [return's true]
            ) -pop-> 
          ) -pop->
        ) -pop->
      ) -pop-> 
    ) -pop-> 
  ) -pop-> 
)