try-catch-finally块的实现原理

ゞ浴缸里的玫瑰 2022-07-24 10:20 124阅读 0赞

代码片段1

public class TestMain {
        public static void main(String[] args) {
    
    
    
            try {
                String A="hello world !";
            }catch (Exception e){
                e.printStackTrace ();
            }
            finally {
                System.out.println ( "nihao" );
            }
    
        }
    }

字节码

Compiled from "TestMain.java"
    public class TestMain {
      public TestMain();
        Code:
           0: aload_0
           1: invokespecial #1                  // Method java/lang/Object."<init>":()V
           4: return
    
      public static void main(java.lang.String[]);
        Code:
           0: ldc           #2                  // String hello world !
           2: astore_1
           3: getstatic     #3                  // Field java/lang/System.out:Ljava/io/PrintStream;
           6: ldc           #4                  // String nihao
           8: invokevirtual #5                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
          11: goto          41
          14: astore_1
          15: aload_1
          16: invokevirtual #7                  // Method java/lang/Exception.printStackTrace:()V
          19: getstatic     #3                  // Field java/lang/System.out:Ljava/io/PrintStream;
          22: ldc           #4                  // String nihao
          24: invokevirtual #5                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
          27: goto          41
          30: astore_2
          31: getstatic     #3                  // Field java/lang/System.out:Ljava/io/PrintStream;
          34: ldc           #4                  // String nihao
          36: invokevirtual #5                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
          39: aload_2
          40: athrow
          41: return
        Exception table:// 异常表
           from    to  target type
               0     3    14   Class java/lang/Exception//0-3号指令中，碰到 Exception 时，跳到 14 号指令            0     3    30   any
              14    19    30   any
    }

## 异常表 ##

属性表（attribute\_info）可以存在于 Class 文件、字段表、方法表中，用于描述某些场景的专有信息。属性表中有个 Code 属性，该属性在方法表中使用，Java 程序方法体中的代码被编译成的字节码指令存储在 Code 属性中。而异常表（exception\_table）则是存储在 Code 属性表中的一个结构，这个结构是可选的。

## 异常表结构 ##

异常表结构如下表所示。它包含四个字段：如果当字节码在第 start\_pc 行到 end\_pc 行之间（即\[start\_pc, end\_pc)）出现了类型为 catch\_type 或者其子类的异常（catch\_type 为指向一个 CONSTANT\_Class\_info 型常量的索引），则跳转到第 handler\_pc 行执行。如果 catch\_type 为0，表示任意异常情况都需要转到 handler\_pc 处进行处理。

<table style=""> 
 <thead style=""> 
  <tr style=""> 
   <th style="">类型</th> 
   <th style="">名称</th> 
   <th style="">数量</th> 
  </tr> 
 </thead> 
 <tbody style=""> 
  <tr style=""> 
   <td style="">u2</td> 
   <td style="">start_pc</td> 
   <td style="">1</td> 
  </tr> 
  <tr style=""> 
   <td style="">u2</td> 
   <td style="">end_pc</td> 
   <td style="">1</td> 
  </tr> 
  <tr style=""> 
   <td style="">u2</td> 
   <td style="">handler_pc</td> 
   <td style="">1</td> 
  </tr> 
  <tr style=""> 
   <td style="">u2</td> 
   <td style="">catch_type</td> 
   <td style="">1</td> 
  </tr> 
 </tbody> 
</table>