今天记录一下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中改变后的该属性的值。