int在Java表达式中会按JLS数值提升规则自动升级：byte/short/char运算结果均为int；JVM仅支持int及以上类型算术指令；赋值回小类型需显式强转，仅编译期常量表达式可隐式窄化。
Java 中的 int 类型在表达式中并非总是“保持原样”，它会根据上下文自动提升为更宽类型，这是由 Java 语言规范（JLS）明确定义的“数值提升”（Numeric Promotion）规则决定的。理解这些规则，能避免隐式类型转换导致的编译错误或意外结果。
基本提升规则：小类型向大类型靠拢
当表达式中出现多个不同整数类型的运算数时，Java 会按以下顺序进行**二元数值提升**（Binary Numeric Promotion）：
- 如果任一操作数是
double，另一个也转为double - 否则，若任一操作数是
float，另一个也转为float - 否则，若任一操作数是
long，另一个也转为long - 否则，两个操作数都提升为
int（即使原本是byte、short或char）
注意：int 本身在该层级中已是“默认整数运算类型”。也就是说，byte + short、char + byte 等组合，结果类型都是 int，而非原始类型。
为什么没有 byte 或 short 的算术运算？
Java 虚拟机（JVM）指令集只定义了对 int、long、float、double 的算术指令（如 iadd、ladd），没有 badd 或 sadd。因此，所有小于 int 的整数类型（byte、short、char）在参与运算前，必须先提升到 int —— 这是 JVM 层面的硬性要求，不是语法糖。
立即学习“Java免费学习笔记（深入）”；
例如：
byte b1 = 10, b2 = 20;<br>byte b3 = b1 + b2; // 编译错误！因为 b1 + b2 是 int 类型
赋值时的“窄化”需显式强制转换
虽然运算结果自动升为 int，但若想把结果存回 byte、short 或 char 变量，必须手动强转，因为这属于**窄化原始类型转换**（Narrowing Primitive Conversion），可能丢失精度或符号位：
byte b3 = (byte)(b1 + b2); // 合法，但需开发者确认截断安全short s = 1000;<br>char c = 'a';<br>int result = s + c; // result 是 int，不是 short 或 char
这种设计强调安全性：Java 不允许隐式窄化，防止意外数据丢失。
常量表达式与编译期优化的例外
当表达式全部由编译期常量构成，且结果在目标类型范围内，Java 编译器会做特殊处理——允许隐式窄化赋值：
final byte b1 = 10;<br>final byte b2 = 20;<br>byte b3 = b1 + b2; // ✅ 编译通过！因为 b1+b2 是编译期常量，值为 30，在 byte 范围内
但这仅适用于 final 基本类型变量组成的常量表达式，不改变运行时的提升规则，也不适用于变量或非常量场景。
