Java 允许将字节分配给 java.lang.Short 但不能分配给 java.lang.Integer

Question

final byte b = 12;  
Short s = b;  
Integer i = b;

对于 Short，程序编译正常，但对于 Integer，编译失败，并显示“不兼容的类型”消息。

我很难理解这种行为。对于这种特定情况，我找不到任何东西..

Answer 1

我试图用更广泛的分配上下文组来复制它：

final byte b = 12;
Byte b2 = b;
Character c = b;  // Only an error if b isn't final
char c2 = b;      // Only an error if b isn't final
Short s = b;      // Only an error if b isn't final
short s2 = b;
Integer i = b;  // Error, as indicated in the question
int i2 = b;
Long l = b;     // Also an error
long l2 = b;
Float f = b;    // Also an error
float f2 = b;
Double d = b;   // Also an error
double d2 = b;

不仅分配给Integer，还分配给Float、Long 或Double 也是错误的。

有趣的是，如果 b 的原始声明不是 final，那么分配给 Character、char 或 Short 也会失败。

Section 5.2 of the JLS 阐明了赋值上下文及其允许的转换的主题。

分配上下文允许使用以下之一：

• 身份转换（§5.1.1）

• 扩大的原始转换（§5.1.2）

• 扩大参考转换 (§5.1.5)

• 装箱转换（第 5.1.7 节）可选地后跟扩大参考转换

• 拆箱转换（第 5.1.8 节）可选地后跟扩展原语转换。

这涵盖了到更广泛的原始变量的所有转换，无论b 是否为final，这些都是允许的。 （除非b 为负数，否则对无符号char（或Character）的赋值将失败。）继续：

此外，如果表达式是 byte、short、char 或 int 类型的常量表达式（第 15.28 节）：

• 如果变量的类型是 byte、short 或 char，并且常量表达式的值可以在变量的类型中表示，则可以使用缩小原语转换。

• 如果变量的类型为：

  • 字节和常量表达式的值可以用字节类型表示。

  • Short 并且常量表达式的值可以用 short 类型表示。

  • 字符和常量表达式的值可以用char类型表示。

因为b 是final，所以表达式b 是一个常量表达式，允许它从int 常量表达式12 缩小到byte，@ 987654344@，或short，然后装箱到Byte，Character，或Short，但奇怪的是，不是Integer或任何“以上”。我能想到的唯一可能的解释是，不允许将受原始窄化转换的常量表达式专门转换为Integer、Long、Float 或Double。

如果b 不是final，则不允许紧跟装箱，也不能将非常量表达式从byte 提升为char。