13

关于添加到 Java 7 的多捕获特性的 Oracle 文档指出，catch子句中的异常参数是隐式的final。

我的问题是：这种限制有什么意义？因为我似乎找不到它带来的任何关键改进。将引用对象标记为final仅保护引用本身不被修改，而不是它引用的对象，并且永远不会禁止创建另一个引用并以他们想要的任何方式修改它。

关于 SO 的一个有点相关的问题讨论了为什么修改catch子句中的异常引用不是最明智的做法，但它与该子句的任何使用有关catch，而不仅仅是它的多捕获形式。那么，为什么 Java 会为 multi-catch 制造一个例外，并以特殊的方式处理它呢？

4

1 回答 1

21

在 uni-catch 子句中，您可以自由地重新分配异常对象。例如，这很好用：

try {
    ... // code that can throw IOException or some user-defined ParserException
} catch(IOException) {
    e = new IOException();  // this is acceptable (although there is no point in doing it)
    e.printStackTrace();
}

编译器肯定知道抛出的对象是 type IOException。但是，在 multi-catch 子句中，您可以使用以下内容：

try {
    ... // code that can throw IOException or some user-defined ParserException
} catch(IOException | ParserException e) {
    e = new IOException(); // this is NOT acceptable -- e may reference a ParserException
    e.printStackTrace();
}

在这种情况下，编译器在编译时不知道异常是哪种类型，因此将 new 分配给IOException可以引用an或IOException不ParseException应该允许的变量。除此之外，首先缺乏分配给异常变量的用例。final因此，隐式生成变量并避免所有这些混淆是非常有意义的。如果你真的需要给变量赋值，你可以切换到写catch块序列的旧方式。

于 2015-03-08T18:31:12.460 回答