为什么可以从StackOverflowError中恢复？

Question

我很惊讶即使StackOverflowError在Java中发生故障后仍可以继续执行。

我知道那StackOverflowError是Error类的一个子集。错误类Error被贬义为“
Throwable的子类，它指示合理的应用程序不应尝试捕获的严重问题”。

这听起来像是一条建议，而不是一条规则，这表明实际上允许捕获像StackOverflowError这样的错误，这取决于程序员的合理性。看到了，我测试了这段代码，它正常终止。

public class Test
{
    public static void main(String[] args)
    {
        try {
            foo();
        } catch (StackOverflowError e) {
            bar();
        }
        System.out.println("normal termination");
    }

    private static void foo() {
        System.out.println("foo");
        foo();
    }

    private static void bar() {
        System.out.println("bar");
    }
}

怎么会这样？我认为，当引发StackOverflowError时，堆栈应该已满，以至于没有空间可以调用另一个函数。错误处理块是在其他堆栈中运行还是在这里发生了什么？

Answer 1

当堆栈溢出并被StackOverflowError抛出时，通常的异常处理将展开堆栈。展开堆栈意味着：

• 中止当前活动功能的执行
• 删除其堆栈帧，继续执行调用函数
• 中止调用者的执行
• 删除其堆栈帧，继续执行调用函数
• 等等…

…直到发现异常。这是正常的（实际上是必要的），并且与引发哪个异常以及原因无关。由于您是在第一次调用之外捕获到异常的foo()，因此foo已清除了填充堆栈的数千个堆栈帧，并且大部分堆栈可以自由使用。