Java中数值提升是否适用于常量？编译差异的规范依据是什么？

这个问题其实涉及Java编译器对编译时常量表达式的特殊处理，咱们一步步拆解清楚：

1. 非final变量相加报错的原因 #

当你用非final的short变量a和b执行a + b时，Java会触发二进制数值提升（对应Java语言规范§5.6.2）：所有byte、short、char类型的操作数都会被自动提升为int类型，所以a + b的结果是int类型。

而把int类型的值直接赋值给short属于窄化原始转换，可能会造成精度损失（毕竟int的范围远大于short），所以编译器会直接抛出incompatible types: possible lossy conversion from int to short的错误，除非你显式添加强转(short)(a + b)。

2. final变量相加能编译的原因 #

当a和b被声明为final，并且初始值是编译时常量（比如字面量2、3）时，a + b就成为了编译时常量表达式（对应Java语言规范§15.28）。

这时候编译器会在编译阶段直接计算出表达式的结果（这里是5），然后做两个关键检查：

• 结果的基础类型是int（由数值提升规则决定）
• 结果的值是否在目标类型short的取值范围内（-32768 到 32767）

由于5完全在short的范围内，编译器会允许这个隐式赋值——这是赋值转换的特殊规则（对应Java语言规范§5.2）：如果表达式是常量表达式，类型为byte、short、char或int，并且值在目标类型（byte、short、char）的范围内，就可以直接进行隐式转换，无需显式强转。

举个反例验证：如果我们写final short a = 32767; final short b = 1; short s = a + b;，编译器依然会报错，因为32767 + 1 = 32768超出了short的最大值，这也说明编译器确实会严格检查常量表达式的结果范围。

对应的规范章节 #

核心的规范依据有三个：

• §5.6.2 二进制数值提升：定义了非常量操作数的数值提升规则
• §15.28 常量表达式：明确了编译时常量表达式的定义，包含final基本类型变量的引用（当变量初始化为常量表达式时）
• §5.2 赋值转换：说明了常量表达式在赋值时的特殊隐式转换规则

内容的提问来源于stack exchange，提问作者SMUsamaShah