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 exception Exception; 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,如有不正确的地方，敬请指正，谢谢！