JAVA try catch finally return 执行顺序
参考:https://www.cnblogs.com/superFish2016/p/6687549.html
一、结论
1、不管有没有出现异常，finally块中代码都会执行；
2、当try和catch中有return时，finally仍然会执行；
3、如果try、catch中有return语句，finally是在return后面的表达式运算后执行的。
- 如果是基本数据类型、静态变量。（此时并没有返回finally中运算后的值，而是先把要返回的值保存起来，不管finally中的代码怎么样，返回的值都不会改变，仍然是之前保存的值），所以函数返回值是在finally执行前确定的；
- 如果是引用数据类型，那么在finally中修改除包装类型，会对try、catch中返回的变量有影响。
原因：JAVA基本数据类型、对象的引用以及方法参数存放在栈中，引用对象本身放在堆中。- 1 寄存器：最快的存储区,由编译器根据需求进行分配,我们在程序中无法控制。
- 2 栈：存放基本类型的变量数据和对象的引用以及方法参数，但对象本身不存放在栈中，而是存放在堆（new出来的对象）或者常量池中（字符串常量对象存放在常量池中。）
- 3 堆：存放所有new出来的对象。
- 4 静态域：存放静态成员（static定义的）
- 5 常量池：存放字符串常量和基本类型常量（public static final）。
4、尽量不要在finally中使用return语句，如果使用的话，会忽略try、catch中的返回语句，也会忽略try、catch中的异常，屏蔽了错误的发生。
5、finally中避免再次抛出异常，一旦finally中发生异常，代码执行将会抛出finally中的异常信息，try、catch中的异常将被忽略
所以在实际项目中，finally常常是用来关闭流或者数据库资源的，并不额外做其他操作。
二、return
return语句用来结束循环(函数)，或返回一个函数的值。
1 return， 如果什么都不接的话，其实就是void类型函数的返回,返回后不再执行return后面的语句
如果函数执行成功返回0，不成功返回非0，一般情况下非0值常用-1来表示。
2 return 0：一般用在主函数结束时，表示程序正常终止，即告诉系统程序正常。
3 return -1：:表示返回一个代数值，一般用在子函数结尾。表示程序异常终止，即告诉系统程序异常
4 return 1：与return -1相同。
三、代码实例
3.1基本数据类型和static类型
1、没有异常、没有return
public static int testBasic1() {// 10
int i = 1;
try {
i++;
System.out.println("1try block, i = " + i);// 1try block, i = 2
} catch (Exception e) {
i++;
System.out.println("1catch block i = " + i);// 没输出
} finally {
i = 10;
System.out.println("1finally block i = " + i);// 1finally block i = 10
}
return i;// 10
}
2、没有异常、有return
执行顺序：try return有一个返回值 执行finally
- 在转去之前，try中先把要返回的结果存放到不同于i的局部变量中去，执行完finally之后，在从中取出返回结果，
- 因此，即使finally中对变量i进行了改变，但是不会影响返回结果。
- 它应该使用栈保存返回值。
public static int testBasic2() {//不进入catch 返回的是2
int i = 1;
try {
i++;
System.out.println("2try block, i = " + i);//2try block, i = 2
return i;
} catch (Exception e) {
i++;
System.out.println("2catch block i = " + i);//没输出
return i;
} finally {
i = 10;
System.out.println("2finally block i = " + i);//2 finally block i = 10
// return i; 有警告
}
}
- 代码顺序执行从try到finally，由于finally是无论如何都会执行的，所以try里的语句并不会直接返回。在try语句的return块中，return返回的引用变量并不是try语句外定义的引用变量i,而是系统重新定义了一个局部引用i’，这个引用指向了引用i对应的值，也就是2，即使在finally语句中把引用i指向了值10，因为return返回的引用已经不是i,而是i’,所以引用i的值和try语句中的返回值无关了。
3、有异常、有return
执行顺序：try-异常(try中异常后的不执行)-catch-- return有一个返回值 执行finally
- 在转去之前，catch中先把要返回的结果存放到不同于i的局部变量中去，执行完finally之后，在从中取出返回结果，
- 因此，即使finally中对变量i进行了改变，但是不会影响返回结果。
- 它应该使用栈保存返回值。
public static int testBasic3() {//进入catch 返回的是3
int i = 1;
try {
i++;
int j = 1/0;//抛出异常 算术运算异常
System.out.println("3try block, i = " + i);//不执行
return i;
} catch (Exception e) {
i++;
System.out.println("3catch block i = " + i);//输出 3catch block i = 3
return i;
} finally {
i = 10;
System.out.println("3finally block i = " + i);//3finally block i = 10
// return i; //有警告
}
}
4、finally中有return
public static int testBasic4() {//没异常不进入catch，有异常进入catch 两种情况返回的都是finally的10
int i = 1;
try {
i++;
// int j = 1/0;//抛出异常 算术运算异常
System.out.println("4try block, i = " + i);//不抛出异常有输出4try block, i = 2 //抛出异常没输出
return i;
} catch (Exception e) {
i++;
System.out.println("4catch block i = " + i);//不抛出异常没输出 //抛出异常 有输出4catch block i = 3
return i;
} finally {
i = 10;
System.out.println("4finally block i = " + i);//finally block i = 10
return i; //有警告 finally中不要有返回值
}
}
5、finally中有异常
public static int testBasic5(){//finally中有异常 控制台报错 Exception in thread "main" java.lang.ArithmeticException: / by zero
int i = 1;
try{
i++;
Integer.parseInt(null);
System.out.println("5try block, i = "+i);
return i;
}catch(Exception e){
String.valueOf(null);
System.out.println("5catch block i = "+i);
return i;
}finally{
i = 10;
int m = i / 0;//Exception in thread "main" java.lang.ArithmeticException: / by zero
System.out.println("5finally block i = "+i);
}
}
3.2引用数据类型
1、没有异常、finally无return。引用数据类型
public static List<Object> testWrap(){;//返回[try, finally]
List<Object> list = new ArrayList<>();
try{
list.add("try");
System.out.println("try block");//try block
return list;
}catch(Exception e){
list.add("catch");
System.out.println("catch block");
return list;
}finally{
list.add("finally");
System.out.println("finally block ");//finally block
}
}
- 可以看到，finally里对list集合的操作生效了，这是为什么呢。我们知道基本类型在栈中存储，而对于非基本类型是存储在堆中的，返回的是堆中的地址，因此内容被改变了。
2、有异常、finally无return。引用数据类型
public static List<Object> testWrap2() {// 返回[try, catch, finally]
List<Object> list = new ArrayList<>();
try {
list.add("try");
int i = 1/0;
System.out.println("try block");// 不输出
return list;
} catch (Exception e) {
list.add("catch");
System.out.println("catch block");//输出 catch block
return list;
} finally {
list.add("finally");
System.out.println("finally block ");// finally block
}
}
- 可以看到，finally里对list集合的操作生效了，这是为什么呢。我们知道基本类型在栈中存储，而对于非基本类型是存储在堆中的，返回的是堆中的地址，因此内容被改变了。
总结
- 举例：
- 情况1：try{} catch(){}finally{} return;
- 显然程序按顺序执行。
- 情况2:try{ return; }catch(){} finally{} return;
- 程序执行try块中return之前（包括return语句中的表达式运算）代码；
- 再执行finally块，最后执行try中return;
- finally块之后的语句return，因为程序在try中已经return所以不再执行。
- 情况3:try{ } catch(){return;} finally{} return;
- 程序先执行try，如果遇到异常执行catch块，
- 有异常：则执行catch中return之前（包括return语句中的表达式运算）代码，
再执行finally语句中全部代码，
最后执行catch块中return. finally之后也就是4处的代码不再执行。 - 无异常：执行完try再finally再return.
- 情况4:try{ return; }catch(){} finally{return;}
- 程序执行try块中return之前（包括return语句中的表达式运算）代码；
再执行finally块，因为finally块中有return所以提前退出。
- 程序执行try块中return之前（包括return语句中的表达式运算）代码；
- 情况5:try{} catch(){return;}finally{return;}
- 没有异常：程序先执行try，然后执行finally，然后return;
- 有异常：程序执行catch块中return之前（包括return语句中的表达式运算）代码；
再执行finally块，因为finally块中有return所以提前退出(不执行catch中的return)。
- 情况6:try{ return;}catch(){return;} finally{return;}
- 程序执行try块中return之前（包括return语句中的表达式运算）代码；
- 有异常：执行catch块中return之前（包括return语句中的表达式运算）代码；
则再执行finally块，因为finally块中有return所以提前退出。 - 无异常：则再执行finally块，因为finally块中有return所以提前退出。
最终结论：
任何执行try 或者catch中的return语句之前，都会先执行finally语句，如果finally存在的话。
如果finally中有return语句，那么程序就return了，所以finally中的return是一定会被return的，
编译器把finally中的return实现为一个warning。