try-catch-finally的字节码原理

于 2023-08-01 21:46:01 发布
阅读量318 收藏
点赞数
分类专栏： JVM 文章标签： 开发语言 java jvm
原文链接：https://blog.csdn.net/qq_21383435/article/details/125243824
版权

Java 中有一个非常重要的内容是 try-catch-finally 的执行顺序和返回值问题，其中 finally 一定会执行，但是为什么会这样？ 下面看下 try-catch-finally 背后的实现原理

try-catch

public class Test {

    public static void main(String[] args) {
        foo();
    }

     public static void foo() {
       try {
           int i = 1 / 0;
       }catch (Exception e){
           System.out.println("执行异常");
           e.printStackTrace();
       }
    }

}

字节码

public class com.yxzapp.Test {
  public com.yxzapp.Test();
    Code:
       0: aload_0
       1: invokespecial #1                  // Method java/lang/Object."<init>":()V
       4: return

  public static void main(java.lang.String[]);
    Code:
       0: invokestatic  #2                  // Method foo:()V
       3: return

  public static void foo();
    Code:
       0: iconst_1                         // 将int 类型值1压栈到栈顶
       1: iconst_0						   // 将int 类型值0压栈到栈顶
       2: idiv                             // 将栈顶两int型数值相除并将结果压入栈顶
       3: istore_0                         // 将栈顶类型int数据存储到局部变量表下标0
       4: goto          20                 // 如果不抛异常跳到20行
       7: astore_0                         // 将引入对象（异常对象）存储局部变量表下标0
       8: getstatic     #4                  // Field java/lang/System.out:Ljava/io/PrintStream;
      11: ldc           #5                  // String 鎵ц寮傚父
      13: invokevirtual #6                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
      16: aload_0
      17: invokevirtual #7                  // Method java/lang/Exception.printStackTrace:()V
      20: return
    Exception table:
       from    to  target type
           0     4     7   Class java/lang/Exception
}

17 4: goto 20 // 如果不抛异常跳到20行

如果有异常抛出，如何处理呢？

当方法包含 try-catch 语句时，在编译单元生成的方法的 Code 属性中会生成一个异常表 （Exception table）, 每个异常项表示一个异常处理器， 由 from 指针 、to 指针、target 指针 、所捕获的异常类型 type 四部分组成。这些指针的值是字节码索引，用于定位字节码。其含义是在 [from ,to) 字节码范围内，如果跑出来异常类型为 type 的异常，就会跳转到 target 指针表示的字节码处继续执行。

上面的例子中 Exception table表示，在 0 - 4 之间（不包含4），如果抛出类型为 Exception 或其子类就跳转到7继续执行

当抛出异常时，Java 虚拟机会自动将异常对象加载到操作数栈栈顶

多try-catch

public class Test {

    public static void main(String[] args) {
        foo();
    }

    public static void foo() {
       try {
           int i = 1 / 0;
       }catch (ArithmeticException e){
           System.out.println("执行异常 ArithmeticException");
           e.printStackTrace();
       } catch (NullPointerException e){
           System.out.println("执行异常 NullPointerException");
           e.printStackTrace();
       }

    }

}

字节码

public class com.yxzapp.Test {
  public com.yxzapp.Test();
    Code:
       0: aload_0
       1: invokespecial #1                  // Method java/lang/Object."<init>":()V
       4: return

  public static void main(java.lang.String[]);
    Code:
       0: invokestatic  #2                  // Method foo:()V
       3: return

