Java SE7新特性之捕获多种类型的异常并且重新抛出使用改进的类型检查的异常

本文涵盖了以下主题:

• 处理多种类型的异常
• 重新抛出使用更宽泛的类型检查的异常

处理多种类型的异常

在Java SE 7 以及后续版本中, 一个简单的catch块可以处理多种类型的异常。这种特性可以减少重复代码以及对于捕获过于宽泛的异常的诱惑。

考虑下面的例子，每个catch块中都包含重复代码:

catch (IOException ex) {
     logger.log(ex);
     throw ex;
catch (SQLException ex) {
     logger.log(ex);
     throw ex;
}

在Java SE 7之前的发行版本中 , 由于变量ex有着不同的类型，很难创建一个公用方法来消除重复代码。

下面的例子在Java SE 7以及后续版本中是有效的，它消除了重复代码:

catch (IOException|SQLException ex) {
    logger.log(ex);
    throw ex;
}

catch子句指定了语句块能处理的异常类型，每种异常类型由竖线(|)隔开。

注意: 如果catch块处理多种异常类型，那么catch参数隐式的声明为final。在这个例子中，catch的参数ex是final的，因此在catch块中你不能给它指定任意的值。

编译一个处理多种异常类型的catch块产生的字节码比编译多个catch块但每个只能处理一种异常类型产生的字节码要少（因此优越一些）。在由编译器生成的字节码中，一个处理多种异常类型的catch块没有重复; 字节码没有复制异常处理器。

重新抛出使用更宽泛的类型检查的异常

相比之前的Java SE发行版本，Java SE 7的编译器能够对重新抛出的异常执行更精确的分析。这可以使你在一个方法声明的throws子句里指定更具体的异常类型。

考虑下面的例子:

  static class FirstException extends Exception { }
  static class SecondException extends Exception { }

  public void rethrowException(String exceptionName) throws Exception {
    try {
      if (exceptionName.equals("First")) {
        throw new FirstException();
      } else {
        throw new SecondException();
      }
    } catch (Exception e) {
      throw e;
    }
  }

这个例子的try块既可以抛出FirstException也可以抛出SecondException。假定你想要在rethrowException方法声明中的throws 子句中指定异常类型为这两种类型，在Java SE 7之前的版本中你不能这么做。因为catch子句的异常参数e是Exception类型，并且catch块重新抛出这个异常参数 e，所以你只能在rethrowException方法声明中的throws子句中指定异常类型为 Exception。

然而在Java SE 7中, 你可以在rethrowException方法声明中的throws子句中指定异常类型为 FirstException和SecondException。Java SE 7编译器可以探测到由throw e 语句抛出的异常必须来自于try块, 并且try块抛出的异常只能是FirstException和SecondException。即使catch子句的异常参数e的类型是Exception，编译器也可以探测到它是FirstException还是SecondException的实例:

  public void rethrowException(String exceptionName)
  throws FirstException, SecondException {
    try {
      // ...
    }
    catch (Exception e) {
      throw e;
    }
  }

如果catch块中的catch参数被指定给另一个值，那么这种分析失效。然而，如果的catch参数被指定给另一个值, 你必须在方法声明的throws子句中指定异常类型为Exception。

具体说来，在Java SE 7及后续版本中, 当你在一个catch子句中声明一个或多个异常类型并且重新抛出由这个catch块处理的异常，编译器会验证重新抛出的异常类型是否满足以下条件:

• try块可以抛出它。
• 先前的 catch块没有办法处理它。
• 它是 catch子句其中一个异常参数的子类或者超类。

Java SE 7编译器允许你在rethrowException方法声明中的throws子句指定异常类型FirstException和SecondException。因为你可以重新抛出一个是throws中声明的任意类型的超类的异常。

在Java SE 7之前的版本中,你抛出的异常不能是 catch子句其中一个异常参数的一个超类。Java SE 7之前版本中，编译器在throw e语句这里会产生"unreported exceptionException; must be caught or declared to be thrown"错误。编译器会检查抛出的异常类型是否可指定给rethrowException方法声明的throws子句中声明的任意类型。然而，catch参数e的类型是Exception, 它是FirstException和SecondException的一个超类，而不是一个子类。

本文翻译自Oracle官方文档http://docs.oracle.com/javase/7/docs/technotes/guides/language/catch-multiple.html,如有不正确的地方，敬请指正，谢谢！