Java自动类型提升发生在算术运算前，byte、short、char无条件提升为int；表达式结果类型由操作数中最高优先级类型决定，顺序为byte/short/char→int→long→float→double；复合赋值符隐含强制转换。
Java 的自动类型提升（Autopromotion）发生在算术表达式运算过程中，不是赋值时的转换，而是编译器为保障运算安全与一致性，在计算前对操作数做的隐式升级。
哪些类型会自动提升？
以下三类小整型在参与任何二元算术运算（如 +、-、*、/）时，**无条件提升为 int**：
- byte（1 字节）
- short（2 字节）
- char（2 字节，按 Unicode 值参与运算，如 'A' → 65）
注意：boolean 不参与数值运算，不提升；final 修饰的 byte/short/char 变量在某些简单加法中可能不提升（因编译期常量优化），但属特例，日常编码不应依赖。
提升后结果类型怎么定？
整个表达式的最终类型，由所有操作数中优先级最高的类型决定。优先级从低到高为：
立即学习“Java免费学习笔记（深入）”；
sc-java-to-ts-interface
下载
将后端 Java 接口文档转换为前端 TypeScript 类型定义（interface / type）。输入：飞书文档、Spring Boot 接口文档、Swagger/OpenAPI、手写 API 文档等。输出：包含请求参数与响应结果的 .md 文件，含完整 JSDoc 注释。触发关键词：Java 转 TS、接口转换、生成前端类型、接口文档转 TypeScript、DTO/VO/BO 转 interface、后端文档转前端类型、生成接口类型、类型定义生成。
byte/short/char → int → long → float → double
具体规则是：
- 只要有一个操作数是 double，整个表达式结果为 double
- 否则，只要有一个是 float，结果为 float
- 否则，只要有一个是 long，结果为 long
- 否则，全部提升为 int，结果也为 int
例如：byte b = 10; char c = 'A'; float f = 2.5f;double r = b + c * f; → 先 c 升为 int，再 b 升为 int，c*f 中 int 升为 float，最后 float + float → float，但因赋值给 double，最终整体按 double 处理。
常见陷阱与避坑要点
-
byte a = 1, b = 2; byte c = a + b;编译失败——因为a + b结果是int，不能直接赋给byte，必须写成byte c = (byte)(a + b) -
byte a = 1, b = 2; a += b;可以通过——复合赋值运算符（+=、-=等）自带隐式强制转换，等价于a = (byte)(a + b) - 不要写
int x = (int)(Integer.MAX_VALUE + 1);——括号内先以int运算，溢出已发生，转成int只是把错误值固化；应写long x = Integer.MAX_VALUE + 1L;让运算本身就在long范围内进行
为什么设计成这样？
核心原因有三个：
-
避免小类型中间溢出：比如两个
byte相加最大可能达 254，超出byte范围，升为int后可安全容纳 -
匹配硬件效率：现代 CPU 对 32 位整数（
int）运算做了深度优化，JVM 统一用int作为默认运算宽度更高效 -
简化语言规则：不用为每种小类型单独定义加法规则，统一提升到
int，逻辑清晰且可预测
