算术提拔是Java二元运算前将操作数统一升级为更宽类型的编译期规则：byte/short/char无条件升int，int与long混合升long，float与double混合升double；1 + 1L结果为long，b = b + 1编译失败因结果为int需显式强转或用b += 1。
Java里算术运算不是“按写出来的类型算”，而是先按规则升到统一类型再算——不理解这点，byte相加变int、char和short参与运算后“丢精度”、1 + 1L结果是long这些现象就容易误判。
什么是算术提拔（Numeric Promotion）
Java在做+、-、*、/、%等二元算术运算时，不会直接用操作数的原始类型计算。它有一套强制升级规则：把两个操作数都转成“更宽”的公共类型，再运算。这个过程叫算术提拔。
常见误解是以为short s = 1; s = s + 1;能编译——其实s + 1中s被提拔为int，结果是int，不能直接赋给short变量。
- 所有
byte、short、char在参与二元运算前，**无条件升为int**（哪怕两个byte相加） -
int和long混合时，int升为long -
float和double混合时，float升为double - 有
double参与，整个表达式结果就是double
为什么byte b = 1; b = b + 1;编译失败
因为b + 1触发了算术提拔：b是byte，1是int字面量，两者先升为int再相加，结果是int类型。而byte变量不能直接接收int值（可能溢出），编译器拒绝隐式窄化。
立即学习“Java免费学习笔记（深入）”；
- 正确写法：
b = (byte)(b + 1);—— 显式强转，告诉编译器“我清楚风险” - 或改用复合赋值：
b += 1;—— Java对+=等复合运算符做了特殊处理，自动插入窄化转换（等价于b = (byte)(b + 1)） - 注意：
b = b + 1和b += 1语义不同，后者是语法糖，前者是纯算术表达式
char和short参与运算时的隐式截断风险
char是无符号16位，short是有符号16位，但它们在运算中都被当int用。问题在于：一旦你把结果再存回原类型，可能意外丢失高位信息，且不报错。
例如：char c = '\uFFFF'; short s = -1; int r = c + s; —— 看似都在16位范围，但c升为int后是65535，s升为int后是-1，结果65534仍是int；若你写char res = (char)(c + s);，得到的是'\uFFFE'，逻辑上没错，但如果你没意识到中间经历了int阶段，就可能误读符号行为。
-
char参与运算永远不带符号扩展，short会（因为它是有符号） - 混合
char和short运算时，两者都升int，但原始语义（有/无符号）已丢失，只保留数值 - 从
int结果转回char或short时，Java只取低16位，不检查是否越界
泛型和重载中算术提拔的干扰
算术提拔发生在编译期，但它会影响方法重载解析。比如你定义了void f(int x)和void f(long x)，调用f((short)1)会选int版本，因为short提拔后是int，不是long。
更隐蔽的是泛型擦除后与原始类型的交互：比如List<byte></byte>里存的byte值，取出后做+运算，依然会先升int——别指望泛型能“锁住”原始类型行为。
- 重载选择基于提拔后的参数类型，不是声明类型
- 泛型不影响运行时的算术提拔，
Byte对象拆箱成byte后，照样被提拔 - 如果想避免提拔，用
Math.addExact()等带溢出检查的方法，它们接受int/long，但不会自动提拔输入
最易忽略的一点：算术提拔是**静态的、编译期确定的**，和运行时值无关。哪怕你写final byte b = 1;，b + b还是int——编译器只看类型，不看常量折叠后的值是否还在byte范围内。
