“ try / catch”如何详细工作

Question

我想了解try {} catch {}块和堆栈跟踪的工作原理。

我正在阅读这篇有关异常处理反模式的出色文章，发现以下段落：

catch (NoSuchMethodException e) {
  throw new MyServiceException("Blah: " +
      e.getMessage());
}

这破坏了原始异常的堆栈跟踪，并且总是错误的。

那之后，我意识到，我并不 真的 知道如何try/catch工作。我的理解如下。考虑示例：

void top() {
    try {
        f();
    } catch (MyException ex) {
        handleIt(); 
    } finally {
        cleanup();
    }
}

void f() {
    g();
}

void g() {
    throw new MyException();
}

当我调用时top()，调用链 在调用堆栈上top -> f -> g
留下两个堆栈帧（用于top和f函数）。当在中引发异常时g，程序将使执行堆栈冒泡，直到找到try/catch处理该异常的块为止。同时，它释放了堆栈框架，并将堆栈跟踪信息附加到可以传递到的“魔术”对象上，catch并且可以打印堆栈跟踪。

如何知道try /
catch块“包围了”被调用函数？该信息是否绑定到堆栈框架？例如，指向错误处理块的指针（某些开关选择匹配的catch块）和指向finally块的指针？为什么e.getMessage()在上面的示例中具有破坏性（请参见注释）？

注意，我 知道 如何使用try / catch和异常，我想知道它如何 在内部 工作。

Answer 1

“它怎么知道被调用的函数被try / catch块“包围”？”

每个方法的代码都包含异常表，该异常表描述了该方法的所有try-
catch块。

当调用过程（函数，方法）时，当前堆栈帧会附加调用指令的地址，以便在正确的指令（调用指令之后）恢复该帧的执行。

当执行throw语句时，JVM
会检查每个堆栈框架
以了解该框架是否可以处理异常。如果它的方法包含一个try-
catch块，该块包含调用指令，并且它的异常类型是抛出的异常的超类型（或相同），则它可以。如果找到了这样的框架，则该框架将从try-
catch块指向的指令中恢复其执行。