Java 条件表达式中的错误行为

Question

一个简单的表达式：

Object val = true ? 1l : 0.5;

val是什么类型？那么，从逻辑上讲，val 应该是一个值为 1 的 Long 对象。但 Java 认为 val 是一个 Double，其值为 1.0。

它不必对自动装箱进行任何操作，因为

Object val = true ? new Long(1) : new Double(0.5);

结果具有相同的行为。

只是为了澄清：

Object val = true ? "1" : 0.5;

产生正确的字符串。

谁能解释一下为什么他们这样定义？对我来说，它的设计似乎相当糟糕，或者实际上是一个错误。

Answer 1

Java 语言规范第 15.25 节对此进行了描述（相关部分以粗体显示）：

条件表达式的类型确定如下：

1. 如果第二个和第三个操作数具有相同的类型[...]

2. 如果第二个和第三个操作数之一是布尔类型 [...]

3. 如果第二个和第三个操作数之一为空类型[...]

4. 否则，如果第二个和第三个操作数的类型可以转换为数值类型（第 5.1.8 节），则有以下几种情况：

   1. 如果其中一个操作数的类型为 byte [...]

   2. 如果其中一个操作数的类型为 T，其中 T 为字节、短整型或字符，则 [...]

   3. 如果其中一个操作数的类型为 Byte [...]

   4. 如果其中一个操作数的类型为 Short [...]

   5. 如果其中一个操作数是类型；性格[...]

   6. 否则，将对操作数类型应用二进制数值提升（第 5.6.2 节），并且条件表达式的类型是第二个和第三个操作数的提升类型。 请注意，二进制数字提升执行拆箱转换（第 5.1.8 节）和值集转换（第 5.1.13 节）。

5. 否则，第二个和第三个操作数的类型分别为 S1 和 S2。令 T1 为对 S1 应用装箱转换的结果类型，并令 T2 为对 S2 应用装箱转换的结果类型。 条件表达式的类型是应用捕获转换的结果（第 5.1.1 节）。 10) 到 lub(T1, T2) (§15.12.2.7)。

上一段中提到的“lub”代表最小上限，指的是 T1 和 T2 常见的最具体的超类型。

---

至于 Object val = true 的情况？ 1l : 0.5; 我同意如果应用规则 5（在盒装值上）会更精确。我想当考虑到自动装箱时，规则会变得模糊（甚至更加复杂）。例如，表达式 b 是什么类型？ new Byte(0) : 0.5 有吗？

但是，您可以通过执行以下操作强制它使用规则 5

Object val = false ? (Number) 1L : .5;

Answer 2

因为表达式需要是一种类型。

如果执行 1l + 0.5d，则会以 1.5d 结束，因为编译器会自动将类型更改为可以允许所有可能结果的类型。

在你的情况下，编译器会看到 ?并使用相同的规则将表达式的结果分配给 double（您可以将 long 写为 double，但不能将所有 double 写为 long）。

Answer 3

这不是设计缺陷：
编译器必须确定整个表达式的类型 true ? 1l：0.5。它尝试使用需要尽可能少转换的类型。
由于 0.5 不适合 long（不损失精度），因此表达式的结果不能太长 - 因此，它必须是 double 并且 long简单地转换（不损失精度）。

请注意，您不能有条件地使表达式具有不同类型 - 无论条件如何，第三级表达式都必须计算为相同类型。

在第二个片段中，Object 是唯一兼容的类型 - Double 被装箱，而 String 可以简单地分配。

Answer 4

当您编写时，

Object val = true ? new Long(1) : new Double(0.5);

您需要考虑

(new Long(1) : new Double(0.5))

需要有一个值...编译器需要提出一个涵盖两种可能值的类型。对于您的示例，它是双倍的。

Answer 5

我无法为您提供充分的理由，但表达式的类型是由 Java 语言规范给出的：http://java.sun.com/docs/books/jls/third_edition/html/expressions.html#15.25

在 JLS 中，所有数字类型都会被处理作为特殊情况。