Java算术运算中类型自动提升是编译期强制规则，byte/short/char参与运算必升为int，混合类型按最宽类型逐级提升，赋值回小类型需显式转换，方法参数和返回值也遵循该规则。
Java算术运算中，类型自动提升不是“可有可无的优化”，而是编译期强制执行的规则，直接决定表达式能否通过编译、结果是什么类型、以及赋值是否合法。
byte、short、char参与运算必升为int
只要表达式中出现byte、short或char，无论另一操作数是哪种整型（哪怕是另一个byte），它们都会在运算前被提升为int。这是JVM字节码层面的硬性要求——没有badd、sadd或cadd指令，只有iadd等针对int的操作。
- byte b = 5; int r = b + 10; → 合法，b升为int，结果为int
- short s1 = 1, s2 = 2; int r = s1 + s2; → 合法，两个short都升为int
- char c = '0'; int r = c + 1; → 合法，'0'（ASCII 48）升为int，结果是49
混合类型按最宽优先逐级提升
当多个不同宽度的类型共存时，提升目标不是简单统一成int，而是以表达式中“最宽类型”为准，向上对齐。提升顺序为：byte/short/char → int → long → float → double。
- byte + short → int（无更宽类型，默认升int）
- int + long → long（int升为long）
- short + float → float（short → int → float，分两步）
- char + double → double（char → int → double）
赋值回小类型需显式处理
提升后的结果类型是int或更高，但想存回原小类型变量时，编译器会拒绝隐式截断——它不承担数据丢失风险。
- byte b = 10; b = b + 1; → 编译失败：b + 1是int，不能自动转byte
- 正确写法：b = (byte)(b + 1); 或使用复合赋值 b += 1;（+=隐含(char)或(byte)转换）
- ++和--也享受同等待遇：byte b = 0; b++; 完全合法
方法参数与返回值中的体现
类型提升只发生在表达式求值阶段，不影响方法签名本身。传参时仍按规则提升；返回值则必须严格匹配声明类型。
- static int add(byte a, byte b) { return a + b; } → 正确，a + b是int，方法也声明返回int
- static byte add(byte a, byte b) { return a + b; } → 编译失败，必须写 return (byte)(a + b);
- 调用时传入add((byte)3, (byte)4)，括号仅用于匹配参数类型，内部运算仍按提升规则执行
