根据返回值类型不同,分基本类型,引用类型,以及具体数字来对try/catch/finally的实际返回值进行讨论。
同学先看几段代码,思考在这几段代码中我们得到的返回值为多少。
第一种,返回基本类型:
public static int tryCatchTest1(){
int a = 10;
try{
int i = 1/0;
}catch(Exception e){
return a;
}finally{
a = 20;
}
return 0;
}
第二种: 返回引用类型
public static int tryCatchTest2(){
Person person = new Person();
p.age = 18;
try{
int i = 1/0;
}catch(Exception e){
return p;
}finally{
p.age = 28;
}
return 0;
}
第三种: 返回具体的值:
public static int tryCatchTest3(){
int a = 10;
try{
int i = 1/0;
}catch(Exception e){
return a;
}finally{
return 2;
}
return 0;
}
首先我们需要知道try/catch/finally中的return 执行流程:
- 先计算返回值,并将返回值存储起来,等待返回
- 执行finally代码块
- 将之前存储的返回值,返回出去
接下来我们分别讨论这三种情况
- Test1(返回的对象为基本类型):
第一种情况中返回的值为2,在执行流程中,我们在catch模块实际保存的为a的值的副本,然后将其存储,等待返回。因为后面对a的改变将不回影响到之前a的值的副本。 - Test2(返回的值为引用类型):
第二种情况我们查询person.age会发现此时的值为28,也就是说被finally代码块所改变,原因在于在执行流程时,如果我们返回的值为引用类型,此时我们保存的是person这个实例的地址,而在finally中对同一个person进行age的改变,会映射到系统其他这个person实例的age改变,所以我们返回的也会发生改变。 - Test3(返回的值为具体数值):
第三种情况返回值为2,因为finally语句无论如何都能一定发生,因此如果返回具体值能够直接覆盖之前我们在catch或try返回的值,因为这个方法只需要一个返回值。
总结:
如果返回值是基本类型,则执行流程存放的就是return时该基本类型的副本,如果返回值是引用类型,则行流程存放的就是该对象的地址,而无论返回的是基本类型或者引用类型,都能够被finally中返回的具体值所覆盖。