java - uni-catch 的异常参数可能是有效的最终参数？

Question

来自The Java® Language Specification:的声明

An exception parameter of a uni-catch clause is never implicitlydeclared final, but may be effectively final.

这里可能意味着什么。请举例说明。

Answer 1

JLS8 在 4.12.4 节中说明:

A local variable or a method, constructor, lambda, or exception parameter is effectively final if it is not declared final but it never occurs as the left hand operand of an assignment operator (§15.26) or as the operand of a prefix or postfix increment or decrement operator (§15.14, §15.15).

在下面的示例中，变量e是有效的最终。这意味着它可以在lambda 表达式和匿名内部类中使用:

try {
    throw new RuntimeException("foobar");
} catch (RuntimeException e) {
    Runnable r = () -> { System.out.println(e); };
    r.run();
}

在下面的示例中，变量e不是有效的final，因为有对该变量的赋值。这意味着它不能在lambda 表达式和匿名内部类中使用:

try {
    throw new RuntimeException("foo");
} catch (RuntimeException e) {
    e = new RuntimeException("bar", e);
    Runnable r = () -> { System.out.println(e); }; // ERRROR
    r.run();
}