复合分配的自动（取消）装箱失败

Question

由于复合赋值和递增/递减运算符中的隐式转换，以下编译：

byte b = 0;
++b; b++; --b; b--;
b += b -= b *= b /= b %= b;
b <<= b >>= b >>>= b;
b |= b &= b ^= b;

由于自动装箱和自动拆箱，以下代码也可以编译：

Integer ii = 0;
++ii; ii++; --ii; ii--;
ii += ii -= ii *= ii /= ii %= ii;
ii <<= ii >>= ii >>>= ii;
ii |= ii &= ii ^= ii;

然而，以下 sn-p 的最后一行给出了编译时错误：

Byte bb = 0;
++bb; bb++; --bb; bb--; // ... okay so far!
bb += bb; // DOESN'T COMPILE!!!
// "The operator += is undefined for the argument type(s) Byte, byte"

谁能帮我弄清楚这里发生了什么？ byte b 版本编译得很好，所以 Byte bb 不应该效仿并根据需要进行适当的装箱和拆箱以适应吗？

---

补充问题

那么有没有办法让复合赋值运算符与左侧的Byte、Character 和Short 一起使用，或者它们是否只是非法的（！！！）对于这些类型？

Answer 1

标准的§ 5.1.7 (Boxing) 部分说：

From type boolean to type Boolean
From type byte to type Byte
From type char to type Character
From type short to type Short
From type int to type Integer
From type long to type Long
From type float to type Float
From type double to type Double

注意没有int to Byte。当您执行bb + bb 时，它会转换为int + int，而不是装箱回Byte。对于byte 版本，int + int 直接转换回byte（缩小原始转换，§ 5.1.3），因此是允许的。