Java позволяет назначать байт для java.lang.Short, но не для java.lang.Integer

Я попытался продублировать это с более широкой группой контекстов назначения:

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 также не удается.

Раздел 5.2 JLS проливает немного света на тему контекстов присваивания и их разрешенных преобразований.

Контексты назначения позволяют использовать одно из следующего:

• преобразование идентичности (§5.1.1)

• расширяющее примитивное преобразование (§5.1.2)

• расширяющее преобразование ссылки (§5.1.5)

• преобразование бокса (§5.1.7), за которым необязательно следует преобразование расширяющей ссылки

• распаковывающее преобразование (§5.1.8), за которым необязательно следует расширяющее примитивное преобразование.

Это охватывает все преобразования в более широкие примитивные переменные, которые разрешены всегда, независимо от того, является ли b final или нет. (Это верно, если b не является отрицательным, и в этом случае присваивание беззнаковому char (или Character) не удастся.) Продолжаем:

Кроме того, если выражение является константным выражением (§15.28) типа byte, short, char или int:

• Сужающее примитивное преобразование может использоваться, если переменная имеет тип byte, short или char, а значение константного выражения может быть представлено в типе переменной.

• Сужающее примитивное преобразование, за которым следует упаковывающее преобразование, может использоваться, если тип переменной:

  • Byte и значение константного выражения можно представить в виде byte.

  • Short, а значение константного выражения можно представить в виде short.

  • Символ и значение константного выражения можно представить в виде char.

Поскольку b равно final, выражение b является постоянным выражением, что позволяет сузить его от int постоянного выражения 12 до byte, char или short, а затем упаковать в Byte, Character или Short, но странно, не до Integer или чего-то выше. Единственное возможное объяснение, которое я могу придумать, состоит в том, что выражения-константы, которые подвергаются примитивному сужающему преобразованию, специально не могут быть преобразованы в Integer, Long, Float или Double.

Если b не равно final, то сужение с последующим боксом не разрешено, и непостоянное выражение также не может быть повышено с byte до char.