一、指定方法引发的异常

上一节展示了如何为ListOfNumbers类中的writeList（）方法编写异常处理程序。有时，代码捕获可能在其中发生的异常是适当的。然而，在其他情况下，最好让调用堆栈更上层的方法处理该异常。例如，如果您将ListOfNumbers类作为类包的一部分提供，则可能无法预测包中所有用户的需求。在这种情况下，最好不要捕获异常，并允许调用堆栈上更高的方法来处理它。

如果writeList（）方法没有捕获其中可能发生的已检查异常，则writeList.（）方法必须指定它可以引发这些异常。让我们修改原始的writeList（）方法，以指定它可以引发的异常，而不是捕获它们。为了提醒您，这里是无法编译的writeList（）方法的原始版本。

public void writeList() {
    PrintWriter out = new PrintWriter(new FileWriter("OutFile.txt"));
    for (int i = 0; i < SIZE; i++) {
        out.println("Value at: " + i + " = " + list.get(i));
    }
    out.close();
}

要指定writeList（）可以引发两个异常，请将throws子句添加到writeList.（）方法的方法声明中。throws子句包含throws关键字，后跟该方法引发的所有异常的逗号分隔列表。子句位于方法名称和参数列表之后，以及定义方法范围的大括号之前；这里有一个例子。

public void writeList() throws IOException, IndexOutOfBoundsException {

请记住，IndexOutOfBoundsException是未检查的异常；在throws子句中包含它不是强制性的。您可以只编写以下内容。

public void writeList() throws IOException {

二、如何抛出异常

在捕获异常之前，某个地方的某些代码必须抛出一个异常。任何代码都可能引发异常：您的代码、来自其他人编写的包（如Java平台附带的包）的代码或Java运行时环境。无论是什么引发异常，它总是与throw语句一起引发。

您可能已经注意到，Java平台提供了许多异常类。所有类都是Throwable类的后代，并且都允许程序区分在程序执行期间可能发生的各种类型的异常。

您还可以创建自己的异常类来表示您编写的类中可能发生的问题。事实上，如果您是包开发人员，则可能必须创建自己的一组异常类，以允许用户将包中可能发生的错误与Java平台或其他包中发生的错误区分开来。

您还可以创建链接异常。有关详细信息，请参见连锁异常部分。

三、Throw语句

所有方法都使用throw语句引发异常。throw语句需要单个参数：可丢弃的对象。可抛出对象是Throwable类的任何子类的实例。下面是throw语句的一个示例。

throw someThrowableObject;

让我们看看上下文中的throw语句。下面的pop（）方法取自实现公共堆栈对象的类。该方法从堆栈中移除顶部元素并返回对象。

public Object pop() {
    Object obj;
    if (size == 0) {
        throw new EmptyStackException();
    }
    obj = objectAt(size - 1);
    setObjectAt(size - 1, null);
    size--;
    return obj;
}

pop（）方法检查堆栈上是否有任何元素。如果堆栈为空（其大小等于0），pop将实例化一个新的EmptyStackException对象，该对象是java.util的成员，并抛出它。本章的“创建异常类”部分解释了如何创建自己的异常类。现在，您需要记住的是，只能抛出从java.lang.Throwable类继承的对象。

请注意，pop（）方法的声明不包含throws子句。EmptyStackException不是选中的异常，因此不需要pop来声明它可能发生。

四、可抛出类及其子类

从Throwable类继承的对象包括直接后代（直接继承自Throwaable类的对象）和间接后代（继承自Throuwable类的子对象或孙子对象）。下图说明了Throwable类及其最重要的子类的类层次结构。如您所见，Throwable有两个直接后代：Error和Exception。

编辑

Throwable层次结构

五、Error Class

当Java虚拟机中发生动态链接故障或其他硬故障时，虚拟机抛出Error。简单的程序通常不会捕获或抛出Error的实例。

六、Exception Class

大多数程序抛出并捕获从Exception类派生的对象。异常表示发生了问题，但不是严重的系统问题。您编写的大多数程序将抛出和捕获Exception实例，而不是Error实例。

Java平台定义了Exception类的许多后代。这些子体表示可能发生的各种类型的异常。例如，IllegalAccessException表示找不到特定方法，NegativeArraySizeException指示程序试图创建大小为负的数组。

一个Exception子类RuntimeException是为指示不正确使用API的异常保留的。运行时异常的一个例子是NullPointerException，当方法试图通过null引用访问对象的成员时，就会发生该异常。未检查的异常-争议一节讨论了为什么大多数应用程序不应引发运行时异常或RuntimeException子类。

七、链式异常

应用程序通常通过引发另一个异常来响应异常。实际上，第一个异常导致第二个异常。知道一个异常何时导致另一个异常非常有用。链式异常有助于程序员做到这一点。

下面是Throwable中支持链接异常的方法和构造函数。

Throwable getCause()
Throwable initCause(Throwable)
Throwable(String, Throwable)
Throwable(Throwable)

initCause（）和Throwable构造函数的Throwall参数是导致当前异常的异常。getCause（）返回导致当前异常的异常，initCause（”）设置当前异常的原因。

下面的示例演示如何使用链接异常。

try {
} catch (IOException e) {
    throw new SampleException("Other IOException", e);
}

在本例中，当捕获IOException时，将创建一个新的SampleException异常，并附加原始原因，异常链将被抛出到下一个更高级别的异常处理程序。

八、访问堆栈跟踪信息

现在，假设高级异常处理程序希望以自己的格式转储堆栈跟踪。

定义：堆栈跟踪提供有关当前线程的执行历史记录的信息，并列出在异常发生时调用的类和方法的名称。堆栈跟踪是一种有用的调试工具，通常在引发异常时可以利用它。

下面的代码演示如何对异常对象调用getStackTrace（）方法。

catch (Exception cause) {
    StackTraceElement elements[] = cause.getStackTrace();
    for (int i = 0, n = elements.length; i < n; i++) {       
        System.err.println(elements[i].getFileName()
            + ":" + elements[i].getLineNumber() 
            + ">> "
            + elements[i].getMethodName() + "()");
    }
}