三元运算符

Question

为什么下面代码的输出是9.0而不是9？如果三元运算符只是if-else分支的缩写形式，那么为什么java编译器要将int提升为双精度？

public class Ternary
  {
public static void main(String args[])
     {
    int a = 5;
    System.out.println("Value is - " + ((a < 5) ? 9.9 : 9));
     }
  }

Answer 1

如果三元运算符只是If -

分支的缩写形式，那么为什么java编译器要将整数提升为双精度？

条件表达式只有一种类型，第二个和第三个操作数都会根据需要转换为该类型。JLS给出了确定表达式类型的规则，由于自动拆箱，这些规则稍微复杂一些。

条件运算符只是对if/else构造的一种速记，但并不是我想要的那种速记。所以你的代码等同于：

double value;
if (a < 5) {
    value = 9.9;
} else {
    value = 9;
}
System.out.println("Value is - " + value);

它不是以下的简称：

if (a < 5) {
    System.out.println("Value is - " + 9.9);
} else {
    System.out.println("Value is - " + 9);
}

有关详细信息，请参阅section 15.25 of the Java Language Specification。

Answer 2

因为在这种情况下，conditional operator的类型(是，它是条件运算符，而不是三元运算符)将是第三个操作数的提升类型，因为第二个和第三个操作数不是同一类型。

JLS Secion - 15.25中清楚地列出了这一点：

否则，如果第二个和第三个操作数具有可转换为数值类型的类型(§5.1.8)，则存在以下几种情况：

• 如果一个操作数是Byte或byte类型，而另一个是Short或Short类型，>，则条件表达式的类型是short。
• 如果一个操作数是T类型，其中T是字节、short或char，而另一个操作数是int类型的常量表达式(§15.28)，其值可在T类型中表示，则条件表达式的类型是T。
• 如果其中一个操作数是T类型，其中T是字节、Short或字符，另一个操作数是int类型的常量表达式(§15.28)，它的值可以在类型U中表示，这是对T应用拆箱转换的结果，然后条件表达式的类型是U.
• Otherwise，二进制数值提升(§5.6.2)应用于操作数类型，条件表达式的类型是第二和第三个操作数的提升类型。

请看最后一点，这在这里是有用的。因此，在这种情况下，作为binary numeric promotion的规则-请参见JLS Section 5.6.2：-

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

Answer 3

因为运算符的一个操作数是double，所以表达式的类型作为一个整体是double。包含三元组的表达式的类型由操作数指定，它们必须是相同类型的。在您的表达式中，9被强制为double，以使其与9.9具有相同的类型。