《java核心技术卷一》中提到过：当finally子句包含return 语句时（当然在设计原则上是不允许在finally块中抛出异常或者 执行return语句的，我不明白为何java的设计者并没有在语法上禁用这样的形式），将会出现一种意想不到的结果。假设利用return语句从try 语句块中退出。在方法返回前，finally子句的内容将被执行。如果finally子句中也有一个return语句，这个返回值将会覆盖原始的返回值。
但作者没有提及的是，finally中的return语句不仅会覆盖原返回值，还会”吃掉“在catch子句中抛出的异常。测试代码如下：
import java.io.*;
public class ReturnInFinally{
public static void main(String[] args){
try{
boolean i=Test1();
System.out.println("End of try Test1");
}catch(Exception ex){
System.out.println("Catch exception in Main() ");
}finally{
System.out.println("Finally in Main() ");
}
boolean j=Test2();
System.out.println("j=" + j);
}
private static boolean Test1() throws Exception{
try{
throw new Exception("Exception thrown by Test1()");
}catch(Exception ex){
System.out.println("Catch exception in Test1() ");
throw ex;//重新抛出异常
}finally{
return true;//抛出的异常被return”吃“掉
}
}
private static boolean Test2(){
try{
return false;
}finally{
return true;
}
}
}
运行结果为：
Catch exception in Test1()
End of try Test1
Finally in Main()
j=true
最近接触到一些字节码修改的东西，发现finally的实现是通过将finally块加在return，re-throw语句之前，使得finally在结束try-catch块的时候总能被执行。
