今天记录一下try,catch,finally中的return。

先看一段代码:

下面代码的运行结果为？

public class test {
　　public int add(int a,int b) {
　　　　try {
　　　　　　return a+b;
　　　　}catch(Exception e){
　　　　　　System.out.println("catch语句块");
　　　　}finally {
　　　　　　System.out.println("finally语句块");
　　　　}
　　　　return 0;
　　}
　　public static void main(String[] args) {
　　　　test t=new test();
　　　　System.out.println("和是"+t.add(9, 34));
　　}
}

A、catch语句块 和是43

B、编译异常

C、finally语句块 和是43

D、和是43 finally语句块

正确答案：C

由于学习过编译原理的课程，知道了System.out.println中要执行add()方法与前面的“和是”字符串拼接后才会输出，因此首先执行add()方法。

add()方法中try语句块中有return语句，那么是否执行完try语句块就直接退出方法了呢？

上述代码在idea下运行此代码结果为：

看来尽管try语句块中有return，还是会执行finally语句块。

看到了合理的解释是:在try中执行到return语句时，不会真正的return，即只是会计算return中的表达式（本题为执行a+b），之后将结果保存在一个临时栈中，接着执行finally中的语句，最后才会从临时栈中取出之前的结果返回。

下面我们在这道题的finally语句中加入这么一行代码：

a=1;

public class test {
　　public int add(int a,int b) {
　　　　try {
　　　　　　return a+b;
　　　　}catch(Exception e){
　　　　　　System.out.println("catch语句块");
　　　　}finally {
　　　　　　System.out.println("finally语句块");

　　　　　　a=1;
　　　　}
　　　　return 0;
　　}
　　public static void main(String[] args) {
　　　　test t=new test();
　　　　System.out.println("和是"+t.add(9, 34));
　　}
}

结果如何呢？

下面是运行结果截图：

从结果看出来结果并没有发生改变，这也验证了finally中的语句不会影响到临时栈中的值，即在执行finally之前，临时栈中的值已经确定为43了，执行finally语句将a的值变为1，对结果没有产生影响，执行完finally后的输出结果仍为43.

有了这些认识之后，我们讨论一下try,catch,finally中有return语句的几种情况。

第一种：try{}catch(){}finally{}return;

该情况语句后顺序执行。（不考虑异常）

第二种：try{return;}catch(){}finally{}return;

该情况为刚才说的题目情况，即执行完try语句块，将return的值保存在临时栈中，再执行finally语句块，之后返回临时栈中的值。

第三种：try{}catch(){return;}finally{}return;

无异常：执行try，执行finally，再执行return;

有异常：执行完catch语句块，将return的值保存在临时栈中，再执行finally语句块，之后返回临时栈中的值。

第四种：try{}catch(){}finally{return;}

执行finally中的return语句。

第五种：try{return;}catch(){return;}finally{};

根据有无异常执行和情况二或情况三。

第六种：try{return;}catch(){}finally{return;}

执行完try语句块，将return的值保存在临时栈中，再执行finally语句块，因为finally中有return,所以返回finally中的return值。

第七种：try{}catch(){return;}finally{return;}

执行完catch语句块，将return的值保存在临时栈中，再执行finally语句块，因为finally中有return,所以返回finally中的return值。

第八种：try{return;}catch(){return;}finally{return;}

有异常：执行情况七。

无异常：执行情况六。

注意：finally中最后不要有return语句，在编译器中会报警告。

总结：

在正常情况（即程序正常执行try catch finally语句块，不会在语句中出现退出程序、线程终止等特殊情况）下，都会执行finally语句块，如果finally中有return,则程序会走finally中的return，如果没有，则先执行try或者catch中的return,将其存入临时栈中，执行完finally语句后才返回临时栈中的值。

下面是看别人博客进行的总结,也在此分享一下:

对于含有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中改变后的该属性的值。