Java强制转换：是编译器错误，还是语言规范错误，还是我错了？

Question

我一直在阅读 Java 语言规范，第三版，并发现我认为规范与 javac 编译器实现之间存在差异。 Eclipse 编译器中也存在同样的差异。

15.16 节讨论强制转换表达式。它说如果参数类型无法通过强制转换转换为强制转换类型，则应该是编译时错误（第 5.5 节）：

如果根据强制转换规则（第 5.5 节），操作数的编译时类型永远无法强制转换为强制转换运算符指定的类型，则这是一个编译时错误。否则，在运行时，通过将转换转换为转换运算符指定的类型来转换操作数值（如果需要）。

5.5 节讨论了强制转换。它给出了允许的转换类型的列表。该列表中特别缺少的是“拆箱转换，然后扩大/缩小原始转换”。 但是 javac 编译器（以及 Eclipse 编译器）似乎确实允许这种确切的转换顺序。例如：

long l = (long) Integer.valueOf(45);

... 编译得很好。 （有问题的转换是转换为long；参数的类型为java.lang.Integer，因此转换需要拆箱为int，然后通过扩大原始转换）。

同样，根据 JLS，不可能从 byte 转换为 char，因为（根据 5.1.4) 需要扩大原始转换和缩小原始转换 - 然而，编译器也允许这种转换。

谁能启发我吗？

编辑：自从提出这个问题以来，我已经提交了错误报告< /a> 与 Oracle。他们的回应是这是“JLS 中的一个故障”。

Answer 1

我认为你是对的，编译器是对的，规范是错误的......

这可以编译：(Object)45，而这不会：(Long)45

理解编译器行为（包括我正在使用的 Intellij）的唯一方法是修改强制转换以符合赋值转换和方法调用转换：

• 装箱转换（第 5.1.7 节）
  可选地随后加宽
  参考转换

• 拆箱转换（§5.1.8）
  可选地随后加宽
  原始转换。

加宽

• 和缩小原始转换规范

确实说“强制转换比赋值或方法调用转换更具包容性：强制转换可以执行除字符串转换或捕获转换之外的任何允许的转换”

Answer 2

根据我的阅读，此子句允许从 int 到 long 的转换：

如果类型相同，可以通过身份转换将基本类型的值转换为另一个基本类型，或者通过扩大基本类型转换或缩小基本类型转换。

将 int 转换为 long 是一种加宽基元转换。

只剩下从 Integer 到 int 的转换，这由最后一个项目符号容纳：

拆箱转换

当然，在示例中甚至不需要强制转换为 long。

考虑以下四个定义：

final Integer io = Integer.valueOf(45);
final int i = io;
final long l1 = (long)i;
final long l2 = i;

您认为其中任何一个定义令人惊讶吗？你原来的例子看起来没有什么不同；它只是省略了中间变量。