JVM如何保证finally块的执行？

Question

这个问题的目的 是JVM如何保证finally块的执行 （前提是JVM不会崩溃并且线程不会中断或退出）。

在面试问题的提示下，我试图了解JVM如何确保即使在奇怪的情况下也可以执行finally块。请考虑以下代码：

try{

    int[] someArray = new int[10];
    int invalid = someArray[10];
}
catch(IndexOutOfBoundsException e){

    throw new RuntimeException("Other Exception");
}
finally{

    //close open files or HTTP connections etc.
}

尽管这可能是一个奇怪的情况，但是即使未明确处理“ 其他异常”， 仍可以保证执行finally块。JVM如何处理这种情况？

我的想法：

据我到目前为止的了解和了解，当遇到未处理的异常时，控制权将从当前线程转移到（ThreadGroup我认为是该线程）。可能有一些规定ThreadGroup检查需要执行的finally块吗？我能想到的唯一的另一件事可能是finally块的地址存储在某个地方。然后，JVM在检测到异常时执行goto动作，并在finally块完成执行后返回该异常。

谁能澄清这个过程实际上是如何发生的？

Answer 1

编译这个小程序（我意识到我应该使用您的示例，但是没关系）

public static void main(String[] args) {
    try {
        Float s = Float.parseFloat("0.0327f");
    } finally {
        System.out.println("hello");
    }
}

我用了

>java -version 
java version "1.8.0-ea"  // should be same for 7
Java(TM) SE Runtime Environment (build 1.8.0-ea-b118)
Java HotSpot(TM) 64-Bit Server VM (build 25.0-b60, mixed mode)

然后执行

javac -v -c <fully qualified class name>

获取字节码。您会看到类似

public static void main(java.lang.String[]);
  flags: ACC_PUBLIC, ACC_STATIC
  Code:
    stack=2, locals=3, args_size=1
       0: ldc           #2                  // String 0.0327f
       2: invokestatic  #3                  // Method java/lang/Float.parseFloat:(Ljava/lang/String;)F
       5: invokestatic  #4                  // Method java/lang/Float.valueOf:(F)Ljava/lang/Float;
       8: astore_1
       9: getstatic     #5                  // Field java/lang/System.out:Ljava/io/PrintStream;
      12: ldc           #6                  // String hello
      14: invokevirtual #7                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
      17: goto          31
      20: astore_2
      21: getstatic     #5                  // Field java/lang/System.out:Ljava/io/PrintStream;
      24: ldc           #6                  // String hello
      26: invokevirtual #7                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
      29: aload_2
      30: athrow
      31: return
    Exception table:
       from    to  target type
           0     9    20   any
          20    21    20   any
    LineNumberTable:
      line 10: 0
      line 12: 9
      line 13: 17
      line 12: 20
      line 14: 31
    StackMapTable: number_of_entries = 2
         frame_type = 84 /* same_locals_1_stack_item */
        stack = [ class java/lang/Throwable ]
         frame_type = 10 /* same */

您会注意到中的 代码finally出现了两次，一次在之前goto，一次在之后。您还会注意到Exception table，如果在某行发生异常，则which指定要去的语句。

因此，如果在语句0-9之间发生任何异常，请转到第20行并在finally之后执行内的所有内容goto。如果没有异常，请执行finally，然后goto在finally之后执行跳过goto。

在所有情况下，您都将在finally块内执行代码。

未明确处理其他异常

使用一个finally块，Exception table将创建一个条目，该条目将处理 任何 类型的Throwable。

这是字节码指令的清单。