直到今天,我认为例如:
i += j;
只是一个捷径:
i = i + j;
但是如果我们试试这个:
int i = 5; long j = 8;
然后i = i + j;不会编译,但i += j;会编译得很好。
i = i + j
i += j
这是否意味着实际上i += j;是这样的捷径i = (type of i) (i + j)?
i = (type of i) (i + j)
与这些问题一样,JLS 给出了答案。在这种情况下,§15.26.2 复合赋值运算符。提取物:
§15.26.2
形式的复合赋值表达式E1 op= E2等价于E1 = (T)((E1) op (E2)),其中T是 的类型E1,除了E1只计算一次。
E1 op= E2
E1 = (T)((E1) op (E2))
E1
引用自§15.26.2的示例
[…] 以下代码是正确的:
short x = 3; x += 4.6;
并导致 x 的值为 7,因为它等效于:
x
7
short x = 3; x = (short)(x + 4.6);
换句话说,你的假设是正确的。