ITEM 73: 抛出符合本层抽象概念的异常

ITEM 73: THROW EXCEPTIONS APPROPRIATE TO THE ABSTRACTION
当一个方法抛出一个与它执行的任务没有明显连接的异常时，这是令人不安的。当方法传播由低级抽象引发的异常时，通常会发生这种情况。它不仅令人不安，而且还会使更高层的 API 受到实现细节的污染。如果更高层的实现在以后的版本中发生变化，它抛出的异常也会发生变化，可能会破坏现有的客户程序。
为了避免这个问题，较高的层应该捕获较低级别的异常，并抛出可以根据较高级别的抽象加以解释的异常。这个习语被称为异常翻译：

// Exception Translation
try {
    ... // Use lower-level abstraction to do our bidding
} catch (LowerLevelException e) {
    throw new HigherLevelException(...); 
}

下面是取自 AbstractSequentialList 类的异常转换示例，该类是List接口的骨架实现(item 20)。在本例中，异常转换是由列表接口中的get方法规范强制要求的：

/**
 * Returns the element at the specified position in this list.
 * @throws IndexOutOfBoundsException if the index is out of range
 * ({@code index < 0 || index >= size()}). 
*/
public E get(int index) {
    ListIterator<E> i = listIterator(index); 
    try {
        return i.next();
    } catch (NoSuchElementException e) {
        throw new IndexOutOfBoundsException("Index: " + index); 
    }
}

当低级异常可能有助于某人调试导致高级异常的问题时，需要调用一种称为异常链接的特殊形式的异常转换。低级异常(原因)传递给高级异常，高级异常提供一个访问器方法(Throwable的getCause方法)来检索低级异常：

// Exception Chaining
try {
    ... // Use lower-level abstraction to do our bidding
} catch (LowerLevelException cause) { 
    throw new HigherLevelException(cause);
}

高级异常的构造函数将原因传递给一个链敏感的超类构造函数，所以它最终被传递给Throwable链敏感的构造函数，比如 Throwable(Throwable)：

// Exception with chaining-aware constructor
class HigherLevelException extends Exception { 
    HigherLevelException(Throwable cause) {
        super(cause); 
    }
}

大多数标准异常都有可识别链的构造函数。对于不存在的异常，可以使用 Throwable 的initCause 方法设置原因。异常链接不仅允许您以编程方式(使用getCause)访问原因，而且还将原因的堆栈跟踪集成到更高级别异常的堆栈跟踪中。
虽然异常转换优于从底层随意传播异常，但它不应该被过度使用。在可能的情况下，处理来自底层的异常的最好方法是通过确保底层方法成功来避免它们。有时您可以通过在将高级方法的参数传递给低层之前检查它们的有效性来实现这一点。
如果不可能防止来自较低层的异常，那么下一个最好的方法就是让较高层安静地处理这些异常，使高级方法的调用者免受低层问题的影响。在这些情况下，使用适当的日志工具(如java.util.logging) 记录异常可能是合适的。这允许程序员调查问题，同时将客户端代码和用户与之隔离。
总之，如果不能阻止或处理来自较低层的异常，那么就使用异常转换，除非较低层方法碰巧能够保证它的所有异常都适用于较高层。链接提供了两方面的优点：它允许您抛出适当的高级异常，同时捕获故障分析的底层原因(item 75)。