  public static void foo();
    Code:
       0: iconst_1
       1: iconst_0
       2: idiv
       3: istore_0
       4: goto          36
       7: astore_0
       8: getstatic     #4                  // Field java/lang/System.out:Ljava/io/PrintStream;
      11: ldc           #5                  // String 鎵ц寮傚父 ArithmeticException
      13: invokevirtual #6                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
      16: aload_0
      17: invokevirtual #7                  // Method java/lang/ArithmeticException.printStackTrace:()V
      20: goto          36
      23: astore_0
      24: getstatic     #4                  // Field java/lang/System.out:Ljava/io/PrintStream;
      27: ldc           #9                  // String 鎵ц寮傚父 NullPointerException
      29: invokevirtual #6                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
      32: aload_0
      33: invokevirtual #10                 // Method java/lang/NullPointerException.printStackTrace:()V
      36: return
    Exception table:
       from    to  target type
           0     4     7   Class java/lang/ArithmeticException
           0     4    23   Class java/lang/NullPointerException
}

可以看到 ，多一个 catcha 语句处理分析， 异常表里面就会多一条记录，当程序出现异常时， Java 虚拟机会从上至下遍历异常表中所有的条目。当触发异常的字节码索引值在某个条目的 [from 、to）范围内，则会判断抛出的异常是否是想捕获的异常或子类

如果异常匹配， Java 虚拟机将控制跳转到 target 指向的字节码继续执行；如果不匹配，则继续遍历异常表。如果遍历完所有的异常表还未找到匹配的异常处理器，那么该异常将继续抛到调用方 （caller）中重复上述的操作

try-catch-finally

public class Test {

    public static void main(String[] args) {
        foo();
    }

    public static void foo() {
       try {
           int i = 1 / 0;
       }catch (ArithmeticException e){
           System.out.println("执行异常 ArithmeticException");
           e.printStackTrace();
       } finally {
           System.out.println("执行");
       }

    }

}

字节码

public class com.yxzapp.Test {
  public com.yxzapp.Test();
    Code:
       0: aload_0
       1: invokespecial #1                  // Method java/lang/Object."<init>":()V
       4: return

  public static void main(java.lang.String[]);
    Code:
       0: invokestatic  #2                  // Method foo:()V
       3: return

  public static void foo();
    Code:
       0: iconst_1                          // 将int 类型值1压栈到栈顶
       1: iconst_0                          // 将int 类型值0压栈到栈顶
       2: idiv                              // 将栈顶两int型数值相除并将结果压入栈顶
       3: istore_0							
                                    // 开始执行 finally 代码块
       4: getstatic     #3                  // Field java/lang/System.out:Ljava/io/PrintStream;
       7: ldc           #4                  // String 鎵ц
       9: invokevirtual #5                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
      12: goto          50
      15: astore_0
                                    // 异常（被catch）情况下开始执行 finally 代码块
      16: getstatic     #3                  // Field java/lang/System.out:Ljava/io/PrintStream;
      19: ldc           #7                  // String 鎵ц寮傚父 ArithmeticException
      21: invokevirtual #5                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
      24: aload_0
      25: invokevirtual #8                  // Method java/lang/ArithmeticException.printStackTrace:()V
      28: getstatic     #3                  // Field java/lang/System.out:Ljava/io/PrintStream;
      31: ldc           #4                  // String 鎵ц
      33: invokevirtual #5                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
      36: goto          50
      39: astore_1
                                    // 异常（catch中执行出现异常）代码块出现异常 情况下开始									   执行 finally 代码块
      40: getstatic     #3                  // Field java/lang/System.out:Ljava/io/PrintStream;
      43: ldc           #4                  // String 鎵ц
      45: invokevirtual #5                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
      48: aload_1
      49: athrow
      50: return
    Exception table:
       from    to  target type
           0     4    15   Class java/lang/ArithmeticException
           0     4    39   any
          15    28    39   any
}

可以看出字节码中 出现三次调用

   getstatic     #3                     // Field java/lang/System.out:Ljava/io/PrintStream;
   ldc           #4                        // String 鎵ц
   invokevirtual #5                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V

都是在程序正常 return 和异常 throw 之前，其中两处在 try-catch 语句调用 return 之前，一处是在异常抛出 throw 之前

由代码可知，现在的 Java 编译器采用复制 finally 代码块的方式，并将其内容插入到 try 和 catch 代码块中所有正常退出和异常退出之前。这样就解释了我们一直以来所熟知的 finally 语句块一定会执行

ゞ浪人与酒丶0
关注
专栏目录
【java】java try catch finally 字节码原理 finally语句为何一定会执行
九师兄
06-12 456
以前只知道有这么回事，但是却不知道原理，在本章节了解到相关原理。本章出自《深入理解JVM字节码 》Java中有一个非常重要的内容是try-catch-finally 的执行顺序和返回值问题，大部分书里说过finally 一定会执行，但是为什么是这样?下面来看看try-catch-finally 这个语法糖背后的实现原理。下面是一个简单的try-catch的例子。 对应的字节码如下第0~1行: aload_0指令加载this,随后使用invokevirtual 指令调用try[tOut1 方法，关于invok
面试题：使用 try-catch 捕获异常会影响性能吗？
最新发布
xuxu96
12-27 529
不知道从何时起，传出了这么一句话：Java中使用try catch 会严重影响性能。然而，事实真的如此么？我们对try catch 应该畏之如猛虎么？
从字节码角度分析try catch finally这个语法糖背后的实现原理
weixin_45643165的博客
03-27 487
如果catch语句并未成功捕获此异常，根据异常表将跳转至30行，然后至40行抛出异常最后结束。如果方法A出现异常，根据下面的异常表，将跳转至14行，执行至27行然后跳转到41行结束。黄色框内为finally语句对应的字节码，可以看到其一共出现了三次。如果方法A未出现异常，程序将顺序执行至11行，然后跳转到41行结束。这就是try catch finally语法糖在字节码层面的原理。可以看到，每条分支最终都将会执行到finally中的代码。使用jclasslib查看字节码。
从字节码层面看try-catch-finally的实现机制
qq_37720278的博客
01-29 710
考虑以下方法可能的执行流程 public static int A() { try {//代码块1 return B(); }catch (Exception e){//代码块2 C(); } finally {//代码块3 System.out.pr...
通过字节码理解try-catch-finally
黄智霖的博客
02-28 4451
对于以下代码： public int test() { int x; try { x = 1; return x; } catch (Exception e) { x = 2; return x; } finally { x = 3; } } 结论： 如果trye语句没有出现属于Exceptio
从字节码角度分析一下try-catch-finally执行流程
Java搜索工程技术栈
02-22 472
环境准备：IntelliJ IDEA 2020.2.3、JDK 1.8.0_181 执行顺序 我们先来写一段简单的代码： publicstaticinttest1(){ intx=1; try{ returnx; }finally{ x=2; } } 答案是1不是2，你答对了吗？ 大家都知道在TCF中，执行到return的时候会先去执行finally中的操作，然后才会返回来执行return，那这里为啥会是...
try-catch-finally字节码分析及其常见问题最全总结——Java进阶
代码段小站的博客
04-15 371
原文链接：try-catch-finally字节码实例探究 | 代码段小站 ，欢迎访问我的博客 本文使用Idea的jclasslib插件查看字节码。本文全程自言自语，请勿自行代入。 概述 java是怎么处理try-catch-finally的？ 需要了解的是，在class字节码中的属性表中，存在code属性，它用于存放各方法的字节码、属性等。其中就包括exception_info，即异常表，它记录...
JVM 是怎样执行 try-catch-finally的？ 为什么finally 一定会执行呢?
Tomcat那些事儿
04-26 577
异常是怎样执行的？ 上回书说 Java 的 代码会编译成 .class 文件，也就是常说的字节码，然后在执行引擎里跑起来。 那为了跑的稳，就需要把已知可能遇到的问题先想好应对办法，也就是代码里的try-catch。 比如通过 JDBC 连库，一般会 加载驱动包 获取连接 比如下面的代码 public void demoCatch() { try { ...
java中的异常及异常处理 ：try、catch、finally、throw、throws
maker.dong的博客
01-07 891
这里写自定义目录标题【异常】主要内容第一章 异常1.1 什么是异常1.2 异常体系1.3 异常的分类1.4 异常是如何产生的第二章 处理异常的方式2.1 抛出异常throw2.2 声明异常throws2.3 捕获异常try…catch2.4 finally 代码块2.5 Objects非空判断2.6 异常注意事项第三章 自定义异常3.1 概述3.2 自定义异常的练习 【异常...
Java 类机制（4）---- 字节码和方法执行
指点
09-30 906
文章目录前言Code 表解析ExceptionTable其他信息方法的执行局部变量表操作数栈动态链接方法返回地址方法返回地址 前言 ​ 大家好，不知不觉已经到 9 月份了，本篇文章是 Java 类机制的最后一篇，我们来一起探讨一下关于 Java 的字节码和方法调用。本篇文章参考了《深入理解 JVM 虚拟机》一书。 在开始之前我们先回顾一下在之前讲过的内容，在 Java 类机制（3）---- 类文...
简单谈谈java的异常处理(Try Catch Finally)
09-02
在程序设计中，进行异常处理是非常关键和重要的一部分。一个程序的异常处理框架的好坏直接影响到整个项目的代码质量以及后期维护成本和难度。
从字节码角度看try catch finally处理过程
weixin_34247299的博客
12-30 112
本文通过分析一段示例代码的字节码指令，讨论异常流程的处理。 一 示例代码 代码如下，在讨论异常处理流程前，不妨先思考一下，在抛出异常和不抛出异常时，返回的结果是多少？是3，是4，还是5？为什么？ public int test() { int x ; // int y = 0 ; try {...
java finally 笔试题_从 Java 字节码角度看 try catch finally 面试题
weixin_39857174的博客
02-25 150
Java 笔试中，经常会考 try catch finally执行顺序和返回值的问题，大部分都只在书里面看过，说 finally 一定会执行。其背后的原因值得深究，看看 try catch finally 这个语法糖背后的实现原理try catch 字节码分析public class TryCatchFinallyDemo {public void foo() {try {tryItOut1();...
try catch finally的底层原理
Java和Android架构
11-17 468
来源：https://blog.csdn.net/lwd512768098/article/details/114728720昨晚参加一个面试，被问到try catch finally相关...
Java基础之try catch finally的原理
三易专栏
02-12 1133
先看一段代码 public class TestMain { public static int test() { int i = 0; try { System.out.println("业务执行"); // 标记1 i = 1 / 0; System.out.println("业务执行完成"); i++; return i; // 标记2 } catch (Exception e) { System.out.println("捕捉异常"); // 标记3 i++; return i; // 标记4 }
从字节码角度带你彻底理解异常中catch，return和finally，再也不用死记硬背了
weixin_53142722的博客
06-28 728
6000字带你彻彻底底理解 try catch finally的执行顺序 ，以后再也不用死记硬背了！结论全部有理有据! finally和return的执行顺序；
JAVA基础(下)
A_Pluto_i的博客
08-28 237
JAVA基础（下）
字节码层面理解try、catch、finally
IT乐知
05-08 204
​面试中经常有关于try、catch、finally相关的问题，今天从字节码层面了解他们的运行流程。
通过字节码理解try-catch-finally ，通俗易懂
Java架构师历程
11-27 224
通过字节码理解try-catch-finally 强烈推介IDEA2021.1.3破解激活，IntelliJ IDEA 注册码，2021.1.3IDEA 激活码 大家好，我是架构君，一个会写代码吟诗的架构师。今天说一说通过字节码理解try-catch-finally,希望能够帮助大家进步!!!场景对于以下代码：public int test() { int x; try { x = 1; return x; } catch (Exception e) { x = 2; return x; ...
Java异常处理基础：try-catch-finally结构详解
- 字节码与Java虚拟机：Java源代码首先通过编译器（javac.exe）转换为字节码，这是一种中间语言，可以在任何支持Java的平台上由Java虚拟机（JVM）解释执行。JVM作为独立于特定操作系统的一种抽象层，使得Java具有跨...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值