为什么Java中的局部变量不被认为是“有效的最终”，即使之后没有任何修改？

Question

在一种方法中，我有：

int x = 0
if (isA()) {
    x = 1;
} else if (isB()) {
    x = 2;
}

if (x != 0) {
    doLater(() -> showErrorMessage(x)); // compile error here
}

// no more reference to 'x' here

我不明白为什么它会产生编译错误。错误表明＜code＞x＜code＞不是final或实际上不是final，因此无法从lambda主体访问它。在＜code＞doLater

我猜这个问题的答案是因为< code>x没有资格被称为effectively-final变量。但是，我想知道是什么原因。

难道编译器不能创建一个临时的最终变量，有效地使代码像:

if (x != 0) {
    final int final_x = x;
    doLater(() -> showErrorMessage(final_x));
}

一切都照旧吗？

Answer 1

在短版本中，如果变量只被赋值一次，则无论执行哪个代码路径，它都是有效的最终变量。

长版，引用Java语言规范4.12.4。最终变量(强调我的):

某些未声明为< code>final的变量实际上被视为最终变量:

• 如果以下所有条件都为真，则其声明符具有初始值设定项 （§14.4.2） 的局部变量实际上是最终变量：
  • 它未被宣布为最终结果。
  • 它永远不会在赋值表达式 （§15.26） 中作为左侧出现。（请注意，包含初始值设定项的局部变量声明符不是赋值表达式。
  • 它从不作为前缀或后缀递增或递减运算符的操作数出现（§15.14， §15.15）。

  现在，您可以通过删除初始化程序使其有效地最终化，因为它继续：

  • 如果以下所有内容都为真，则声明符缺少初始化器的局部变量实际上是最终的：
    • 它没有声明Final。
    • 每当它在赋值表达式中作为左侧出现时，它在赋值之前肯定是un在赋值，而不是绝对赋值；也就是说，它在赋值表达式的右侧之后肯定是un赋值，而不是绝对赋值（§16（明确赋值））。
    • 它永远不会作为前缀或后缀递增或递减运算符的操作数出现。

Answer 2

如果您的＜code＞x＜/code＞变量被初始化一次，并且在任何情况下都不会再次更改，那么它将是有效的最终变量。如果你只有：

int x = 0;
doLater(() -> showErrorMessage(x));

然后它就会编译。

但是，添加可能会改变变量值的条件

int x = 0;
if (isA()) {
    x = 1;
} else if (isB()) {
    x = 2;
}

使得变量不是有效的最终变量，因此编译错误增加。

此外，由于您实现的这种指针方法不起作用，因此您可以将代码重构为一个简单的if-else语句：

if (isA()) {
    doLater(() -> showErrorMessage(1));
} else if (isB()) {
    doLater(() -> showErrorMessage(2));
}

并完全消除＜code＞x＜/code＞。

Answer 3

有效的最终意味着它本来可以成为最终的，即它永远不会改变。这意味着实际上，变量可能是最终变量。

问题是它没有记录您上次更改它的时间，而是记录您是否更改过它。将您的if语句更改为

int x;
if (isA()) {
    x = 1;
} else if (isB()) {
    x = 2;
}  else {
    x = 0;
}

或

int x = isA() ? 1 : 
        isB() ? 2 : 0;