Java finally语句到底是在return之前还是之后执行?
网上有很多人探讨Java中异常捕获机制try...catch...finally块中的finally语句是不是一定会被执行?很多人都说不是,当然他们的回答是正确的,经过我试验,至少有两种情况下finally语句是不会被执行的:
try语句没有被执行到,如在try语句之前就返回了,这样finally语句就不会执行,这也说明了finally语句被执行的必要而非充分条件是:相应的try语句一定被执行到。在try块中有System.exit(0);这样的语句,System.exit(0);是终止Java虚拟机JVM的,连JVM都停止了,所有都结束了,当然finally语句也不会被执行到。
当然还有很多人探讨Finally语句的执行与return的关系,颇为让人迷惑,不知道finally语句是在try的return之前执行还是之后执行?我也是一头雾水,我觉得他们的说法都不正确,我觉得应该是:finally语句是在try的return语句执行之后,return返回之前执行。这样的说法有点矛盾,也许是我表述不太清楚,下面我给出自己试验的一些结果和示例进行佐证,有什么问题欢迎大家提出来。
finally语句在return语句执行之后return返回之前执行的。
public
class
FinallyTest1
{
public
static
void
main(
String
[] args) {
System
.out.println(test1());
}
public
static
int
test1() {
int
b=20
;
try
{
System
.out.println(
"try block"
);
return
b +=80
;
}
catch
(
Exception
e) {
System
.out.println(
"catch block"
);
}
finally
{
System
.out.println(
"finally block"
);
if
(b >
25
) {
System
.out.println(
"b>25, b="
+ b);
}
}
return
b;
}
}
运行结果是:
try
block
finally
block
b>
25
, b=100
100
说明return语句已经执行了再去执行finally语句,不过并没有直接返回,而是等finally语句执行完了再返回结果。
如果觉得这个例子还不足以说明这个情况的话,下面再加个例子加强证明结论:
public
class
FinallyTest1
{
public
static
void
main(
String
[] args) {
System
.out.println(test11());
}
public
static
String
test11() {
try
{
System
.out.println(
"try block"
);
return
test12();
}
finally
{
System
.out.println(
"finally block"
);
}
}
public
static
String
test12() {
System
.out.println(
"return statement"
);
return
"after return"
;
}
}
运行结果为:
try
block
return
statement
finally
block
after
return
说明try中的return语句先执行了但并没有立即返回,等到finally执行结束后再
这里大家可能会想:如果finally里也有return语句,那么是不是就直接返回了,try中的return就不能返回了?看下面。
finally块中的return语句会覆盖try块中的return返回。
public
class
FinallyTest2
{
public
static
void
main(
String
[] args) {
System
.out.println(test2());
}
public
static
int
test2() {
int
b=20
;
try
{
System
.out.println(
"try block"
);
return
b +=80
;
}
catch
(
Exception
e) {
System
.out.println(
"catch block"
);
}
finally
{
System
.out.println(
"finally block"
);
if
(b >
25
) {
System
.out.println(
"b>25, b="
+ b);
}
return
200
;
}
// return b;
}
}
运行结果是:
try
block
finally
block
b>
25
, b=100
200
这说明finally里的return直接返回了,就不管try中是否还有返回语句,这里还有个小细节需要注意,finally里加上return过后,finally外面的return b就变成不可到达语句了,也就是永远不能被执行到,所以需要注释掉否则编译器报错。
这里大家可能又想:如果finally里没有return语句,但修改了b的值,那么try中return返回的是修改后的值还是原值?看下面。
如果finally语句中没有return语句覆盖返回值,那么原来的返回值可能因为finally里的修改而改变也可能不变。
测试用例1:
public
class
FinallyTest3
{
public
static
void
main(
String
[] args) {
System
.out.println(test3());
}
public
static
int
test3() {
int
b=20
;
try
{
System
.out.println(
"try block"
);
return
b +=80
;
}
catch
(
Exception
e) {
System
.out.println(
"catch block"
);
}
finally
{
System
.out.println(
"finally block"
);
if
(b >
25
) {
System
.out.println(
"b>25, b="
+ b);
}
b=150
;
}
return
2000
;
}
}
运行结果是:
try
block
finally
block
b>
25
, b=100
100
测试用例2:
public
class
FinallyTest6
{
public
static
void
main(
String
[] args) {
System
.out.println(getMap().get(
"KEY"
).toString());
}
public
static
Map
<
String
,
String
> getMap() {
Map
<
String
,
String
> map=new
HashMap
<
String
,
String
>();
map.put(
"KEY"
,
"INIT"
);
try
{
map.put(
"KEY"
,
"TRY"
);
return
map;
}
catch
(
Exception
e) {
map.put(
"KEY"
,
"CATCH"
);
}
finally
{
map.put(
"KEY"
,
"FINALLY"
);
map=null
;
}
return
map;
}
}
运行结果是:
FINALLY
为什么测试用例1中finally里的b=150;并没有起到作用而测试用例2中finally的map.put("KEY", "FINALLY");起了作用而map=null;却没起作用呢?这就是Java到底是传值还是传址的问题了,具体请看精选30道Java笔试题解答,里面有详细的解答,简单来说就是:Java中只有传值没有传址,这也是为什么map=null这句不起作用。这同时也说明了返回语句是try中的return语句而不是 finally外面的return b;这句,不相信的话可以试下,将return b;改为return 294,对原来的结果没有一点影响。
这里大家可能又要想:是不是每次返回的一定是try中的return语句呢?那么finally外的return b不是一点作用没吗?请看下面。
try块里的return语句在异常的情况下不会被执行,这样具体返回哪个看情况。
public
class
FinallyTest4
{
public
static
void
main(
String
[] args) {
System
.out.println(test4());
}
public
static
int
test4() {
int
b=20
;
try
{
System
.out.println(
"try block"
);
b=b /
0
;
return
b +=80
;
}
catch
(
Exception
e) {
b +=15
;
System
.out.println(
"catch block"
);
}
finally
{
System
.out.println(
"finally block"
);
if
(b >
25
) {
System
.out.println(
"b>25, b="
+ b);
}
b +=50
;
}
return
204
;
}
}
运行结果是:
try
block
catch
block
finally
block
b>
25
, b=35
85
这里因 为在return之前发生了除0异常,所以try中的return不会被执行到,而是接着执行捕获异常的catch 语句和最终的finally语句,此时两者对b的修改都影响了最终的返回值,这时return b;就起到作用了。当然如果你这里将return b改为return 300什么的,最后返回的就是300,这毋庸置疑。
这里大家可能又有疑问:如果catch中有return语句呢?当然只有在异常的情况下才有可能会执行,那么是在finally之前就返回吗?看下面。
当发生异常后,catch中的return执行情况与未发生异常时try中return的执行情况完全一样。
public
class
FinallyTest5
{
public
static
void
main(
String
[] args) {
System
.out.println(test5());
}
public
static
int
test5() {
int
b=20
;
try
{
System
.out.println(
"try block"
);
b=b /
0
;
return
b +=80
;
}
catch
(
Exception
e) {
System
.out.println(
"catch block"
);
return
b +=15
;
}
finally
{
System
.out.println(
"finally block"
);
if
(b >
25
) {
System
.out.println(
"b>25, b="
+ b);
}
b +=50
;
}
//return b;
}
}
运行结果如下:
try
block
catch
block
finally
block
b>
25
, b=35
35
说明了发生异常后,catch中的return语句先执行,确定了返回值后再去执行finally块,执行完了catch再返回,finally里对b的改变对返回值无影响,原因同前面一样,也就是说情况与try中的return语句执行完全一样。
最后总结:finally块的语句在try或catch中的return语句执行之后返回之前执行且finally里的修改语句可能影响也可能不影响try或catch中 return已经确定的返回值,若finally里也有return语句则覆盖try或catch中的return语句直接返回。