finally语句块

时间:2023-03-10 05:59:26
finally语句块

finally语句块是搭配着try语句块出现的,也就说必须有try语句块才会有finally语句块,但是并不是try语句块都会搭配有finally语句块出现,我们常见的更多是try...catch...

finally语句块一般出现的情况如下:

public int operation() {
int result = 2016;
/*statements*/
try {
/*statements*/
} catch (Exception e) {
/*statements*/
} finally {
/*statements*/
}
}

一、finally语句块的执行时机

  • finally语句并不是每次都执行,只有线程执行过try语句块,finally语句块才会执行。如果线程执行到try语句块之前就return的话,finally语句是不会执行的。如例程中第一种情况,在try语句块之前执行return语句将会直接退出函数。
  • 只要线程进入过try语句块,不论有没有抛出异常,finally语句块都会执行。如例程中的第二种和第三种情况,线程执行进入try语句块,不管有没有出现异常,finally语句都正常执行。
  • finally 语句块是在结果返回之前执行的。根据第二种和第三种情况,可以发现finally语句执行在main函数打印结果之前。
public class Test {

    public static void main(String[] args) {
System.out.println("return before try");
System.out.println("value: " + test(1));
System.out.println("return after try");
System.out.println("value: " + test(0));
System.out.println("return after try catch");
System.out.println("value: " + test());
} public static int test(int i) {
if (i == 1)
return 0;
try {
System.out.println("try block");
return i;
} finally {
System.out.println("finally block");
}
} 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");
}
}
}

执行结果

return before try
value: 0
return after try
try block
finally block
value: 0
return after try catch
try block
exception block
finally block
value: 2

二、finally语句块对返回结果的影响
上面的例子为了不影响读者理解,在finally语句中没有做任何可能会影响到返回结果的操作。但是在finally语句块中对返回结果进行操作的话,会不会对返回结果造成影响就要分情况而论了。在学习接下来这部分知识之前,笔者是坚持认为finally语句对返回结果进行操作,是肯定会影响返回结果的值的,毕竟根据上面的理解,finally语句块执行在结果返回之前嘛,随着深入学习,笔者发现这里面还是有需要注意的地方的。先看一段例程:

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

执行结果:

value : 1

按照之前的理解,这个程序执行得有点不按套路出牌啊,执行完try语句之后,程序先不返回,接着执行finally语句块,做自增操作,返回值应该是2啊,怎么会是1呢?我不知道各位读者这会什么心情,反正当时我看到这结果的时候,用一脸懵逼来形容是毫不为过。

结果查阅资料,发现这个地方Java里面是有特殊处理的,下面这段话是抄的:
“Java 虚拟机会把 finally 语句块作为 subroutine直接插入到 try 语句块或者 catch 语句块的控制转移语句之前。但是,还有另外一个不可忽视的因素,那就是在执行 subroutine之前,try 或者 catch 语句块会保留其返回值到本地变量表中。待 subroutine 执行完毕之后,再恢复保留的返回值到操作数栈中,然后通过 return 或者 throw 语句将其返回给该方法的调用者。”

也就是说在try...catch...中执行到return语句的时候,会先把需要返回的数据缓存下来,再去执行finally语句块,执行完finally语句块之后,再将缓存的数据作为结果返回。这样看来上面例程的执行结果就说得过去了。是不是好开心,感觉一下子豁然开朗了呢。不要着急,咱们再入一个例程:

public class Test {

    static class Monitor {
int flag; public Monitor(int flag) {
this.flag = flag;
} public void setFlag(int flag) {
this.flag = flag;
} public int getFlag() {
return this.flag;
}
} public static void main(String[] args) {
Monitor monitor = getValue();
System.out.println("flag : " + monitor.getFlag());
} public static Monitor getValue() {
Monitor monitor = new Monitor(0);
try {
return monitor;
} finally {
monitor.setFlag(1);
}
}
}

执行结果:

flag : 1

不是说在执行finally语句之前会把结果缓存的吗?为什么返回的结果会是1,应该是0才对的啊。其实这个地方出现疑问是因为不了解缓存到底存的是什么。这两个例程在我们的理解上产生冲突,是因为这两个例程中,finally语句块操作的是两种类型的变量,一个是基本类型,一个是对象类型。这两种类型的变量的存储方式是不一样的。int等基本类型的变量,在变量对应的内存中直接存放的就是该变量的值,而对象类型的变量,在其对应的内存中存放的是对象所在的地址。执行finally语句之前,Java确实对二者都进行了缓存,缓存的是变量对应的内存中存放的数据,于基本类型而言,缓存的是值,于对象类型而言,缓存的是对象所在内存区块的地址。我们在finally语句中进行操作时,不会影响缓存中存放的数据,这样无论我们对基本类型的值如何操作,返回值始终是之前的值,但是对象类型是不一样的,缓存的数据不变只能保证缓存数据地址指向的一直是同一个对象,finally语句块中对这个对象进行操作,是完全可以影响到对象的属性的。

看到这,暂时算是豁然开朗了,也不知道有没有没挖出来的坑,如果有的话,还请各位大牛不吝赐教。