个人中心
文章发布
退出
作者热门文章
- ubuntu12.04环境下使用kvm ioctl接口实现最简单的虚拟机
- Ubuntu 通过无线网络安装Ubuntu Server启动系统后连接无线网络的方法
- 在Ubuntu上搭建网桥的方法
- ubuntu 虚拟机上网方式及相关配置详解
25
4
CFSDN坚持开源创造价值，我们致力于搭建一个资源共享平台，让每一个IT人在这里找到属于你的精彩世界.
这篇CFSDN的博客文章java finally块执行时机全面分析由作者收集整理，如果你对这篇文章有兴趣，记得点赞哟.
java里 finally 关键字通常与try catch块一起使用。用来在方法结束前或发生异常时做一些资源释放的操作。最近也看到网上有一些讨论try catch finally关键词执行的顺序的文章，并给出了finally块是在方法最后执行的.
这些观点普遍认为:
1) finally关键词是在程序return语句后返回上一级方法前执行的，其中返回值会保存在一个临时区域，待执行完finally块的部分后，在将临时区域的值返回.
2) 若finally块里有返回值会替换掉程序中前面的try 或catch块中return语句存放在临时区域的值.
但是问题真的是这样的吗，我们仔细的想想，jvm是在运行时对字节码指令进行解释执行的，当他在执行到return语句后，他哪知道后面有没有finally块，如果没有finally块怎么办，不管是字节码指令还是计算机的指令应该是明确的，jvm没有那么智能，同一个指令必须是明确的，不会包含两层含义。所以对于return语句在运行时不管什么情况，统一会弹出栈的内容并返回到调用方法.
与此同时，我们可以看到《深入java虚拟机》这一本书中给出了另外一种解释。在java编译器编译finally子句时会生成jsr指令，它使jvm调转到微型子例程进行执行，也就是finally块处，同时将程序中的return 0语句编译为在调用jsr指令前栈中的返回变量到局部变量，调用jsr指令，执行finally块，finally块返回，在将局部变量中的返回值压入栈，执行ireturn指令，从栈中弹出返回值，返回到调用方法，这里在执行jsr指令前将返回值保存在局部变量中，是因为finally块执行的过程中可能发生异常或者说是也有返回值，只有这样做才能保证最后程序执行的一致性。由于《深入java虚拟机》写的已经也一些年代了，同时作者使用的jvm编译器的实现及版本与本文讨论的也有差别。所以经过测试，对于同一程序不同的编译器实现或版本不同的字节码的生成稍微有些差别。有兴趣可以看看这本书中finally子句生成的字节码.
本文的字节码生成使用的是Oracle的jdk8u-25版本的编译器编译生成的.
下面我们来看一个实例.
1.try catch finally 示例:
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
public
class
FinallyTest {
public
static
void
main(String[] args) {
int
r = test();
System.out.println(r);
}
public
static
int
test()
{
try
{
System.out.println(
"try"
);
//return 1/0;
return
0
;
}
catch
(Exception e) {
System.out.println(
"exception"
);
return
100
;
}
finally
{
System.out.println(
"finally"
);
}
}
}
|
try块中使用return 0语句，程序的运行结果是:
try finally 0 。
try块中使用 return 1/0 语句，程序运行的结果是:
exception finally 100 。
其实通过运行结果我们可以看出的是finally块是在try或catch块中的return语句前其他语句后执行的。也就是说程序的书写顺序与我们执行顺序不符，因为jvm是对字节码进行解释执行的，那么我们需要看看java编译器是如何编译这段代码的，看看其生成的字节码究竟是什么样的.
2.程序生成的部分字节码：（java字节码指令请参考） 。
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
public
static
int
test();
descriptor: ()I
flags: ACC_PUBLIC, ACC_STATIC
Code:
stack=
2
, locals=
2
, args_size=
0
0
: getstatic #
20
// Field java/lang/System.out:Ljava/io/PrintStream;
3
: ldc #
36
// String try
5
: invokevirtual #
38
// Method java/io/PrintStream.println:(Ljava/lang/String;)V
8
: getstatic #
20
// Field java/lang/System.out:Ljava/io/PrintStream;
11
: ldc #
41
// String finally
13
: invokevirtual #
38
// Method java/io/PrintStream.println:(Ljava/lang/String;)V
16
: iconst_0
17
: ireturn
18
: astore_0
19
: getstatic #
20
// Field java/lang/System.out:Ljava/io/PrintStream;
22
: ldc #
43
// String exception
24
: invokevirtual #
38
// Method java/io/PrintStream.println:(Ljava/lang/String;)V
27
: getstatic #
20
// Field java/lang/System.out:Ljava/io/PrintStream;
30
: ldc #
41
// String finally
32
: invokevirtual #
38
// Method java/io/PrintStream.println:(Ljava/lang/String;)V
35
: bipush
100
37
: ireturn
38
: astore_1
39
: getstatic #
20
// Field java/lang/System.out:Ljava/io/PrintStream;
42
: ldc #
41
// String finally
44
: invokevirtual #
38
// Method java/io/PrintStream.println:(Ljava/lang/String;)V
47
: aload_1
48
: athrow
Exception table:
from to target type
0
8
18
Class java/lang/Exception
0
8
38
any
18
27
38
any
|
从红色的部分我们可以看出：10,11行对应的是finally块语句指令，16,17对应的是return 0指令，在try块其他语句之后，return之前。而19,20对应的是finally块指令，21,22对应的是return 100语句的指令，在catch其他语句之后，return之前，由此我们可以看出这些背后发生的一切是java编译器为我们做了这一切，至于程序中发生的异常，jvm会从异常表找到对应处理异常的地址位置执行.
因此我们可以得出结论finally块中的语句会由java编译器插入到try块和catch块return语句之前，其他语句之后。在这里也没有生成jsr调用的子例程。所以才发生不管是执行try块还是执行catch块，最终在方法返回前都会执行finally块.
以上这篇java finally块执行时机全面分析就是小编分享给大家的全部内容了，希望能给大家一个参考，也希望大家多多支持我.
最后此篇关于java finally块执行时机全面分析的文章就讲到这里了,如果你想了解更多关于java finally块执行时机全面分析的内容请搜索CFSDN的文章或继续浏览相关文章，希望大家以后支持我的博客！ 。
25
4
0
关闭。这个问题需要更多 focused .它目前不接受答案。 想要改进这个问题吗？ 更新问题，使其只关注一个问题 editing this post . 关闭 2 年前。 Improve this q
1.final final修饰类，说明这个类不能被继承，是以个顶级类。 final修饰变量，说明这个变量是常量。 final修饰方法，表示这个方法不能被重写，不过可以冲在final方法。 比如有个
我喜欢使用 -Wsuggest-final-types 编译我的代码和 -Wsuggest-final-methods以便在可能使用 final 关键字以允许编译器更积极地优化的机会时收到警告。 不过
我在 Java 8 中有一个异步操作，它返回一个 onError 回调或一个 onSuccess 回调。如果操作成功与否，我需要在我的方法内部返回。所以我返回一个 boolean 值来说明这个信息。我
我正在阅读一些内容，需要对最终类和方法进行一些说明。我的理解是，将一个类声明为 final 会阻止该类被扩展。因此，是否有必要将最终类中的方法声明为最终的？在我看来，如果类不能扩展，则没有必要将方法声
有什么区别 try { // action A } catch(Exception e) { // action B } finally { // action C }
这个程序是我类(class)的最终作业，我无法弄清楚为什么我收到错误“从内部类引用的局部变量必须是最终的或有效的最终”。该程序正在运行并发线程来对# 数组进行排序，然后找到该数组的高值和低值。当我在没
C++11 added final. 终于! 我了解 final 做了两件事: 使类不可继承。 使类中的(虚拟)函数不可覆盖(在派生类中)。 这两者似乎是相互独立的。但以以下为例: class Foo
我想使用具有多个提交按钮的react-final-form构建表单，其中每个提交按钮在表单中设置不同的值。本质上，我想创建一个在呈现的HTML中看起来像这样的表单: Are you over 1
我想知道什么时候应该对变量和(或)方法使用静态、最终、静态最终参数。据我了解: final:类似于c++中的const参数。它基本上意味着值(或在方法中 - 返回值)不会改变。 静态:这意味着值(或方
我正在做一个编程类(class)项目，用于 400 行矩阵本身的矩阵乘法。我让它以顺序模式工作，该项目的目标是编写并行实现。 我有以下代码，当然，当我尝试引用内部类中的计数器 j 时，我收到一个关于
也许这是简单的问题，但我找不到答案。 声明为final的经典变量是否包含与非final变量不同的内存段？ 最佳答案 我想说，谈到局部变量，基于 this answer 是不行的。 : The trut
考虑以下代码: #include class B { virtual void f() { std::cout << "Base" << '\n'; } }; class D
这个问题已经有答案了: java: Is it possible to set a lambda expression for an array of Buttons is a for loop? I
考虑这个代码片段 public class ConstantFolding { static final int number1 = 5; static final int numbe
我确定在内部类中访问的变量应该声明为final 或有效final。但在下面的情况下我很困惑。不知道是不是我理解错了。 public class MyClass { private boolea
我必须将一个 java.sql.Connection 对象传递给一个匿名内部类，这意味着我必须对它进行 final 引用。但是，我担心任何资源泄漏。 public static String foo(
我收到 SonarQube 错误:“强烈建议在此方法实现结束时调用 super.finalize()，以防父实现也必须释放一些系统资源。” 但我发现 Object 类没有实现 finalize方法。
我一般认为资源清理是在 finally block 中完成的， 最近我在一个类中发现了这个特定的代码片段，它覆盖了 Object 类'finalize()方法。 protected void fina
让我们在父类中使用这个方法: public void calculateSum(int a, final int b) { } 子类有: public void calculateSum(int a,
我是一名优秀的程序员,十分优秀！