java中byte、short、char参与运算时自动提升为int，导致编译错误或溢出；整数除法截断小数；复合赋值虽自动强转但易引发静默溢出；需显式类型转换、避免var、用单元测试覆盖边界。
Java 在变量运算中会自动进行隐式类型提升，这看似方便，实则埋下不少编译错误和逻辑偏差的隐患。最典型的问题不是“算错了”，而是“根本编译不过”——尤其当操作数是 byte、short 或 char 时。
小整型参与运算必升为 int
Java 规定：只要 byte、short、char 出现在算术或位运算（如 +、、<code>|）中，编译器会无条件将它们提升为 int 类型执行运算，结果也一定是 int。
-
byte a = 10; byte b = (byte)(a + 5);—— 必须加(byte)强转，否则编译报错“incompatible types” -
short s = 1; s = s + 1;—— 错误！s + 1是int，不能直接赋给short char c = 'A'; int x = c —— 合法，但注意 <code>c先转成int（值为 65），再左移
复合赋值运算符的“伪装安全”
像 +=、-=、 这类操作符，Java 会在底层自动插入强制类型转换，所以看起来能绕过类型检查，但容易让人误以为“类型没变”。
-
byte b = 100; b += 5;—— 编译通过，等价于b = (byte)(b + 5) -
byte b = 120; b += 10;—— 结果是-126（溢出后取低 8 位），静默发生，无提示 -
short s = 30000; s += 10000;—— 同样溢出，结果不是 40000，而是-25536
整数除法导致精度丢失
两个整数相除，结果仍是整数，小数部分直接截断。若后续赋值给 double 或 float，错误已在前一步发生。
-
int total = 7; int count = 3; double avg = total / count;→avg == 2.0，不是 2.333… -
var ratio = 5 / 2;→ 推断为int，值为 2；即使你后面想用它做浮点计算，类型已定 - 正确写法：
double avg = total / (double) count;或total / 2.0
规避策略：明确意图，控制边界
隐式提升本身不可禁用，但可通过编码习惯主动防御：
- 对小整型运算，优先考虑是否真需
byte/short—— 除非是数组密集存储，否则用int更安全、更高效 - 所有涉及除法的地方，显式引入浮点常量（如
/ 2.0）或强转（如(double)a / b） - 禁用
var声明数值类型变量，尤其在除法、位运算等易歧义场景，强制写出具体类型 - 关键计算添加单元测试，覆盖边界值（如
Byte.MAX_VALUE + 1、负数左移等）
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
