Java finally语句到底是在return之前还是之后执行?

http://www.cnblogs.com/lanxuezaipiao/p/3440471.html


网上有很多人探讨Java中异常捕获机制try...catch...finally块中的finally语句是不是一定会被执行?很多人都说不是,当然他们的回答是正确的,经过我试验,至少有两种情况下finally语句是不会被执行的:

(1)try语句没有被执行到,如在try语句之前就返回了,这样finally语句就不会执行,这也说明了finally语句被执行的必要而非充分条件是:相应的try语句一定被执行到。

(2)在try块中有System.exit(0);这样的语句,System.exit(0);是终止Java虚拟机JVM的,连JVM都停止了,所有都结束了,当然finally语句也不会被执行到。


当然还有很多人探讨Finally语句的执行与return的关系,颇为让人迷惑,不知道finally语句是在try的return之前执行还是之后执行?我也是一头雾水,我觉得他们的说法都不正确,我觉得应该是:finally语句是在try的return语句执行之后,return返回之前执行。这样的说法有点矛盾,也许是我表述不太清楚,下面我给出自己试验的一些结果和示例进行佐证,有什么问题欢迎大家提出来。

1. 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就不能返回了?看下面。

2. 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返回的是修改后的值还是原值?看下面。

3. 如果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:

 

复制代码
import java.util.*;

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不是一点作用没吗?请看下面。

4. 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之前就返回吗?看下面。

5. 当发生异常后,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语句直接返回。


作者:Alexia(minmin) 
如果您认为阅读这篇博客让您有些收获,不妨点击一下右下角的【推荐】 
如果您希望与我交流互动,欢迎微博互粉 
本文版权归作者和博客园共有,欢迎转载,但未经作者同意必须保留此段声明,且在文章页面明显位置给出原文连接,否则保留追究法律责任的权利。

11
0
推荐成功
« 上一篇: 在Linux下和Windows下遍历目录的方法及如何达成一致性操作
» 下一篇: 编程面试的10大算法概念汇总
posted @  2013-11-24 21:06  Alexia(minmin) 阅读( 8074) 评论( 14编辑  收藏

#1楼   2013-11-25 08:14  承影剑   
  
 

小敏的沙发我来坐,小敏,你用的是什么java编辑器?我用的是Myeclipse,你是用Ubuntu开发的吗?

 
    
#2楼 [ 楼主2013-11-25 09:04  Alexia(minmin)   
  
 

@ZSDN
Eclipse,Windows下

 
    
#3楼   2013-11-25 20:42  moka   
  
 

最后总结:finally块的语句在try或catch中的return语句执行之后返回之前执行且finally里的修改语句不能影响try或catch中 return已经确定的返回值,若finally里也有return语句则覆盖try或catch中的return语句直接返回。
'
下面这种情况下return的值会被覆盖的:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
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" );
     }
     
     return  map;
}

 
    
#4楼 [ 楼主2013-11-25 21:28  Alexia(minmin)   
  
 

@moka
果然是的,感谢大神提醒,是我理解错了,不过这是什么原因呢?搞不懂了

 
    
#5楼   2013-11-25 21:55  moka   
  
 

@Alexia(minmin)
Java里只有传值,传对象也只是传对象的地址,而且是值传递,看下面的代码应该就可以理解了:


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
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;
}

 
    
#6楼   2013-12-13 20:23  大黄虾   
  
 

赞,写这么详细,辛苦啊。

 
    
#7楼 [ 楼主2013-12-14 17:49  Alexia(minmin)   
  
 

@大黄虾
谢谢支持!

 
    
#8楼   2014-01-22 10:57  bylijinnan   
  
 

第4小节的输出结果不对。应该是:
try block
catch block
finally block
b>25, b = 35
204

 
    
#9楼   2014-01-22 11:27  bylijinnan   
  
 

finally可以分两方面理解

1.执行时机问题。finally总会执行(除非是System.exit()),正常情况下在try后执行,抛异常时在catche后面执行

2.返回值问题。可以认为try(或者catch)中的return语句的返回值放入线程栈的顶部:如果返回值是基本类型则顶部存放的就是值,如果返回值是引用类型,则顶部存放的是引用。finally中的return语句可以修改引用所对应的对象,无法修改基本类型。但不管是基本类型还是引用类型,都可以被finally返回的“具体值”具体值覆盖

3.不建议在finally中使用return语句,如果有,eclipse会warning“finally block does not complete normally”

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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
package com.ljn. base ;
 
 
/**
  * @author lijinnan
  * @date:2014-1-22
  */
public  class  FinallyTest {
 
     public  static  void  main(String[] args) {
         System. out .println(test());
         System. out .println(testPrimitive());
     }
 
     public  static  Student test() {
         Student result =  new  Student( "Tom" , 0);
         try  {
             result.setAge(1);
             return  result;
         catch  (Exception e) {
             result.setAge(2);
             return  result;
         finally  {
             result.setAge(3);        //引用类型的返回值,可被修改
             //return new Student("Kobe", 33);   //可以被“具体值”覆盖
         }
         
     }
     
     public  static  int  testPrimitive() {
         int  x = 0;
         try  {
             x = 1;
             return  x;
         catch  (Exception e) {
             x = 2;
             return  x;
         finally  {
             x = 3;           //基本类型的返回值,不可被修改
             //return x;    //可以被“具体值”覆盖
         }
         
     }
     
     private  static  class  Student {
         private  String name;
         private  int  age;
         
         public  Student(String name,  int  age) {
             this .name = name;
             this .age = age;
         }
         @Override
         public  String toString() {
             return  "Student [name="  + name +  ", age="  + age +  "]" ;
         }
         public  void  setAge( int  age) {
             this .age = age;
         }
         
     }
}

 
    
#10楼   2014-09-27 12:34  zuiezhidou   
  
 

@bylijinnan
这个程序我也试验了,我的和你的结果一样的

 
    
#11楼   2014-10-25 12:55  Venuluo   
  
 

其实看一下你那个类的class字节码文件就知道了。 return的时候是复制了一个变量然后返回,所以之后finally操作的变量如果是基本类型的话不会影响返回值。 但是如果返回值是引用类型的话,因为指向同一个对象所以还是有影响的。

 
    
#12楼 [ 楼主2014-10-26 08:48  Alexia(minmin)   
  
 

@Venuluo
受教啦,谢谢

 
    
#13楼   2015-04-21 00:35  lookingfor   
  
 

楼主写的很详细,但是楼主在第三点中没有解释清楚,返回基础类型变量时是值,返回引用类型时是指向某个对象的地址;而且基础类型是被分配在栈中的,对象是被分配在堆中的,只要有引用指向这个对象,系统就不会回收此对象,所以可以在后面的finally块中改变引用指向的对象的内容,却无法改变try语句中return要返回的值,因为这个值已经与变量b无关了。

 
    

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值