数值提升是否适用于Java中的常量？

Question

第5.1.2节和第5.6.2条没有提到数值提升和扩展常量是如何工作的。

如下所示，出现了预期的错误：

short a = 2;
short b = 3;
short s = a + b; // error: incompatible types: possible lossy conversion from int to short

但是，如果它们被声明为“最终”，则不会出错地进行编译：

final short a = 2;
final short b = 3;
short s = a + b; // no error

为什么会这样呢？规格的哪个部分解释了这一点？

我的猜测是，它们是编译时间常数，因此被视为整数。

Answer 1

升级必须由编译器完成，因为S。

但是，编译器能够将产生的整数和缩小到短，因为：

如果表达式是字节、短、字符或int类型的常量表达式(§15.28) .如果变量的类型是字节、短或字符，并且常量表达式的值可以在变量的类型中表示，则可以使用收缩基元转换。

正如所描述的在JLS中。

添加final决定它是否是一个常量表达式。