如果Java是从数组中复制的，为什么Java要求对最终变量进行显式转换？

Question

从以下代码开始…

byte foo = 1;
byte fooFoo = foo + foo;

当我尝试编译此代码时，将出现以下错误…

错误：（5，27）Java：不兼容的类型：从整数到字节的可能有损转换

…但是如果foo是最终的…

final byte foo = 1;
final byte fooFoo = foo + foo;

该文件将成功编译。

继续下面的代码…

final byte[] fooArray = new byte[1];
fooArray[0] = 1;

final byte foo = fooArray[0];
fooArray[0] = 127;

System.out.println("foo is: " + foo);

…将打印

foo is: 1

…很好。该值将被复制到最终变量，并且无法再更改。播放数组中的值不会更改foo（预期的）值。

为什么以下内容需要强制转换？

final byte[] fooArray = new byte[1];
fooArray[0] = 1;
final byte foo = fooArray[0];
final byte fooFoo = foo + foo;

这个问题与第二个示例有何不同？为什么编译器给我以下错误？

错误：（5，27）Java：不兼容的类型：从整数到字节的可能有损转换

怎么会这样

Answer 1

JLS（第5.2节）具有使用
常量表达式 进行赋值转换的特殊规则：

此外，如果表达式是一个常量表达式（§15.28类型的）byte，short，char，或int：

• 如果变量的类型是byte，short或char，并且常量表达式的值在变量的类型中可表示，则可以使用变窄的原始转换。
  
  

如果我们点击上面的链接，我们将在 常量表达式 的定义中看到这些：

• 基本类型的文字和类型的文字 String
• 加法运算符+和-
  * 引用常量变量（第4.2.4节）的简单名称（第6.5.6.1
  节）。
  
  

如果我们点击上面的第二个链接，我们会看到

原始类型或类型的变量String，即final，用一个编译时间常量表达式（初始化§15.28），被称为
恒定变量 。

因此，foo + foo只能将其赋给fooFooif foo是一个 常量变量 。要将其应用于您的案例：

• byte foo = 1; 没有 定义 常量变量， 因为不是final。

• final byte foo = 1; 确实 定义了一个 常量变量 ，因为它是final用 常量表达式 （原始文字）初始化的。

• final byte foo = fooArray[0]; 没有 定义 常量变量， 因为它没有使用 常量表达式 初始化。

请注意，是否fooFoo本身final并不重要。