Java中使用盒装类型的三元条件的奇怪行为[重复]

Question

这个问题在这里已有答案：

• 为什么三元运算符意外地转换整数？ 3个答案

我在我的应用程序中使用了这段代码（简化版）：

Object result;
if (check)
    result = new Integer(1);
else
    result = new Double(1.0);
System.out.println(result);
return result;

然后我决定将if-else语句重构为三元条件表达式，因此我的代码更简洁：

Object result = check ? new Integer(1) : new Double(1.0);
System.out.println(result);
return result;

事实证明，如果检查结果为true则两个版本会打印出不同的结果：

1

要么：

1.0

三元条件不等于相应的if-else吗？

Answer 1

if / else和条件（三元）表达式并不完全相同 。 条件表达式的结果必须具有类型。

您正在观察数字类型提升（或类型强制）的影响。

以下是语言规范的摘录（参见此处 ），从描述条件表达式返回值的部分开始：

否则，如果第二个和第三个操作数具有可转换的类型（第5.1.8节）到数字类型，则有几种情况：

最后这种情况是（我在这里省略了其他情况）：

否则，二进制数字提升（第5.6.2节）将应用于操作数类型，条件表达式的类型是第二个和第三个操作数的提升类型。

这是与二进制数字促销相关的附加规范：

应用扩展基元转换（第5.1.2节）来转换由以下规则指定的一个或两个操作数：

• 如果任一操作数的类型为double，则另一个操作数转换为double。

这是第一种情况（以下案例省略）。 double总是。

因此，无论条件表达式中第2个和第3个操作数的顺序如何，表达式的返回类型都将提升为double 。

Answer 2

简而言之，三元运算符与其他涉及数字类型提升的运算符没有区别。

当您有类似System.out.println(1 + 1.0) ，您希望它打印2.0 ，因为输出中使用的操作数受数字类型促销的约束。

它与三元运算符完全相同： System.out.println(true ? 1 : 1.0)将在执行相同的数字类型提升后打印1.0 ，如果表达式为1 + 1.0则会执行此操作。

它的工作原理非常简单：运算符结果的类型应该在编译时知道，而实际结果是在运行时确定的。

Answer 3

简短的回答

第一个示例显式地键入为Object ，这会导致向上转换。

第二个示例隐式输入为Double ，这会导致数字扩展。

---

答案很长

在使用Object的示例中，没有值的转换，只是一个向上转换，并且打印了1。

Object result;
if (1 == 1)
    result = new Integer(1);
else
    result = new Double(1.0);

如果你改为使用Double声明，它将是一个扩展并打印1.0。

Double result;
if (1 == 1)
    result = new Integer(1);
else
    result = new Double(1.0);

由于存在明确的类型，因此这些非常简单。

然而，三元表达式没有明确的类型，并且规则是非平凡的。

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

• 如果第二个和第三个操作数具有相同的类型（可以是null类型），那么这就是条件表达式的类型。

• 如果第二个和第三个操作数之一是原始类型T，而另一个操作数的类型是对T应用装箱转换（第5.1.7节）的结果，那么条件表达式的类型是T.

• 如果第二个和第三个操作数之一是null类型而另一个操作数的类型是引用类型，则条件表达式的类型是该引用类型。

• 否则，如果第二个和第三个操作数具有可转换的类型（第5.1.8节）到数字类型 ，则有几种情况：

  • 如果其中一个操作数的类型为字节或字节，另一个操作数的类型为short或Short，则条件表达式的类型为short。

  • 如果其中一个操作数是T类型，其中T是byte，short或char，另一个操作数是int类型的常量表达式（第15.28节），其值可以在类型T中表示，那么条件表达式的类型是T.

  • 如果其中一个操作数是T类型，其中T是Byte，Short或Character，另一个操作数是int类型的常量表达式（第15.28节），其值可以在类型U中表示，这是应用拆箱的结果转换为T，则条件表达式的类型为U.

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

• 否则，第二和第三操作数分别是S1和S2类型。 设T1是将拳击转换应用于S1所产生的类型，让T2为应用到S2的装箱转换所产生的类型。 条件表达式的类型是将捕获转换（第5.1.10节）应用于lub（T1，T2）（第15.12.2.7节）的结果。

http://docs.oracle.com/javase/specs/jls/se7/html/jls-15.html#jls-15.25

数字Integer和Double的“推广类型”是Double 。

Answer 4

除了@ pb2q的答案

你可以验证它

public class test {
    public static void main(String[] args) {
    Object result;
    Boolean check = true;

        if (check)
            result = new Integer(1);
        else
            result = new Double(1.0);
        System.out.println(result);
        result = check ? new Integer(2) : new Double(1.0);
        System.out.println(result);
    }
}

由于数字促销，它将打印2.0而不是2

Answer 5

除了现有答案之外，您还可以通过特定的方式转换为所需类型来避免此问题：

Object result = args.length < 100 ? (Object)2 : (Object)1.0;

Casting to Object将整数作为Integer，将double作为Double。 “：”两侧的表达式都是Object类型，因此编译器不需要生成任何进一步的转换。