前言
前一段时间校招阅卷，发现一道有关try-catch-finally&return执行顺序题目，其实之前也有遇到，一直没太在意，现总结记录，并记录有该题目引发有关基础的思考——为何说java是值调用，而非引用调用。
具体题目
public class tryCatch {
public static void main(String[] args) {
int a = 1, b = 1;
System.out.println(add(a++, ++b));
}
public static int add(int a, int b) {
int c = a + b;
try {
return c;
} finally {
System.out.println("finally语句块");
c = 0;
}
}
}
上述的执行结果如下：
执行结果.png
结果分析
执行顺序想必都是没有疑问的,因为我们都知道finally中的代码总会被执行,即：任何执行try 或者catch中的return语句之前，都会先执行finally语句，如果finally存在的话。如果finally中有return语句，那么程序就return了，所以finally中的return是一定会被return的，编译器把finally中的return视为为一个warning【所以释放资源的代码一般放在finally中】。问题在于：为何最终结果是3？
在思考这个问题前，我又陆续做了以下几个实验：
- 1、 try中带有return
public static void main(String[] args) {
//int a = 1, b = 1;
//System.out.println(add(a++, ++b));
int i=testReturn1() ;
System.out.println("i:"+i);
}
private static int testReturn1() {
int i = 1;
try {
i++;
System.out.println("try:" + i);
return i;
} catch (Exception e) {
i++;
System.out.println("catch:" + i);
return i;
} finally {
i++;
System.out.println("finally:" + i);
}
}
上述的执行结果如下：
执行结果.png
- 2、非基本类型
public static void main(String[] args) {
//int a = 1, b = 1;
//System.out.println(add(a++, ++b));
//int i=testReturn1() ;
//System.out.println("i:"+i);
List<Integer> list=testReturn2();
System.out.println("list:"+list);
}
private static List<Integer> testReturn2() {
List<Integer> list = new ArrayList<>();
try {
list.add(1);
System.out.println("try:" + list);
return list;
} catch (Exception e) {
list.add(2);
System.out.println("catch:" + list);
return list;
} finally {
list.add(3);
System.out.println("finally:" + list);
}
}
上述的执行结果如下：
执行结果.png
- 3、catch中带有return
public static void main(String[] args) {
//int a = 1, b = 1;
//System.out.println(add(a++, ++b));
int i=testReturn3() ;
System.out.println("i:"+i);
//List<Integer> list=testReturn2();
//System.out.println("list:"+list);
}
private static int testReturn3() {
int i = 1;
try {
i++;
System.out.println("try:" + i);
int x = i / 0 ;
} catch (Exception e) {
i++;
System.out.println("catch:" + i);
return i;
} finally {
i++;
System.out.println("finally:" + i);
}
return i;
}
上述的执行结果如下：
执行结果.png
- 4、finally中带有return
public static void main(String[] args) {
//int a = 1, b = 1;
//System.out.println(add(a++, ++b));
int i=testReturn4() ;
System.out.println("i:"+i);
//List<Integer> list=testReturn2();
//System.out.println("list:"+list);
}
private static int testReturn4() {
int i = 1;
try {
i++;
System.out.println("try:" + i);
return i;
} catch (Exception e) {
i++;
System.out.println("catch:" + i);
return i;
} finally {
i++;
System.out.println("finally:" + i);
return i;
}
}
上述的执行结果如下：
执行结果.png
基于上述实验的总结与思考
- finally中的代码总会被执行。
- 当try、catch中有return时，也会执行finally。return的时候，要注意返回值的类型，是否受到finally中代码的影响。
- finally中有return时，会直接在finally中退出，导致try、catch中的return失效。
-
重点来了：让我们仔细对比 上述 案例中的 1 & 2.
我们都知道：java方法参数共有2种，即：基本数据类型与对象引用。根据《Java核心技术》一书中，我们知道，Java是按照值调用的，即：方法得到的所有参数值都是一根拷贝，特别是：方法不能修改传递给它的任何参数变量的内容。这时有人会反驳：那么参数是集合类型的，内容为何会被修改？注意了：因为传入的是该集合的引用，通过该引用可以改变该引用指向的内容，但是该引用是没有被修改的。
有了上面的共同认知，我们继续。对于1 & 2都是在一个方法里，为何基本数据类型和引用数据类型结果不那么一致呢？【从结果上看，基本数据类型，finally对于局部变量的操作无效，】这里大胆猜测，注意是猜测。有木有发现：try & finally分别拥有一个语句块：{ }。
上述的运行顺序应该如下：
fun():
var x=0
var y=fun1(x)
fun2(y)
return y
fun1(var x):
x++
return x
fun2(var y):
y++
其中，fun1相当于try代码块的执行，fun2相当于finally代码块的执行。你品，仔细品。如果是引用类型是不是fun2就有效，基本数据类型就不会生效呢？[切记：Java是值调用！也就是说fun2中对于y的修改其实没有修改y，是自己的栈内有一新的变量，其值=y++，但是fun1的y不受其影响]
