try、catch、finally代码块中处理 return 时返回的不同结果

注:无论 try 子句中执行了return、break 还是 continue 语句,或是程序出现异常,finally 子句块都会被执行。除非直接调用 System.exit() 来终止程序。

来看这样一段有意思的代码~

java 复制代码
public class Demo_try_catch_finally {
    public static int get(){
        int x = 1;
        try{
            x = 2;
            return x;
        }catch (Exception e){
            x = 3;
            return x;
        }finally {
            x = 4;
        }
    }
    public static void main(String[] args) {
        System.out.println(get());
    }
}

它的返回结果是多少呢?4?3?2?1?总之,总会有一个是对的!

咱们来 debug 一下,你会发现第一次执行的是 x=2,return x; 这里没有问题,我们按F7查看程序执行的下一步。

程序并没有跟我们想象的那样,执行return语句后,直接返回。如下图所示,它直接去执行finally中的代码。

执行完finally中的代码后,你会发现debug又回到了try代码块中,并且这时候x是等于4的。感觉没毛病了,大家肯定都会觉得返回结果一定是4没错了,收工~

看看控制台,直接裂开!!!居然是2!!!

为什么程序的返回结果是2而不是4呢?

来看看官方的JVM规范是如何解释的:

翻译成中文大概意思如下:

若try子句执行return语句,编译后的代码将执行以下操作:

  • 将返回值保存到局部变量中;
  • 执行jsr指令转移到执行finally子句;
  • 执行完finally子句返回时,返回保存在局部变量中的值。
相关推荐
码云数智-园园1 小时前
C++20 Modules 模块详解
java·开发语言·spring
程序员黑豆1 小时前
JDK 下载安装与配置详细教程
java·前端·ai编程
小宇宙Zz2 小时前
Maven依赖冲突
java·服务器·maven
swordbob2 小时前
NIO的channel中什么是 fd(File Descriptor,文件描述符)
java·开发语言·nio
咖啡八杯2 小时前
GoF设计模式——享元模式
java·spring·设计模式·享元模式
十五喵源码网2 小时前
基于springboot2+vue2的租房管理系统
java·毕业设计·springboot·论文笔记
摇滚侠2 小时前
IDEA 创建 Java 项目 手动整合 SSM 框架
java·ide·intellij-idea
源分享2 小时前
Java线程同步的多种实现方法(非常详细)
java·开发语言·jvm
Flittly2 小时前
【AgentScope Java新手村系列】(10)实战-多Agent天气助手
java·spring boot·spring
李少兄3 小时前
从原理到实战:Spring IoC/DI 核心知识体系与高频面试题全解
java·后端·spring