java自动类型提升本质是算术表达式求值前统一操作数类型，不改变变量原始类型，仅在计算时触发；byte/short/char总先升为int；混合类型按优先级（byte/short/char→int→long→float→double）对齐；复合赋值符隐含强制转换。
Java 自动类型提升不是靠编译器“记住规则”硬套，而是围绕一个核心动作展开：**算术表达式求值前，统一操作数类型**。它不改变变量原始类型，也不发生在赋值或声明时，只在真正要计算的那一刻启动。
提升发生的三个关键场景
自动类型提升主要出现在以下三类上下文中：
-
算术运算表达式中：比如
b1 + b2、s * 3、c - '0'。只要含+、-、*、/、%、&、|等运算符，就触发提升 -
关系与位运算中：如
b1 、<code>c == 65、a & b，同样需先对齐类型再比较或运算 -
方法调用传参时：当实参类型比形参窄（如
byte传给int参数），编译器在重载解析阶段完成隐式提升，选中最匹配的方法
byte/short/char 总是先变 int
这是最容易被忽略的底层事实：只要参与运算，哪怕两个 byte 相加、或 char 和字面量 1 相加，JVM 都会先把它们变成 int，再执行计算。
例如：
-
byte b = 127; b + 1→ 实际计算的是(int)127 + (int)1 = 128，结果类型为int -
char c = 'A'; c + 2→65 + 2 = 67，结果是int，不是char - 所以
byte b3 = b1 + b2编译失败——不是因为结果超限，而是因为左边是byte，右边是int，类型不兼容
混合类型按精度最高者对齐
当表达式里出现多种基本类型，JVM 扫描所有操作数，找出“类型优先级最高”的那个，其余全部向它看齐。优先级顺序固定为：
byte/short/char → int → long → float → double
典型例子：
-
int + long→ 全部转long -
short + float→short → int → float，结果为float -
byte + double→ 所有操作数升为double - 注意：
long + float会转成float，哪怕float精度低于long——规则只看优先级，不看精度是否损失
复合赋值符（+=、-= 等）自带强制转换
这是唯一一个“表面看起来没提升、实际暗含转换”的特例。它等价于“先提升运算，再窄化赋值”。
比如：
-
byte b = 10; b += 5;✅ 合法，等价于b = (byte)(b + 5) -
byte b = 10; b = b + 5;❌ 编译报错，因为b + 5是int，不能直接赋给byte - 这个机制常被用于简化代码，但别误以为它绕过了类型安全——截断仍会发生，只是编译器帮你写了强转
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
