使用finally关键字来避免资源漏洞

　　Peter Haggar
IBM 高级软件工程师

编者按：这几篇文章是从《Practical Java》（由 Addison-Wesley 出版）一书节选而来的。您可以从 Borders.com 订购该书。请阅读我们对作者 Peter Haggar 的采访。

与其他语言的模型相比，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 也不会执行。）

作者简介
Peter Haggar 是 IBM 的高级软件工程师。他目前正在研究新兴的 Java 和因特网技术，并且是 IBM 实时 Java 参考实现的项目主持人。他有丰富的编程经验，从事过开发工具、类库和操作系统等方面的工作。在许多行业研讨会上，他也经常就 Java 和其他技术作技术性发言。他于 1987 年在纽约获得 Clarkson 大学计算机科学学士学位。可以通过 haggar@us.ibm.com 与他联系。

--摘自IBM网站
http://www-900.ibm.com/developerWorks/cn/java/praxis/pr21.sHtml