java自动类型提升的核心是“运算前统一规格”，即算术运算前将操作数提升至统一类型以保障安全计算；小整型（byte/short/char）一律先升为int；混合运算按精度最高类型对齐；赋值仅支持低→高兼容提升；复合赋值符隐含强制转换。
Java 的自动类型提升不是靠记忆规则硬背，而是理解“运算前统一规格”这个核心逻辑。它发生在算术表达式求值之前，目的是让所有操作数用同一种类型安全计算，避免精度丢失。
byte、short、char 运算时一律先变 int
这三条小整型在参与任何算术运算（+、-、*、/、%）时，不管另一边是 int 还是 long，它们自己先被提升为 int。不是看目标变量类型，而是看运算本身。
- 哪怕两个 byte 相加，结果也是 int，不能直接赋给 byte 变量
- char 参与运算也一样：'A' + 1 → 65 + 1 = 66，结果是 int 类型
- short s = 100; s + 200 的结果类型是 int，不是 short
混合运算按最大类型对齐
当表达式里出现多种基本类型，JVM 会找出其中“精度最高”的那个，把其余全部提升到它——顺序是：byte/short/char → int → long → float → double。
- int + long → 全部转为 long
- long + float → 全部转为 float（注意：float 精度低于 long，但规则优先级更高）
- int + double → 全部转为 double（double 是最高优先级）
- float + double → 全部转为 double
赋值时的自动提升只发生在右边→左边兼容场景
单纯赋值不触发复杂提升，只看是否满足“低精度 → 高精度”且范围可容纳。
- byte b = 10; int i = b; ✅ 安全提升
- int i = 100; long l = i; ✅
- float f = 3.14f; double d = f; ✅
- 但 int i = 100; byte b = i; ❌ 编译失败，必须强制转换
复合赋值运算符（+=、-= 等）有特殊处理
它们隐含了强制转换逻辑，等价于“先提升运算，再窄化赋值”。
- byte b = 10; b += 5; ✅ 合法，相当于 b = (byte)(b + 5)
- 但 byte b = 10; b = b + 5; ❌ 编译报错，因为 b + 5 是 int，不能直接赋给 byte
- 这个差异常被用来判断是否真正理解了提升时机
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
