(转)java 中的try catch finally 语句中含有return语句的执行情况(总结版)

原处:http://blog.csdn.net/ns_code/article/details/17485221


  在这里看到了try catch finally块中含有return语句时程序执行的几种情况,但其实总结的并不全,而且分析的比较含糊。但有一点是可以肯定的,finally块中的内容会先于try中的return语句执行,如果finall语句块中也有return语句的话,那么直接从finally中返回了,这也是不建议在finally中return的原因。下面来看这几种情况。


情况一(try中有return,finally中没有return):

[java]

  1. public class TryTest{  

  2.     public static void main(String[] args){  

  3.         System.out.println(test());  

  4.     }  

  5.   

  6.     private static int test(){  

  7.         int num = 10;  

  8.         try{  

  9.             System.out.println("try");  

  10.             return num += 80;  

  11.         }catch(Exception e){  

  12.             System.out.println("error");  

  13.         }finally{  

  14.             if (num > 20){  

  15.                 System.out.println("num>20 : " + num);  

  16.             }  

  17.             System.out.println("finally");  

  18.         }  

  19.         return num;  

  20.     }  



输出结果如下:

try
num>20 : 90
finally
90

分析:显然“return num += 80”被拆分成了“num = num+80”和“return num”两个语句,线执行try中的“num = num+80”语句,将其保存起来,在try中的”return num“执行前,先将finally中的语句执行完,而后再将90返回。


情况二(try和finally中均有return):

[java]

  1. public class TryTest{  

  2.     public static void main(String[] args){  

  3.         System.out.println(test());  

  4.     }  

  5.   

  6.     private static int test(){  

  7.         int num = 10;  

  8.         try{  

  9.             System.out.println("try");  

  10.             return num += 80;  

  11.         }catch(Exception e){  

  12.             System.out.println("error");  

  13.         }finally{  

  14.             if (num > 20){  

  15.                 System.out.println("num>20 : " + num);  

  16.             }  

  17.             System.out.println("finally");  

  18.             num = 100;  

  19.             return num;  

  20.         }  

  21.     }  

  22. }  

输出结果如下:

try
num>20 : 90
finally
100

分析:try中的return语句同样被拆分了,finally中的return语句先于try中的return语句执行,因而try中的return被”覆盖“掉了,不再执行。


情况三(finally中改变返回值num):

[java]

  1. public class TryTest{  

  2.     public static void main(String[] args){  

  3.         System.out.println(test());  

  4.     }  

  5.   

  6.     private static int test(){  

  7.         int num = 10;  

  8.         try{  

  9.             System.out.println("try");  

  10.             return num;  

  11.         }catch(Exception e){  

  12.             System.out.println("error");  

  13.         }finally{  

  14.             if (num > 20){  

  15.                 System.out.println("num>20 : " + num);  

  16.             }  

  17.             System.out.println("finally");  

  18.             num = 100;  

  19.         }  

  20.         return num;  

  21.     }  

  22. }  

输出结果如下:

try

finally

10

分析:虽然在finally中改变了返回值num,但因为finally中没有return该num的值,因此在执行完finally中的语句后,test()函数会得到try中返回的num的值,而try中的num的值依然是程序进入finally代码块前保留下来的值,因此得到的返回值为10。

    

但是我们来看下面的情况(将num的值包装在Num类中):

[java]

  1. public class TryTest{  

  2.     public static void main(String[] args){  

  3.         System.out.println(test().num);  

  4.     }  

  5.   

  6.     private static Num test(){  

  7.         Num number = new Num();  

  8.         try{  

  9.             System.out.println("try");  

  10.             return number;  

  11.         }catch(Exception e){  

  12.             System.out.println("error");  

  13.         }finally{  

  14.             if (number.num > 20){  

  15.                 System.out.println("number.num>20 : " + number.num);  

  16.             }  

  17.             System.out.println("finally");  

  18.             number.num = 100;  

  19.         }  

  20.         return number;  

  21.     }  

  22. }  

  23.   

  24. class Num{  

  25.     public int num = 10;  

  26. }  


输出结果如下:

try
finally
100

从结果中可以看出,同样是在finally中改变了返回值num的值,在情况三中,并没有被try中的return返回(test()方法得到的不是100),但在这里却被try中的return语句返回了。


对以上情况的分析,需要深入JVM虚拟机中程序执行exection_table中的字节码指令时操作栈的的操作情况,可以参考http://www.2cto.com/kf/201010/76754.html这篇文章,也可以参考《深入Java虚拟机:JVM高级特性与最佳实践》第6章中对属性表集合的讲解部分。

对于含有return语句的情况,这里我们可以简单地总结如下:

    try语句在返回前,将其他所有的操作执行完,保留好要返回的值,而后转入执行finally中的语句,而后分为以下三种情况:

    情况一:如果finally中有return语句,则会将try中的return语句”覆盖“掉,直接执行finally中的return语句,得到返回值,这样便无法得到try之前保留好的返回值。

    情况二:如果finally中没有return语句,也没有改变要返回值,则执行完finally中的语句后,会接着执行try中的return语句,返回之前保留的值。

    情况三:如果finally中没有return语句,但是改变了要返回的值,这里有点类似与引用传递和值传递的区别,分以下两种情况,:

        1)如果return的数据是基本数据类型或文本字符串,则在finally中对该基本数据的改变不起作用,try中的return语句依然会返回进入finally块之前保留的值。

        2)如果return的数据是引用数据类型,而在finally中对该引用数据类型的属性值的改变起作用,try中的return语句返回的就是在finally中改变后的该属性的值。




下面是较好的评论:


try {
    return A
}catch{

}finally{

}
原引用为A,会”备份“A,记为B (A,B都在栈上)
当A是基本类型时,不管你如何对A进行操作,返回的是B的值。
当A是引用类型。你备份的B和A指向的是堆中同一块内存,你用A任意引用操作对象,返回的都是更改后的同一个对象。


-----------------------


如果从内存与字节码角度看的话,你说的这n种情况就是一句话嘛:
try {}catch{}finally{} 当try块或者catch块中有return语句时,假设原引用为A,会”备份“你return的变量在栈上的引用,记为B。
当是基本类型时,你再对A进行操作,返回的是B的值。
当是引用类型。你备份的B和A指向的是堆中同一块内存,你用任意引用操作对象,返回的都是更改后的,oh yeah!




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

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值