在finally代码块中处理返回值,这是考试和面试中经常出现的题目。虽然可以以此来出考试题,但在项目中绝对不能在finally代码块中出现return语句,这是因为这种处理方式非常容易产生“误解”,会严重误导开发者。例如如下代码:
public static void main(Stringargs){
try{
doStuff(-1);
doStuff(100);
}catch(Exception e){
System.out.println(/"这里是永远都不会到达的/");
}
}
//该方法抛出受检异常
public static int doStuff(int_p)throws Exception{
try{
if(_p<0){
throw new DataFormatException(/"数据格式错误/");
}else{
return_p;
}
}catch(Exception e){
//异常处理
throw e;
}finally{
return-1;
}
}
对于这段代码,有两个问题:main方法中的doStuff方法的返回值是什么?doStuff方法永远都不会抛出异常吗?
答案是:doStuff(-1)的值是-1,doStuff(100)的值也是-1,调用doStuff方法永远都不会抛出异常,有这么神奇?原因就是我们在finally代码块中加入了return语句,而这会导致出现以下两个问题:
(1)覆盖了try代码块中的return返回值
当执行doStuff(-1)时,doStuff方法产生了DataFormatException异常,catch块在捕捉此异常后直接抛出,之后代码执行到finally代码块,就会重置返回值,结果就是-1了,也就是出现了先返回,再执行finally,再重置返回值的情况。
有读者可能会扩展思考了:是不是可以定义一个变量,在finally中修改后再return呢?代码如下:
public static int doStuff(){
int a=1;
try{
return a;
}catch(Exception e){
}finally{
//重新修改一下返回值
a=-1;
}
return 0;
}
该方法的返回值永远是1,而不会是-1或0(为什么不会执行到/"return 0/"呢?原因是finally执行完毕后该方法已经有返回值了,后续代码就不会再执行了),这都是源于异常代码块的处理方式,在代码中加上try代码块就标志着运行时会有一个Throwable线程监视着该方法的运行,若出现异常,则交由异常逻辑处理。
我们知道方法是在栈内存中运行的,并且会按照“先进后出”的原则执行,main方法调用了doStuff方法,则main方法在下层,doStuff在上层,当doStuff方法执行完/"return a/"时,此方法的返回值已经确定是in类型1(a变量的值,注意基本类型都是值拷贝,而不是引用),此后finally代码块再修改a的值已经与doStuff返回者没有任何关系了,因此该方法永远都会返回1。
继续追问:那是不是可以在finally代码块中修改引用类型的属性以达到修改返回值的效果呢?代码如下:
public static Person doStuff(){
Person person=new Person();
person.setName(/"张三/");
try{
return person;
}catch(Exception e){
}finally{
//重新修改一下返回值
person.setName(/"李四/");
}
person.setName(/"王五/");
return person;
}
class Person{
private String name;
/*name的getter/setter方法省略*/
}
此方法的返回值永远都是name为李四的Person对象,原因是Person是一个引用对象,在try代码块中的返回值是Person对象的地址,finally中再修改那当然会是李四了。
(2)屏蔽异常
为什么明明把异常throw出去了,但main方法却捕捉不到呢?这是因为异常线程在监视到有异常发生时,就会登记当前的异常类型为DataFormatException,但是当执行器执行finally代码块时,则会重新为doStuff方法赋值,也就是告诉调用者“该方法执行正确,没有产生异常,返回值是1”,于是乎,异常神奇的消失了,其简化代码如下所示:
public static void doSomething(){
try{
//正常抛出异常
throw new RuntimeException();
}finally{
//告诉JVM:该方法正常返回
return;
}
}
public static void main(Stringargs){
try{
doSomething();
}catch(RuntimeException e){
System.out.println(/"这里永远都不会到达!/");
}
}
上面finally代码块中的return已经告诉JVM:doSomething方法正常执行结束,没有异常,所以main方法就不可能获得任何异常信息了。这样的代码会使可读性大大降低,读者很难理解作者的意图,增加了修改的难度。
在finally中处理return返回值,代码看上去很完美,都符合逻辑,但是执行起来就会产生逻辑错误,最重要的一点是finally是用来做异常的收尾处理的,一旦加上了return语句就会让程序的复杂度徒然提升,而且会产生一些隐蔽性非常高的错误。
与return语句相似,System.exit(0)或Runtime.getRuntime().exit(0)出现在异常代码块中也会产生非常多的错误假象,增加代码的复杂性,读者有兴趣可以自行研究一下。
注意 不要在finally代码块中出现return语句。