在这里看到了try catch finally块中含有return语句时程序执行的几种情况，但其实总结的并不全，而且分析的比较含糊。但有一点是可以肯定的，finally块中的内容会先于try中的return语句执行，如果finall语句块中也有return语句的话，那么直接从finally中返回了，这也是不建议在finally中return的原因。下面来看这几种情况。
情况一（try中有return，finally中没有return）：
[java]
public class TryTest{
public static void main(String[] args){
System.out.println(test());
}
private static int test(){
int num = 10;
try{
System.out.println("try");
return num += 80;
}catch(Exception e){
System.out.println("error");
}finally{
if (num > 20){
System.out.println("num>20 : " + num);
}
System.out.println("finally");
}
return num;
}
}
输出结果如下：
trynum>20 : 90finally90
分析：显然“return num += 80”被拆分成了“num = num+80”和“return num”两个语句，线执行try中的“num = num+80”语句，将其保存起来，在try中的”return num“执行前，先将finally中的语句执行完，而后再将90返回。
情况二（try和finally中均有return）：
[java]
public class TryTest{
public static void main(String[] args){
System.out.println(test());
}
private static int test(){
int num = 10;
try{
System.out.println("try");
return num += 80;
}catch(Exception e){
System.out.println("error");
}finally{
if (num > 20){
System.out.println("num>20 : " + num);
}
System.out.println("finally");
num = 100;
return num;
}
}
}
输出结果如下：
trynum>20 : 90finally100
分析：try中的return语句同样被拆分了，finally中的return语句先于try中的return语句执行，因而try中的return被”覆盖“掉了，不再执行。
情况三（finally中改变返回值num）：
[java]
public class TryTest{
public static void main(String[] args){
System.out.println(test());
}
private static int test(){
int num = 10;
try{
System.out.println("try");
return num;
}catch(Exception e){
System.out.println("error");
}finally{
if (num > 20){
System.out.println("num>20 : " + num);
}
System.out.println("finally");
num = 100;
}
return num;
}
}
输出结果如下：
try
finally
10
分析：虽然在finally中改变了返回值num，但因为finally中没有return该num的值，因此在执行完finally中的语句后，test（）函数会得到try中返回的num的值，而try中的num的值依然是程序进入finally代码块前保留下来的值，因此得到的返回值为10。
但是我们来看下面的情况（将num的值包装在Num类中）：
[java]
public class TryTest{
public static void main(String[] args){
System.out.println(test().num);
}
private static Num test(){
Num number = new Num();
try{
System.out.println("try");
return number;
}catch(Exception e){
System.out.println("error");
}finally{
if (number.num > 20){
System.out.println("number.num>20 : " + number.num);
}
System.out.println("finally");
number.num = 100;
}
return number;
}
}
class Num{
public int num = 10;
}
输出结果如下：
tryfinally100
从结果中可以看出，同样是在finally中改变了返回值num的值，在情况三中，并没有被try中的return返回（test（）方法得到的不是100），但在这里却被try中的return语句返回了。
对以上情况的分析，需要深入JVM虚拟机中程序执行exection_table中的字节码指令时操作栈的的操作情况，可以参考这篇文章，也可以参考《深入虚拟机：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！