为什么可以从堆栈溢出错误中恢复？

Question

令我惊讶的是，即使在Java中发生了StackOverflowerError之后，仍然可以继续执行。

我知道StackOverflowerError是类错误的子类。类错误被描述为“Throwable的一个子类，表示合理的应用程序不应试图捕捉的严重问题。”

这听起来更像是一个建议而不是规则，补充说捕获像StackOverflow Error这样的错误实际上是允许的，这取决于程序员不这样做的合理性。看，我测试了这段代码，它正常终止。

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

当堆栈溢出发生时，JVM将弹出到catch，释放堆栈。

在您的示例中，它得到了所有堆叠的foo。

Answer 2

抛出StackOverflowerError时，堆栈已满。然而，当它被捕获时，所有这些foo调用都从堆栈中弹出bar可以正常运行，因为堆栈不再溢出foo（注意，我认为JLS不能保证您可以从这样的堆栈溢出中恢复。）

Answer 3

当堆栈溢出并抛出StackOverflow Error时，通常的异常处理会展开堆栈。展开堆栈意味着：

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

...直到捕获异常。这是正常的（事实上是必要的），并且与抛出哪个异常以及原因无关。由于您在第一次调用foo（）之外捕获了异常，因此填充堆栈的数千个foo堆栈帧已全部展开，并且堆栈的大部分可以自由再次使用。