Java 7 - 精确地重新抛出最终异常

Question

在以前的java版本中，重新抛出异常被视为抛出catch参数的类型。

例如：

public static void test() throws Exception{
    DateFormat df = new SimpleDateFormat("yyyyMMdd");
    try {
        df.parse("x20110731");
        new FileReader("file.txt").read();
    } catch (Exception e) {
        System.out.println("Caught exception: " + e.getMessage());
        throw e;
    }
}

在 Java 7 中，如果声明异常 final，则可以更精确地了解抛出的异常：

//(doesn't compile in Java<7)
public static void test2() throws ParseException, IOException{
    DateFormat df = new SimpleDateFormat("yyyyMMdd");
    try {
        df.parse("x20110731");
        new FileReader("file.txt").read();
    } catch (final Exception e) {
        System.out.println("Caught exception: " + e.getMessage());
        throw e;
    }
}

我的问题：文档说我需要声明异常final。但如果我不这样做，上面的代码仍然可以编译并工作。我错过了什么吗？

参考文献：

Project Coin：多次捕获和最终重新抛出
添加更灵活的重新抛出异常检查

Answer 1

我相信我看到了 Josh Bloch 的一条推文，称“最终”限制已于晚些时候取消。我会看看是否能找到有关它的帖子，但我怀疑这只是您阅读的任何“早期”文档现在都不准确。

编辑：我找不到确切的“已更改”帖子，但 Java 7 文档声明 显示了一个示例，但它不是最终版本。它讨论了当 catch 块声明多个类型时，异常变量隐式为final，但这略有不同。

编辑：我现在找到了困惑的根源，但这是一个内部邮件列表帖子:(无论如何，它不必声明为最终的，但我相信编译器将其视为隐式 最终 - 就像在多重捕获场景中一样。

Answer 2

两者都编译的原因是，随后未修改的 uni catch 子句中的异常是隐式最终的（JLS 14.20)。

因此，为了使您的示例无法编译，您需要以某种方式修改 e，例如：

public static void test2() throws ParseException, IOException {
    DateFormat df = new SimpleDateFormat("yyyyMMdd");
    try {
        df.parse("x20110731");
        new FileReader("file.txt").read();
    } catch (Exception e) {
        if (e instanceof ParseException) {
            e = new ParseException("Better message", 0);
        } else {
            e = new IOException("Better message");
        }
        System.out.println("Caught exception: " + e.getMessage());
        throw e; //does not compile any more
    }
}

Answer 3

没有最后的它仍然是有效的java。你只是失去了它“精确”的好处。