数字提升是否适用于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的JVM指令。

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

如果表达式是byte、short、char或int类型的常量表达式（§15.28）。。。如果变量的类型是byte、short或char，并且常量表达式的值可以在变量的类型中表示，则可以使用窄化原语转换。

如JLS中所述。

添加final确定它是否为常量表达式。