java 的复合赋值运算符（如 `+=`）在执行时会自动插入窄化转换（narrowing cast），而普通赋值配合 `+` 运算符则不会，因此编译器对二者施加的类型检查规则不同。
在 Java 中，类型安全是编译期严格保障的。当涉及数值类型混合运算时，Java 会依据二元运算规则和赋值转换规则分别处理表达式计算与结果赋值。
先看第一段代码：
int k = 0; k = k + Math.pow(2, 4); // 编译错误：possible lossy conversion from double to int System.out.println(k);
Math.pow(2, 4) 返回 double（值为 16.0），而 k 是 int。根据 Java 语言规范（JLS §15.18.2），int + double 的结果类型为 double。因此 k + Math.pow(2, 4) 整体结果是 double，将其直接赋给 int 变量 k 属于显式窄化转换（explicit narrowing conversion），必须由程序员手动强转，否则编译器拒绝通过——这是为防止精度丢失（如 16.7 被截断为 16）而设的安全机制。
再看第二段代码：
立即学习“Java免费学习笔记（深入）”；
int k = 0; k += Math.pow(2, 4); // ✅ 编译通过，等价于 k = (int)(k + Math.pow(2, 4)); System.out.println(k); // 输出：16
根据 JLS §15.26.2，复合赋值运算符（+=, -=, *=, 等）具有内置的隐式窄化转换语义。其行为等价于：
k = (int)(k + Math.pow(2, 4)); // 编译器自动插入 (int) 强制转换
注意：该转换发生在运行时，且不进行溢出或精度检查（例如 k += 1e20 会导致静默截断为 Integer.MAX_VALUE 或其他未定义整数值）。因此，+= 并非“更安全”，而是语法糖层面放宽了编译约束，将潜在风险交由开发者承担。
✅ 正确实践建议：
- 若确定 Math.pow 结果为整数且在 int 范围内，推荐显式转换以提高可读性与意图明确性：
k = k + (int) Math.pow(2, 4); // 清晰表明开发者知晓并接受转换
- 对整数幂运算，优先使用 Math.toIntExact()（Java 8+）或整数运算（如位移 1 << 4）避免浮点误差：
k += 1 << 4; // 更高效、无精度风险
⚠️ 注意：该规则仅适用于复合赋值运算符，不适用于 ++、-- 或其他独立运算；且仅对基本数值类型有效（不适用于 String += 等重载场景）。理解这一机制有助于写出既符合编译要求、又语义清晰的健壮代码。
