java中short在混合算术表达式中必提升为int，因jvm规范强制要求且无short专用字节码指令；即使两short相加结果也为int，赋值需显式强转并防范溢出。
Java中short在混合算术表达式中会自动提升为int，这是JVM规范强制要求的，不是可选行为。这意味着只要表达式里出现short和其它数值类型（如int、long、float等）一起运算，short值就会先被转成int再参与计算——哪怕两边都是short，比如a + b（a、b均为short），结果仍是int。
理解提升规则：为什么总是升到int？
Java规定，所有小于int的整数类型（byte、short、char）在参与二元算术运算时，必须先提升为int。这个规则与底层字节码指令（如iadd）直接对应，JVM没有为short设计独立的加法指令。所以即使你写short a = 1, b = 2; short c = a + b;，编译器也会报错：类型不匹配，因为a + b结果是int，不能直接赋给short变量。
避免编译错误：显式窄化需谨慎
若确实需要把运算结果存回short，必须手动强转，但要注意溢出风险：
short a = 30000, b = 5000;short c = (short)(a + b); // 结果-30536（溢出！）- 建议在窄化前检查范围：
int sum = a + b; if (sum >= Short.MIN_VALUE && sum
混合类型表达式中的实际行为
当short与更大类型混合时，遵循“向更宽类型对齐”原则：
short + int → intshort + long → longshort + float → floatshort + double → double
注意：char虽是无符号16位，但提升规则与short相同（→int），且不与short直接兼容（short和char不能互相赋值，除非强转）。
实用建议：让意图清晰且安全
不要依赖隐式提升做逻辑判断，尤其涉及边界或精度场景：
- 用
int或更合适的类型声明中间变量，避免频繁强转 - 若业务语义明确属于小整数范围（如状态码、索引偏移），可封装为
enum或带校验的工具类 - 在性能敏感循环中，避免在每次迭代里重复强转；可提前转好或改用
int数组 - 使用IDE或静态分析工具（如ErrorProne）捕获潜在溢出或隐式截断
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
