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