Java语言中try-catch-finally的执行顺序

最近遇到一道Java编程题目,让根据以下程序写输出:

public static int func (){
    try{
        return 1;
    }catch (Exception e){
        return 2;
    }finally{
        return 3;
    }
}
按着之前的想法,finally肯定会执行,但return这么多,猜想是编译错误,正确答案是3。遂在查找各种资料,找到了几处权威的,整理如下。

-------------------分割线----------------

finally的作用

对于一些代码,无论try块中的异常是否会抛出,它们都得执行。这通常适用于内存回收之外的资源清理工作(内存回收由后台GC线程自动完成),如已经打开的文件或网络连接,屏幕上画的图形,数据库连接等等。那么这些代码就可以放到finally子句内。

finally的使用

finally正常的使用大家都比较常见,但在再次抛出异常、与return结合等情况下,容易产生迷惑,所以整理为下面几节。

异常再次抛出时

finally语句总会执行,甚至在异常没有被当前异常处理程序捕获,而重新抛出给更高一层前,finally会执行,例子是《Java编程思想》里的,如图:


在return中使用finally

由于finally总会执行,所以如果在return中使用finally,就可从多个点返回,同时保证重要的、必须的工作仍旧执行,即在含有finally的函数中,从何处返回无关紧要,示例如下:

public class TryCatchFinally{
	public static int func(int i){
		System.out.println("func");
		try{
			System.out.println("try block");
			if(i == 1) return 1;
			if(i == 2) return 2;
			if(i == 3) return 3;
			return -1;
		}catch (Exception e){
			System.out.println("catch block");
			return -2;
		}finally{
			System.out.println("finally block");
		}
	}
	
	public static void main(String[] args){	
		for(int i=1; i <= 4; i++){
			System.out.println(func(i));
			System.out.println("-----------");
		}
	}
}
运行后输出内容为:

func
try block
finally block
1
-----------
func
try block
finally block
2
-----------
func
try block
finally block
3
-----------
func
try block
finally block
-1
-----------
注意:这里catch必须有返回值,否则报错。究其原因,是因为函数必须有返回值,如果try里面出错,try里的return就无效了,而finally、catch里都没有return,所以这两个字句必须至少有一个包含有返回值。

finally的优先覆盖

这里还需要指出,finally子句有最高的控制流返回权,其可以覆盖try、catch块内的任意Exception值、return值。如下的函数,将会返回12,而不是10。

public static int getMonthsInYear(){
    try{
        return 10;
    } finally {
        return 12;
    }
}
同样地,如下函数,最后并不会抛出异常,而是返回值。
public static int getMonthsInYear(){
    try{
        throw new RuntimeException();
    } finally {
        return 12;
    }
}
再对比这个函数,却抛出异常,并不返回值。
public static int getMonthsInYear(){
    try{
        return 12;          
    } finally {
        throw new RuntimeException();
    }
}

finally不执行的特殊情况

finally子句一定会执行,除了极少的极端情况:

  • 调用了 System.exit() 
  • Java虚拟机崩了

总结

finally子句一定会执行,如果其含有程序控制流返回的语句,如return、throw e等,那么try、catch子句的相应控制流语句会失效;反之,当finally里没有控制流返回语句时,就会返回try或catch的控制流返回处,进行正常控制流交还操作。当然,这种编程方式是极不友好的,大概也只有在面试的时候能遇到吧。

另外,参考里给的stachoverflow的链接里,有几个回答很好,比如有个牛人直接贴出了Java语言规范(JLS),有的一句话就点清,上面最后的三段代码就是参考的某个高票回答,想深入了解的请继续阅读探索。


参考:

1. 《Java编程思想》 P264

2.  http://stackoverflow.com/questions/65035/does-finally-always-execute-in-java

3. https://docs.oracle.com/javase/specs/jls/se8/html/jls-14.html#jls-14.17

4. https://docs.oracle.com/javase/specs/jls/se8/html/jls-14.html#jls-14.20.1



阅读更多

没有更多推荐了,返回首页