Java 6与Java 7在自动拆箱中的差异

严升

2023-03-14

问题内容：

我已经注意到Java SE 6和Java SE 7在自动拆箱行为上的差异。我想知道为什么会这样，因为我找不到这两个版本之间这种行为变化的任何文档。

这是一个简单的例子：

Object[] objs = new Object[2];
objs[0] = new Integer(5);
int myInt = (int)objs[0];

使用Java SE 7中的javac可以很好地进行编译。但是，如果我给编译器指定“ -source 1.6”参数，则在最后一行会出现错误：

inconvertible types
found   : java.lang.Object
required: int

我尝试下载Java SE 6以使用本机版本6编译器进行编译（没有任何-source选项）。它同意并给出与上述相同的错误。

那有什么呢？从更多的实验来看，Java 6中的拆箱似乎只能拆装明显（在编译时）属于装箱类型的值。例如，这在两个版本中都适用：

Integer[] objs = new Integer[2];
objs[0] = new Integer(5);
int myInt = (int)objs[0];

因此，似乎在Java
6和7之间，取消装箱功能得到了增强，以便可以一口气对对象类型进行转换和取消装箱，而无需（在编译时）知道该值是正确的装箱类型。但是，通读Java
7发行时编写的Java语言规范或博客文章，我看不到这件事有任何变化，所以我想知道变化是什么，这个“功能”被称为什么？

只是出于好奇：由于更改，有可能触发“错误的”装箱：

Object[] objs = new Float[2];
objs[0] = new Float(5);
int myInt = (int)objs[0];

这样可以很好地编译，但是在运行时给出ClassCastException。

有什么参考吗？

问题答案：

与Java 5/6
JLS中的同一部分
相比，Java
5.5 JLS
5.5的转换部分中的语言似乎已更新，可能是为了澄清允许的转换。

Java 7 JLS说

通过取消装箱转换，可以将引用类型的表达式转换为原始类型而没有错误。

Java 5/6：

通过取消装箱转换，可以将引用类型的值强制转换为基本类型（第5.1.8节）。

Java 7 JLS还包含一个允许从参考类型到基元的转换的表（表5.1）（该表未包含在Java 5/6
JLS中）。这明确列出了从Object到基元的转换，作为带拆箱的缩小参考转换。

原因在此电子邮件中说明：

底线：如果规格。允许（Object）（int）它也必须允许（int）（Object）。