java中byte、short、char参与算术运算必提升为int，是jvm字节码层面硬性要求——仅提供iadd等int指令，无badd/sadd/cadd；提升发生在编译期，决定编译是否通过、结果类型及赋值合法性。
Java在算术运算中自动把byte、short、char提升为int，不是编译器“帮忙”，而是JVM字节码层面的硬性要求——没有badd、sadd、cadd指令，只有iadd等针对int的运算指令。这个规则贯穿整个表达式求值过程，直接影响能否编译通过、结果类型是什么、以及赋值是否合法。
为什么必须升为 int？底层指令决定一切
JVM规范只定义了iadd（整数加）、ladd（长整数加）、fadd（浮点加）、dadd（双精度加）四类算术指令，根本不支持对byte或short执行原生运算。哪怕写byte a = 1, b = 2; int r = a + b;，编译后也是先用iload把两个byte当作int加载，再执行iadd。字符char同理：它被当作无符号16位整数，取Unicode值（如'A'是65），然后作为int参与计算。
- 提升发生在编译期字节码生成阶段，与运行时无关
- 它不是为了“扩大范围”，而是为了匹配JVM唯一可用的整数运算通路
- 即使两个
final byte常量相加，比如final byte x = 10, y = 20; byte z = x + y;，依然编译失败——规则不可绕过
混合类型怎么提升？按宽度优先逐级对齐
当多个不同宽度类型共存时，提升目标不是统一成int，而是以表达式中最宽类型为准，向上对齐。顺序固定：byte/short/char → int → long → float → double。
-
byte + short→ 全部升为int（无更宽类型，默认走int） -
int + long→int升为long，结果是long -
short + float→short → int → float（分两步，中间必须经过int） -
char + double→char → int → double，最终结果是double
结果赋回小类型为何报错？窄化必须显式承担风险
提升后的结果类型至少是int，但想存回byte、short或char变量时，编译器会拒绝隐式截断——这属于窄化转换，可能丢失精度或符号位。
-
byte b = 10; b = b + 1;❌ 编译失败：右侧是int，不能自动转byte -
b = (byte)(b + 1);✅ 显式强转，开发者确认截断安全 -
b += 1;✅ 合法，复合赋值符由编译器重写为b = (byte)(b + 1)，隐含窄化 -
++b和--b也内置窄化逻辑，可直接用于byte/short/char
方法参数与返回值中的体现：提升只发生在表达式内部
类型提升只作用于当前算术表达式的求值过程，不影响方法签名本身。传参时仍按规则提升；返回值则必须严格匹配声明类型。
-
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)，括号仅用于让实参匹配byte形参，内部运算仍按提升规则执行
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
