與其他語言的模型相比，finally 關鍵字是對 Java 異常處理模型的最佳補充。finally 結構使代碼總會執行，而不管有無異常發生。使用 finally 可以維護對象的內部狀態，并可以清理非內存資源。 如果沒有 finally，您的代碼就會很費解。例如，下面的代碼說明，在不使用 finally 的情況下您必須如何編寫代碼來釋放非內存資源：
- import java.net.*;
- import java.io.*;
- class WithoutFinally
- {
- public void foo() throws IOException
- {
- //在任一個空閑的端口上創建一個套接字
- ServerSocket ss = new ServerSocket(0);
- try
- {
- Socket socket = ss.accept();
- //此處的其他代碼...
- }
- catch (IOException e)
- {
- ss.close(); //1
- throw e;
- }
- //...
- ss.close(); //2
- }
- }
|
這段代碼創建了一個套接字，并調用 accept 方法。在退出該方法之前，您必須關閉此套接字，以避免資源漏洞。為了完成這一任務，我們在 //2 處調用 close，它是該方法的最后一條語句。但是，如果 try 塊中發生一個異常會怎么樣呢？在這種情況下，//2 處的 close 調用永遠不會發生。因此，您必須捕獲這個異常，并在重新發出這個異常之前在 //1 處插入對 close 的另一個調用。這樣就可以確保在退出該方法之前關閉套接字。
這樣編寫代碼既麻煩又易于出錯，但在沒有 finally 的情況下這是必不可少的。不幸的是，在沒有 finally 機制的語言中，程序員就可能忘記以這種方式組織他們的代碼，從而導致資源漏洞。Java 中的 finally 子句解決了這個問題。有了 finally，前面的代碼就可以重寫為以下的形式：
- import java.net.*;
- import java.io.*;
- class WithFinally
- {
- public void foo2() throws IOException
- {
- //在任一個空閑的端口上創建一個套接字
- ServerSocket ss = new ServerSocket(0);
- try
- {
- Socket socket = ss.accept();
- //此處的其他代碼...
- }
- finally
- {
- ss.close();
- }
- }
- }
|
finally 塊確保 close 方法總被執行，而不管 try 塊內是否發出異常。因此，可以確保在退出該方法之前總會調用 close 方法。這樣您就可以確信套接字被關閉并且您沒有泄漏資源。在此方法中不需要再有一個 catch 塊。在第一個示例中提供 catch 塊只是為了關閉套接字，現在這是通過 finally 關閉的。如果您確實提供了一個 catch 塊，則 finally 塊中的代碼在 catch 塊完成以后執行。
finally 塊必須與 try 或 try/catch 塊配合使用。此外，不可能退出 try 塊而不執行其 finally 塊。如果 finally 塊存在，則它總會執行。（無論從那點看，這個陳述都是正確的。有一種方法可以退出 try 塊而不執行 finally 塊。如果代碼在 try 內部執行一條 System.exit(0); 語句，則應用程序終止而不會執行 finally 執行。另一方面，如果您在 try 塊執行期間撥掉電源，finally 也不會執行。）