try/catch语句中有效final变量的赋值

Question

以下代码不能用javac 1.8.0_144和ECJ编译：

private LongSupplier foo() {
    long fileSize;
    try {
        fileSize = canThrow();
    } catch (IOException e) {
        fileSize = 42;
    }

    LongSupplier foo = () -> 1 + fileSize;
    return foo;
}

>

未声明为最终。

在赋值表达式(§15.26)中，它从不作为左手边出现。（请注意，包含
初始值设定项的局部变量声明符不是赋值表达式。）

它从不作为前缀或后缀递增或递减运算符的操作数出现(§15.14，§15.15)。

它从不作为前缀或后缀递增或递减运算符的操作数出现。

方法、构造函数、λ或异常参数(§8.4.1，§8.8.1，§9.4，§15.27.1，§14.20)为了
确定它是否有效地是最终的，被视为一个局部变量
，其声明符有一个初始值设定项。

我的理解是，在子句2中，try/catch块中的赋值是允许的，因为在赋值之前filesize肯定是未赋值的。

我认为解释代码被拒绝的理由是：

• filesize在try块之前明确未分配
• fileSize是在fileSize=canThrow()
之后分配的（肯定吗？似乎16.1.8不关心分配中的异常）
• filesize在try块之后分配
• FileSize在catch块之前并不是绝对未赋值的，因此在catch块中的赋值之前也不是绝对未赋值的。
• 因此，4.12.4中的第2条不适用于此处

这是正确的吗？

Answer 1

“有效final”的定义表明，添加final修饰符不应更改任何内容。让我们这样做，得到一个更清楚的错误：

error: variable fileSize might already have been assigned
                    fileSize = 42;
                    ^

因此，这与使用try/catch进行Final变量赋值完全相同（它也提供了使用第二个Final变量的变通方法），即变量出现在赋值的左边，这意味着它不一定是未赋值的。