java对short等小整型执行算术运算时会自动提升为int，因此赋值给short变量需显式强制类型转换，否则编译失败。
java对short等小整型执行算术运算时会自动提升为int，因此赋值给short变量需显式强制类型转换，否则编译失败。
在Java中，short（16位，取值范围 -32,768 ~ 32,767）虽是基本数据类型，但不能直接参与大多数二元算术运算并赋值回short变量。这并非设计缺陷，而是Java语言规范中明确规定的“数值提升”（Numeric Promotion）机制所致。
根据Java语言规范（JLS §5.6.2），当对byte、short或char类型的值执行加法（+）、减法（-）、乘法（*）、除法（/）等运算时，操作数会自动提升为int类型（即使两个操作数都是short）。这意味着表达式 s2 - s1 的实际计算是在int精度下完成的，其结果类型为int，而非short。
因此，以下代码会编译失败：
short s1 = 4500, s2 = 9800; short s3; s3 = s2 - s1; // ❌ 编译错误：incompatible types: possible lossy conversion from int to short
编译器拒绝该赋值，是因为它无法保证int结果一定能安全地放入short——这属于潜在的有损转换（lossy conversion），必须由开发者显式确认。
✅ 正确做法是使用显式类型转换（cast）：
short s1 = 4500, s2 = 9800;
short s3 = (short)(s2 - s1); // ✅ 编译通过
System.out.println("The difference is: " + s3); // 输出：5300
⚠️ 注意事项：
- 强制转换仅改变类型视图，不校验数值范围。若运算结果超出
short范围（如32767 + 1），将发生静默溢出（wraparound），得到-32768； - 实际开发中，除非明确控制数据范围且追求内存效率（如大规模数组场景），否则推荐直接使用
int——它在JVM中是自然整数类型，性能更优，语义更清晰； - 类似规则适用于
byte和char：它们参与算术运算后也升为int，赋值回原类型均需强制转换。
总结：Java的类型提升机制以安全性与一致性为优先，避免隐式精度丢失。理解这一机制，有助于写出更健壮、可维护的数值处理代码。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
