在编译级别1.4时jvm编译try/catch/finally块的方式

最新推荐文章于 2022-06-14 15:43:05 发布

yueyemaitian

最新推荐文章于 2022-06-14 15:43:05 发布

阅读量146

点赞数

分类专栏： jvm java 文章标签： jvm jsr goto finally inline finally

本文链接：https://blog.csdn.net/yueyemaitian/article/details/84407283

版权

java 同时被 2 个专栏收录

43 篇文章 0 订阅

订阅专栏

jvm

28 篇文章 0 订阅

订阅专栏

先上一段很简单，且不考虑健壮性的源码：

import java.io.FileInputStream;
import java.io.IOException;
public class TryCatchFinallyTest {
	/**
	 * @param args
	 * @throws IOException 
	 */
	public static void main(String[] args) throws IOException {
		FileInputStream fips = null;
		try {
			fips = new FileInputStream("hello.txt");
			fips.read();
		} catch (IOException e) {
			e.printStackTrace();
		} finally {
			fips.close();
		}
	}
}

然后上一段这段代码在eclipse编译级别为1.4、没有inline finally块时编译出的字节码：

// Compiled from TryCatchFinallyTest.java (version 1.2 : 46.0, super bit)
public class TryCatchFinallyTest {
  // Method descriptor #6 ()V
  // Stack: 1, Locals: 1
  public TryCatchFinallyTest();
    0  aload_0 [this]
    1  invokespecial java.lang.Object() [8]
    4  return
      Line numbers:
        [pc: 0, line: 6]
      Local variable table:
        [pc: 0, pc: 5] local: this index: 0 type: TryCatchFinallyTest
  // Method descriptor #15 ([Ljava/lang/String;)V
  // Stack: 3, Locals: 5
  public static void main(java.lang.String[] args) throws java.io.IOException;
     0  aconst_null
     1  astore_1 [fips]
     2  new java.io.FileInputStream [19]
     5  dup
     6  ldc <String "hello.txt"> [21]
     8  invokespecial java.io.FileInputStream(java.lang.String) [23]
    11  astore_1 [fips]
    12  aload_1 [fips]
    13  invokevirtual java.io.FileInputStream.read() : int [26]
    16  pop
    17  goto 43
    20  astore_2 [e]
    21  aload_2 [e]
    22  invokevirtual java.io.IOException.printStackTrace() : void [30]
    25  goto 43
    28  astore 4
    30  jsr 36
    33  aload 4
    35  athrow
    36  astore_3
    37  aload_1 [fips]
    38  invokevirtual java.io.FileInputStream.close() : void [33]
    41  ret 3
    43  jsr 36
    46  return
      Exception Table:
        [pc: 2, pc: 17] -> 20 when : java.io.IOException
        [pc: 2, pc: 25] -> 28 when : any
        [pc: 43, pc: 46] -> 28 when : any
      Line numbers:
        ......
      Local variable table:
        [pc: 0, pc: 47] local: args index: 0 type: java.lang.String[]
        [pc: 2, pc: 47] local: fips index: 1 type: java.io.FileInputStream
        [pc: 21, pc: 25] local: e index: 2 type: java.io.IOException
}

2-17是try块代码；

20-25是catch块代码；

28-35是编译期生产的catch块之外的异常即any类型异常要执行的代码；

36-41是finally块代码；

43-46是编译期生成的字节码；

其中偏移量17和25处都是goto 43，然后jsr到finally，即try和catch块都是到43；any类型中有一条指令jsr到finally块。

归纳总结下，try/catch/finally结构中：

1、try/catch块翻译成指令后最后一条字节码指令都是goto到一个编译出来的块A（43-46），A第一条指令（43）即jsr到finally块第一条指令，finally完就ret到A第二条指令即return（46）

2、any块，即catch之外的异常类型，也即any，是jvm自己构造了一个指令块B（28-35），先store下这种异常实例到局部变量表（28），然后jsr到finally块中（30），finally完就ret到B的第三条指令（33）执行，load出之前存储到局部变量表的异常实例，然后athrow（35）。

JSR指令后边一般是：

1、load返回值然后return的指令（try/catch块，有返回值）

2、直接return（try/catch块，无返回值）

3、load出异常然后athrow（catch any）