关于Java中try finally return语句的执行顺序浅析

更新时间：2017年08月23日 10:11:19 作者：麦田

这篇文章主要介绍了关于Java中try finally return语句的执行顺序浅析,需要的朋友可以参考下

问题分析

finally语句块一定会执行吗？

可能很多人第一反应是肯定要执行的，但仔细一想，如果一定会执行的话也就不会这么SB的问了。

Demo1

public class Test {
  public static void main(String[] args) {
    System.out.println("return value of test(): " + test());
  }
  public static int test() {
    int i = 1;
    // if (i == 1) {
    // return 0;
    // }
    System.out.println("the previous statement of try block");
    i = i / 0;
    try {
      System.out.println("try block");
      return i;
    } finally {
      System.out.println("finally block");
    }
  }
}

Demo1的执行结果如下：

the previous statement of try block
Exception in thread "main" java.lang.ArithmeticException: / by zero
  at com.becoda.bkms.bus.basics.web.Test2.test(Test2.java:15)
  at com.becoda.bkms.bus.basics.web.Test2.main(Test2.java:5)

另外，如果去掉上例中的注释，执行结果则是：

return value of test(): 0

以上两种情况，finally语句块都没有执行，说明什么问题？只有与finally相对应的try语句块得到执行的情况下，finally语句块才会执行，而上面都是在try语句块之前返回(return)或者抛出异常，所以try对应的finally语句块没有执行。那么，即使与finally相对应的try语句块得到执行的情况下，finally语句块一定会执行吗？但下面例子

Demo2

public class Test {
  public static void main(String[] args) {
    System.out.println("return value of test(): " + test());
  }
  public static int test() {
    int i = 1;
    try {
      System.out.println("try block");
      System.exit(0);
      return i;
    } finally {
      System.out.println("finally block");
    }
  }
}

Demo2的执行结果如下：

try block

finally语句块还是没有执行，为什么呢？因为我们在try语句块中执行了System.exit(0)语句，终止了Java虚拟机的运行，虽然一般情况下我们不会这么干。还有情况是当一个线程在执行try语句块或者catch语句块时被打断(interrupted)或者被终止(killed)，与其对应的finally语句块可能不会执行。还有更极端的情况，就是在线程运行 try 语句块或者 catch 语句块时，突然死机或者断电，finally 语句块肯定不会执行了。

finally 语句示例说明

下面看一个简单的例子

Demo3

public class Test {
  public static void main(String[] args) {
    try {
      System.out.println("try block");
      return;
    } finally {
      System.out.println("finally block");
    }
  }
}

Demo3的执行结果为：

try block
finally block

Demo3说明 finally 语句块在 try 语句块中的 return 语句之前执行。我们再来看另一个例子。

Demo4

public class Test {
  public static void main(String[] args) {
    System.out.println("reture value of test() : " + test());
  }
  public static int test() {
    int i = 1;
    try {
      System.out.println("try block");
      i = 1 / 0;
      return 1;
    } catch (Exception e) {
      System.out.println("exception block");
      return 2;
    } finally {
      System.out.println("finally block");
    }
  }
}

Demo4的执行结果为：

try block
exception block
finally block
reture value of test() : 2

Demo4说明了 finally 语句块在 catch 语句块中的 return 语句之前执行。

从上面的Demo3和Demo4，我们可以看出，其实finally语句块时在try或者catch中的return语句之前执行的，更加一般的说法是，finally语句块应该是在控制转移语句之前执行，控制转移语句除了return外，还有break和continue。

再来看下面两个例子

Demo5

public class Test {
  public static void main(String[] args) {
    System.out.println("return value of getValue(): " + getValue());
  }
  public static int getValue() {
    try {
      return 0;
    } finally {
      return 1;
    }
  }
}

Demo5的执行结果为：

return value of getValue(): 1

Demo6

public class Test {
  public static void main(String[] args) {
    System.out.println("return value of getValue(): " + getValue());
  }
  public static int getValue() {
    int i = 1;
    try {
      return i;
    } finally {
      i++;
    }
  }
}

Demo6的执行结果为：

return value of getValue(): 1

利用我们上面分析得出的结论：finally 语句块是在 try 或者 catch 中的 return 语句之前执行的。由此，可以轻松的理解Demo5 的执行结果是 1。因为 finally 中的 return 1；语句要在 try 中的 return 0；语句之前执行，那么 finally 中的 return 1；语句执行后，把程序的控制权转交给了它的调用者 main（）函数，并且返回值为 1。那为什么Demo6 的返回值不是 2，而是 1 呢？按照Demo5 的分析逻辑，finally 中的 i++；语句应该在 try 中的 return i；之前执行啊？i 的初始值为 1，那么执行 i++；之后为 2，再执行 return i；那不就应该是 2 吗？怎么变成 1 了呢？

说明这个问题需要了解Java虚拟机是如何编译finally语句块的。

Java方法是在栈帧中执行，栈帧是线程私有栈的单位，执行方法的线程会为每一个方法分配一小块空间来作为该方法执行时的内存空间，栈帧分为三个区域：

1、操作数栈，用来保存正在执行的表达式中的操作数

2、局部变量区，用来保存方法中使用的变量，包括方法参数，方法内部声明的变量，以及方法中使用到的对象的成员变量或类的成员变量（静态变量），最后两种变量会复制到局部变量区，因此在多线程环境下，这种变量需要根据需要声明为volatile类型

3、字节码指令区

例如下面这段代码

