Java中short/byte类型在循环内运算报类型转换错误的原因

这个现象本质是Java的基本类型运算规则和编译期常量优化的判定边界共同导致的，和使用Java 18版本无关，所有Java版本都遵循该逻辑：

• 首先是基础运算规则：Java语言规范明确要求，byte、short、char这三类取值范围小于int的整数类型，在执行算术运算前都会被隐式提升为int类型，运算结果也为int类型。所以从语法规则本身来说，两个short相加的结果是int，直接赋值给short类型变量属于窄化转换，本身存在精度损失风险，编译器默认会抛出类型不兼容错误，这是常规情况。
• 无循环场景能正常编译，是触发了编译期的常量折叠优化：在无分支、无循环的顺序执行代码块中，编译器会对局部变量做简单的值追踪，如果发现变量从声明到使用的全路径都没有被重新赋值（即实际为有效final常量），就会直接在编译阶段把表达式替换成计算后的常量值。无循环示例代码里，a=5、b=6从来没有被修改，编译器会直接把a + b替换成常量11，而给short类型直接赋值在其取值范围内的整数常量是允许隐式转换的，所以不会报错。
• 循环场景编译失败，是因为编译器的常量判定有边界：循环属于带跳转的控制流结构，javac不会对非显式声明final的局部变量做跨控制流的深度值追踪——哪怕从代码逻辑上看a、b的值从来没变过，编译器也不会默认把它们判定为编译期可确定值的常量，自然不会触发常量折叠。这时候a + b就会按照标准规则被判定为int类型结果，赋值给short变量就会抛出类型转换错误。
  int类型不会出现这个问题也很好理解：int本身就是整数算术运算的默认提升类型，两个int相加的结果还是int，不存在窄化转换的需求，不管写在什么位置都不会触发这类报错。

两种写法可以适配所有场景，不会出现编译报错：

1. 显式声明不修改的short/byte变量为final，明确告诉编译器这是常量，触发常量折叠：

int i = 0;
while(i < 10) {
  final short a = 5;
  final short b = 6;
  short c = 0;
  c = a + b; // 编译正常
  i++;
}

2. 对运算结果做强制类型转换，这也是最通用、不依赖编译器优化的标准写法：

c = (short)(a + b);

补充说明：不要依赖无循环场景下的隐式常量折叠特性写代码，只要涉及short/byte/char的算术运算，主动加强转或者显式声明常量，才能避免不同编译环境下的意外报错。

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