java复合赋值运算符会自动插入窄化强制转换，等价于先计算后转为目标类型再赋值；它适用于所有基本数值类型，但不检查溢出或精度损失，风险由开发者承担。
Java 中复合赋值运算符（如 +=、-=、*= 等）不是简单语法缩写，它会主动介入类型转换过程，在计算后自动插入一次窄化强制转换（narrowing cast），把结果转成左操作数的原始类型。
复合赋值自带隐式窄化转换
当左右操作数类型不同时，普通赋值要求类型兼容或显式强转；而复合赋值会“悄悄补上”目标类型的强制转换：
-
byte b = 10; b += 3;✅ 合法 —— 等价于b = (byte)(b + 3) -
byte b = 10; b = b + 3;❌ 编译失败 ——b + 3结果是int，不能直接赋给byte -
int k = 0; k += Math.pow(2, 4);✅ 编译通过 —— 等价于k = (int)(k + Math.pow(2, 4))，小数部分被截断
转换规则适用于所有基本数值类型
该机制覆盖全部八种基本类型（除 boolean），包括整型、浮点型和字符型：
-
short s = 100; s *= 2;→ 等价于s = (short)(s * 2) -
char c = 'a'; c += 1;→ 合法，c变成'b'（先提升为int运算，再缩回char） -
float f = 1.5f; f += 2.7;→ 等价于f = (float)(f + 2.7)，double被截断为float
它不检查溢出或精度，风险由开发者承担
这个隐式转换是编译期允许的“受控截断”，但运行时不做任何校验：
-
byte b = 127; b += 1;→ 结果是-128（溢出，非异常） -
int i = 0; i += Math.pow(2, 40);→ 编译通过，但结果是静默截断后的错误值 - 若需安全处理，应改用
Math.toIntExact()或显式转换加注释，例如：i += (int) Math.round(x);
和普通赋值 + 运算的关键区别
核心差异不在“加法”本身，而在“赋值阶段”的类型处理逻辑：
- 普通赋值（
=）：右侧表达式独立求值，结果类型必须与左侧变量兼容，否则报错 - 复合赋值（
+=）：整个操作被视为一个原子语义，JLS 明确规定其等价于“计算 + 强制转为目标类型 + 赋值” - 注意：
++、--不适用此规则，它们不涉及跨类型运算，也不插入隐式转换
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
