JAVA异常体系---不要在FINALLY块中使用RETURN、THROW

我会带着你远行 2022-03-10 11:52 254阅读 0赞

# 在finally块中使用return、throw，会导致编译告警：finally block does not complete normally。 #

## 情况一：finally块中没retrun、throw ##

public static void method\_1() \{ try \{ System.out.println("try block run"); throw new Exception("try block 异常"); \} finally \{ System.out.println("finally block run"); \} \} public static void method\_2() \{ try \{ System.out.println("try block run"); \} catch (Exception e) \{ System.out.println("catch block run"); throw new Exception("catch block 异常了！"); \} finally \{ System.out.println("finally block run"); \} \}

说明：程序报错，Unhandled exception type Exception。此时编译器会检查try块、catch块中的非运行时异常。

## 情况二：finally块中有retrun或者throw ##

public static void method\_1() \{ try \{ System.out.println("try block run"); throw new Exception("try block 异常"); \} finally \{ System.out.println("finally block run"); return; \} \} 程序运行结果：try block run 》》 finally block run public static void method\_2()\{ try\{ System.out.println("try block run"); \}catch (Exception e) \{ System.out.println("catch block run"); throw new Exception("catch block 异常了！"); \}finally\{ System.out.println("finally block run"); throw new RuntimeException("finally block 异常了！"); \} \} 程序运行结果：try block run 》》 finally block run 》》 finally block 异常了！

说明：程序告警，finally block does not complete normally。此时编译器不会检查try块、catch块中的非运行时异常。

JVM不会再去捕获try块、catch块中的异常，而是得到（使用return时）finally块的返回值或者（使用throw时）finally块中抛出的异常。

## **结论：** ##

当在finally块中使用return、throw时，编译器不会再对try、catch块中的非运行时异常进行检查，JVM不会再去捕获try块、catch块中的异常，程序的输出以finally块为准，即finally块的返回值或者finally块中抛出的异常。

当在try块或catch块中遇到return语句时，finally块将在方法返回之前被执行。finally块中的return语句会覆盖try块、catch块中的return语句。合理的做法是在 finally 块之后使用return语句。

另：

***结论：  
1、不管有没有出现异常，finally块中代码都会执行；  
2、当try和catch中有return时，finally仍然会执行；  
3、finally是在return后面的表达式运算后执行的（此时并没有返回运算后的值，而是先把要返回的值保存起来，不管finally中的代码怎么样，返回的值都不会改变，任然是之前保存的值），所以函数返回值是在finally执行前确定的；  
4、finally中最好不要包含return，否则程序会提前退出，返回值不是try或catch中保存的返回值。  
举例：***  
*情况1*：try\{\} catch()\{\}finally\{\} return;  
显然程序按顺序执行。  
*情况2*:try\{ return; \}catch()\{\} finally\{\} return;  
程序执行try块中return之前（包括return语句中的表达式运算）代码；  
再执行finally块，最后执行try中return;  
finally块之后的语句return，因为程序在try中已经return所以不再执行。  
*情况3*:try\{ \} catch()\{return;\} finally\{\} return;  
程序先执行try，如果遇到异常执行catch块，  
有异常：则执行catch中return之前（包括return语句中的表达式运算）代码，再执行finally语句中全部代码，  
最后执行catch块中return. finally之后也就是4处的代码不再执行。  
无异常：执行完try再finally再return.  
*情况4*:try\{ return; \}catch()\{\} finally\{return;\}  
程序执行try块中return之前（包括return语句中的表达式运算）代码；  
再执行finally块，因为finally块中有return所以提前退出。  
*情况5*:try\{\} catch()\{return;\}finally\{return;\}  
程序执行catch块中return之前（包括return语句中的表达式运算）代码；  
再执行finally块，因为finally块中有return所以提前退出。  
*情况6*:try\{ return;\}catch()\{return;\} finally\{return;\}  
程序执行try块中return之前（包括return语句中的表达式运算）代码；  
有异常：执行catch块中return之前（包括return语句中的表达式运算）代码；  
则再执行finally块，因为finally块中有return所以提前退出。  
无异常：则再执行finally块，因为finally块中有return所以提前退出。  
  
***最终结论***：任何执行try 或者catch中的return语句之前，都会先执行finally语句，如果finally存在的话。  
如果finally中有return语句，那么程序就return了，所以finally中的return是一定会被return的，  
编译器把finally中的return实现为一个warning。

下面是个测试程序
    public class FinallyTest  
    {
    	public static void main(String[] args) {
    		 
    		System.out.println(new FinallyTest().test());;
    	}
    
    	static int test()
    	{
    		int x = 1;
    		try
    		{
    			x++;
    			return x;
    		}
    		finally
    		{
    			++x;
    		}
    	}
    }
    结果是2。

在try语句中，在执行return语句时，要返回的结果已经准备好了，就在此时，程序转到finally执行了。
    在转去之前，try中先把要返回的结果存放到不同于x的局部变量中去，执行完finally之后，在从中取出返回结果，
    因此，即使finally中对变量x进行了改变，但是不会影响返回结果。
    它应该使用栈保存返回值。

***转载自：***

[https://www.cnblogs.com/curious-xdb/articles/5897325.html][https_www.cnblogs.com_curious-xdb_articles_5897325.html]

[https://www.cnblogs.com/fery/p/4709841.html][https_www.cnblogs.com_fery_p_4709841.html]

[https_www.cnblogs.com_curious-xdb_articles_5897325.html]: https://www.cnblogs.com/curious-xdb/articles/5897325.html
[https_www.cnblogs.com_fery_p_4709841.html]: https://www.cnblogs.com/fery/p/4709841.html