与这些问题一样,JLS保留了答案。在这种情况下,第1.5.26.2节“复合赋值运算符”。摘录:
形式的复合赋值表达式
E1 op= E2等效于
E1 = (T)((E1) op (E2)),其中T是的类型
E1,不同之处在于该表达式E1仅被评估一次。
§15.26.2中引用的示例
[...]以下代码正确:
short x = 3;x += 4.6;
并导致x的值为7,因为它等效于:
short x = 3;x = (short)(x + 4.6);
换句话说,你的假设是正确的。

与这些问题一样,JLS保留了答案。在这种情况下,第1.5.26.2节“复合赋值运算符”。摘录:
形式的复合赋值表达式
E1 op= E2等效于
E1 = (T)((E1) op (E2)),其中T是的类型
E1,不同之处在于该表达式E1仅被评估一次。
§15.26.2中引用的示例
[...]以下代码正确:
short x = 3;x += 4.6;
并导致x的值为7,因为它等效于:
short x = 3;x = (short)(x + 4.6);
换句话说,你的假设是正确的。