try{
  return expression;
}finally{
  do some work;
}

首先我们知道，finally语句是一定会执行，但他们的执行顺序是怎么样的呢？他们的执行顺序如下：

1、执行：expression，计算该表达式，结果保存在操作数栈顶；

2、执行：操作数栈顶值（expression的结果）复制到局部变量区作为返回值；

3、执行：finally语句块中的代码；

4、执行：将第2步复制到局部变量区的返回值又复制回操作数栈顶；

5、执行：return指令，返回操作数栈顶的值；

我们可以看到，在第一步执行完毕后，整个方法的返回值就已经确定了，由于还要执行finally代码块，因此程序会将返回值暂存在局部变量区，腾出操作数栈用来执行finally语句块中代码，等finally执行完毕，再将暂存的返回值又复制回操作数栈顶。所以无论finally语句块中执行了什么操作，都无法影响返回值，所以试图在finally语句块中修改返回值是徒劳的。因此，finally语句块设计出来的目的只是为了让方法执行一些重要的收尾工作，而不是用来计算返回值的。

这样就能解释Demo6的问题了

让我们再来看以下 3 个例子。

Demo7

public class Test {
  public static void main(String[] args) {
    System.out.println("return value of getValue(): " + getValue());
  }
  @SuppressWarnings("finally")
  public static int getValue() {
    int i = 1;
    try {
      i = 4;
    } finally {
      i++;
      return i;
    }
  }
}

Demo7的执行结果为：

return value of getValue(): 5

Demo8

public class Test {
  public static void main(String[] args) {
    System.out.println("return value of getValue(): " + getValue());
  }
  public static int getValue() {
    int i = 1;
    try {
      i = 4;
    } finally {
      i++;
    }
    return i;
  }
}

Demo8的执行结果为：

return value of getValue(): 5

Demo9

public class Test {
  public static void main(String[] args) {
    System.out.println(test());
  }
  public static String test() {
    try {
      System.out.println("try block");
      return test1();
    } finally {
      System.out.println("finally block");
    }
  }
  public static String test1() {
    System.out.println("return statement");
    return "after return";
  }
}

Demo9的执行结果为：

try block
return statement
finally block
after return

总结：

1、finally 语句块不一定会被执行

2、finally 语句块在 try 语句块中的 return 语句之前执行

3、finally 语句块在 catch 语句块中的 return 语句之前执行

4、finally 语句块中的 return 语句会覆盖 try 块中的 return 返回

5、试图在 finally 语句块中修改返回值不一定会被改变

您可能感兴趣的文章:

JVM jstack实战之死锁问题详解
如果在生产环境发生了死锁，我们将看到的是部署的程序没有任何反应了，这个时候我们可以借助 jstack进行分析，下面我们实战操作查找死锁的原因
2022-10-10
详解JAVA中转义字符
本篇文章主要介绍了详解JAVA中转义字符，小编觉得挺不错的，现在分享给大家，也给大家做个参考。一起跟随小编过来看看吧
2017-08-08
Hadoop组件简介
Hadoop作为一种分布式基础架构，可以使用户在不了解分布式底层细节的情况下，开发分布式程序。接下来通过本文给大家分享Hadoop组件简介，感兴趣的朋友一起看看吧
2017-09-09
使用JWT创建解析令牌及RSA非对称加密详解
这篇文章主要介绍了JWT创建解析令牌及RSA非对称加密详解,JWT是JSON Web Token的缩写，即JSON Web令牌，是一种自包含令牌,一种情况是webapi，类似之前的阿里云播放凭证的功能,另一种情况是多web服务器下实现无状态分布式身份验证,需要的朋友可以参考下
2023-11-11
浅谈Java中String的常用方法
今天带大家来复习一下Java中String的常用方法,文中有非常详细的介绍,对正在学习java的小伙伴们有很好的帮助,需要的朋友可以参考下
2021-05-05
Spring中的@Qualifier注解详解
这篇文章主要介绍了Spring中的@Qualifier注解详解,spring @Autowire 的注解默认是按类型注入bean,本文将对其使用方法进行说明,需要的朋友可以参考下
2023-11-11
详解Huffman编码算法之Java实现
Huffman编码是一种编码方式,常用于无损压缩。本文只介绍用Java语言来实现该编码方式的算法和数据结构。有兴趣的可以了解一下。
2016-12-12
Java 高并发十： JDK8对并发的新支持详解
本文主要介绍Java 高并发JDK8的支持，这里整理了详细的资料及1. LongAdder 2. CompletableFuture 3. StampedLock的介绍，有兴趣的小伙伴可以参考下
2016-09-09
Mybatis中使用in()查询的方式详解
当参数有值,添加条件查询,附带一个字符串的in查询,下面这篇文章主要给大家介绍了关于Mybatis中使用in()查询的方式,文中通过实例代码介绍的非常详细,需要的朋友可以参考下
2022-08-08
如何在Maven项目配置pom.xml指定JDK版本和编码
maven是个项目管理工具,如果我们不告诉它要使用什么样的jdk版本编译,它就会用maven-compiler-plugin默认的jdk版本来处理,这样就容易出现版本不匹配的问题,这篇文章主要给大家介绍了关于如何在Maven项目配置pom.xml指定JDK版本和编码的相关资料,需要的朋友可以参考下
2024-01-01

关于Java中try finally return语句的执行顺序浅析

相关文章

最新评论

大家感兴趣的内容

最近更新的内容

常用在线小工具