java - 为什么这种类型的final变量初始化不能在java中编译？

Question

已关闭。此问题需要 debugging details 。目前不接受答案。

---

编辑问题以包含 desired behavior, a specific problem or error, and the shortest code necessary to reproduce the problem 。这将有助于其他人回答问题。

已关闭 3 年前。

Improve this question

class Example{
  public static void main(String args[]){   
    final int x=127;

    final int y;
    y=100;

    byte b;

    b=x;
    b=y;
  }
}

考虑这个程序 x 和 y 变量被声明为最终变量。所以我需要将x和y值赋给b。 b=x；编译并 b=y；未编译。为什么这段代码不能正常工作。请需要解释。

Answer 1

我不知道你想通过这段代码实现什么目的，但我可能会尝试解释为什么它适用于 x并不适合 y 。我可能会拼错严格的术语，但它是这样的。

这个工作背后的一个(可能是主要原因)原因是编译器如何分析源代码。
Final关键字仅意味着该值一旦被分配/初始化就无法更改(并且该值必须在访问之前初始化)。

b=x;赋值有效，因为 x 的最终值是准确的。变量在编译时已知并且 x 的值是127，在byte类型的范围内。因此可以将其分配给 b - x不会改变，因为它是最终的，并且它的值在字节范围内，并且在编译时已知。
超出 x 的字节范围变量(例如 128)会产生相同的错误。

b=y;不是，因为，这可能看起来很奇怪， y 的最终值变量在编译时未知。编译器不会使用所有指令来评估变量的值。因此编译器不知道y的初始化和声明之间是否存在。是否有其他指令可能会更改分配给 y 的值。换句话说，分配给 y 的值在运行时评估 - 因为它是另一条指令。

b=y 出现的错误是:

error: incompatible types: possible lossy conversion from int to byte

尝试执行以下操作时会产生相同的错误:

int z = 126;
final int zz=z;
b=zz;

或者类似的东西:

final int zz=new Scanner(System.in).nextInt();
b=zz;

在我的zz和你的y在这种情况下，该变量的最终值是在运行时计算的，并且编译器不知道它们的值是否不会溢出b的范围。字节。

编译器不是很聪明，或者...是，但不进行广泛的优化和检查。要求编译器知道 y=100会使编译时间更长(因为它还需要评估 zz=new Scanner... 表达式)。

它也适用于以下内容:

final int x=127*2/2;
b=x;

因为 x 的精确值可以在编译时评估。

如果您需要一些规范页面，请告诉我，我稍后可以查找。