java finally深入探究
When---什麽時候需要finally:
在jdk1.7之前,所有涉及到I/O的相關操作,我們都會用到finally,以保證流在最後的正常關閉。jdk1.7之後,雖然所有實現Closable接口的流,可以通過在try塊中定義,從而實現jvm自動關閉輸入輸出流。但其實在我們需要在代碼塊返回之前,實現在不管前面的操作是否執行成功,都要執行的某操作A。這時候我們就可以將A放入finally塊中。很常見的一個操作就是鎖的unlock操作。
What---什麽是finally:
字面解釋就是最終,eventually。其作用就是保證在try塊中的代碼執行完成之後,必然會執行finally中的語句。不管try塊中是否拋出異常。
How---如何使用finally:
finally塊必須配合try塊使用,而不能單獨使用。
Deeper---深入探究finally塊:
在深入探究之前我們直接先給出四個結論:
1. finally塊只會在try塊執行的情況下才執行
2. finally塊在離開try塊執行完成後或者try塊未執行完成但是接下來是控制轉移語句時(return/continue/break)在控制轉移語句之前執行。
3. 在執行finally語句之前,控制轉移語句會將返回值存在本地變量中
4. finally塊中的控制轉移return語句能夠覆蓋try或者catch塊中的返回值
其中1、2不做進一步說明。我們來對3和4直接通過兩個例子進行深入理解:
關於3的例子:
1 public static void main(String[] args) { 2 System.out.println("return " + testFinally()); 3 } 4 5 public static String testFinally() { 6 int i = 10; 7 try { 8 return i + ""; 9 } finally { 10 i++; // 即使i的值改變,但是return語句涉及到的i的值已經保存在本地變量中 11 } 12 }13 14 // 輸出是10.
我們直接分析字節碼得:
1 public static java.lang.String testFinally(); 2 descriptor: ()Ljava/lang/String; 3 flags: ACC_PUBLIC, ACC_STATIC 4 Code: 5 stack=3, locals=3, args_size=0 6 0: bipush 10 --將10壓入棧中 7 2: istore_0 --將棧頂元素(10)存儲到局部變量0中 8 3: new #22 // class java/lang/StringBuilder 9 6: dup 10 7: iload_0 --從局部變量0中裝載數據(10)入棧,後續代碼是用來進行字符串拼接 11 8: invokestatic #47 // Method java/lang/String.valueOf:(I)Ljava/lang/String; 12 11: invokespecial #26 // Method java/lang/StringBuilder."<init>":(Ljava/lang/String;)V 13 14: invokevirtual #37 // Method java/lang/StringBuilder.toString:()Ljava/lang/String; 14 17: astore_2 --拼接後的結果存入局部變量2中(是10+"") 15 18: iinc 0, 1 --局部變量0的值加1 16 21: aload_2 --從局部變量2中裝載數據(為10+"") 17 22: areturn --返回結果 18 23: astore_1 --將前面變量0加1的結果存入局部變量1 19 24: iinc 0, 1 --將局部變量0加1 20 27: aload_1 --裝載局部變量1的值 21 28: athrow
其實areturn返回的是變量的引用值。這意味著,如果最終返回的是對象類型。那麽在finally塊執行之前,存儲在本地變量中的只是對象引用的值,而不是對象的深拷貝。我們可以在finally塊中對返回對象的屬性進行改變。直接看下一個例子:
1 public static void main(String[] args) { 2 System.out.println("return " + testFinally()); 3 } 4 5 public static Map<String, String> testFinally() { 6 Map<String, String> map = new HashMap<String, String>(); 7 try { 8 map.put("aaa", "aaa"); 9 return map; 10 } finally { 11 map.put("aaa", "bbb"); 12 map = null; 13 } 14 } 15 16 // 輸出為:return {aaa=bbb}
下面我們再來說說關於第4點的例子:
1 public static void main(String[] args) { 2 System.out.println("return " + testFinally()); 3 } 4 5 private static String testFinally() { 6 try { 7 return "456"; 8 } finally { 9 return "123"; 10 } 11 } 12 13 // 輸出:123
1 public static void main(String[] args) { 2 System.out.println("return " + testFinally()); 3 } 4 5 private static String testFinally() { 6 try { 7 throw new SQLException(); 8 //return "456"; 9 } catch (SQLException e) { 10 System.out.println("catch SQLException!"); 11 throw new RuntimeException("123"); 12 } 13 finally { 14 return "123"; 15 } 16 } 17 18 // 輸出為: 19 catch SQLException! 20 return 123
更多的其他例子:
1 public static int getValue() { 2 int i = 1; 3 try { 4 i = 4; 5 } finally { 6 i++; 7 return i; 8 } 9 } 10 // 最終返回5 11 12 public static int getValue() { 13 int i = 1; 14 try { 15 i = 4; 16 } finally { 17 i++; 18 } 19 20 return i; 21 } 22 // 最終返回5 23 24 public static void main(String[] args) { 25 System.out.println(test()); 26 } 27 public static String test() { 28 try { 29 System.out.println("try block"); 30 return test1(); 31 } finally { 32 System.out.println("finally block"); 33 } 34 } 35 public static String test1() { 36 System.out.println("return statement"); 37 return "after return"; 38 } 39 // 最終輸出: 40 try block 41 return statement 42 finally block 43 after return
參考鏈接:
https://www.ibm.com/developerworks/cn/java/j-lo-finally/
http://www.cnblogs.com/lanxuezaipiao/p/3440471.html
http://blog.csdn.net/michealmc/article/details/52237639
java finally深入探究