java中`+=`等复合赋值运算符会自动执行隐式窄化类型转换（即强制转为左操作数类型），而普通`+`运算后直接赋值需显式强制转换，否则编译失败；这是jls规范定义的行为，并非编译器疏漏。
在Java中，看似等价的两种写法——k = k + Math.pow(2, 4) 和 k += Math.pow(2, 4)——在类型处理上存在本质差异，其行为由Java语言规范（JLS）严格定义，而非编译器“宽松”或“严格”的偶然表现。
首先看第一段代码：
int k = 0; k = k + Math.pow(2, 4); // 编译错误：possible lossy conversion from double to int
此处，Math.pow(2, 4) 返回 double（值为 16.0），而 k 是 int。根据Java二元运算符规则，int + double 的结果类型为 double，因此表达式 k + Math.pow(2, 4) 的结果是 double。将 double 直接赋给 int 变量属于显式窄化原始类型转换（narrowing primitive conversion），必须通过强制类型转换（如 (int)(k + Math.pow(2, 4))）才能通过编译，否则触发编译期错误。
而第二段代码：
立即学习“Java免费学习笔记（深入）”；
int k = 0; k += Math.pow(2, 4); // ✅ 正确编译，无警告 System.out.println(k); // 输出：16
之所以能通过编译，是因为复合赋值运算符（+=, -=, *=, etc.）在语义上等价于先计算右值、再执行隐式类型转换、最后赋值。根据JLS §15.26.2，E1 op= E2 等价于 E1 = (T)((E1) op (E2))，其中 T 是 E1 的原始类型。
也就是说，k += Math.pow(2, 4) 实际被编译器翻译为：
k = (int)(k + Math.pow(2, 4)); // 隐式插入了 (int) 强制转换
这个转换是由语言规范保证的自动窄化转换，且仅在复合赋值上下文中合法。它不是“绕过检查”，而是规范明确允许的安全简化语法。
⚠️ 注意事项：
- 此隐式转换仍可能造成精度丢失或溢出（例如 byte b = 127; b += 1; 结果为 -1），但编译器不报错也不警告；
- 该规则仅适用于原始类型之间的复合赋值，对引用类型（如 String += Object）不适用；
- 类似行为也存在于 -=, *=, /=, %= 等所有复合赋值运算符中；
- 若需可读性与安全性兼顾，建议在涉及浮点运算赋值给整型时，显式写出类型转换并添加注释，例如：k = (int) Math.round(Math.pow(2, 4));（避免截断误差）。
总结：这种“不一致”并非缺陷，而是Java为提升编码简洁性所做的有意设计——复合赋值天然绑定目标类型，从而省去冗余的强制转换。理解这一机制，有助于写出更符合JLS语义、更健壮的类型安全代码。
