Java：条件运算符与if / else不同

Question

为什么条件运算符返回2.0并且if / else块在以下示例中返回2？ 我有点困惑，因为这两个块应该相等：

如果别的：

double value = 2.0;
Object result;

if (value == Math.floor(value)) {
    result = ((int) value);
} else {
    result = value;
}

有条件的操作员：

double value = 2.0;
Object result;
result = value == Math.floor(value) ? ((int) value) : value;

但是，命令

System.out.println(result);

打印2.0或2

谢谢你的帮助！

Answer 1

两种情况都采用相同的分支。 您可以通过对不同分支使用非常不同的答案来验证：

if (value == Math.floor(value)) {
    result = ((int) value * 100);
} else {
    result = value;
}

和

result = value == Math.floor(value) ? ((int) value * 100) : value;

在这两种情况下，您将获得200或200.0。

另一个验证方法是通过使条件不变来删除条件：

boolean condition = true;
if (condition) { 
    ...
}

和

result = condition ? ...;

但是，区别在于条件运算符，条件表达式的类型是double - 第二个操作数的类型是int （由于强制转换），第三个操作数的类型是double 。 条件运算符只能有一个类型，因此它遵循JLS中的规则并选择double （因为int可以隐式转换为double但反之亦然）。 然后将该double作为result赋值的一部分（其类型为Object ）。 因此， result的值最终成为对Double的引用，并打印为2.0。

使用第一种方法，结果是Integer ，因为您将int直接分配给result ，并且它只是自动进行了对比。

您可以通过将操作数强制转换为Object来使条件运算符的行为方式相同。 例如：

result = value == Math.floor(value) ? ((int) value) : (Object) value;

现在条件运算符本身的类型是Object ， int作为评估条件运算符的一部分被装箱到Integer 。

Answer 2

条件运算符的两个可能值的类型?:应该是相同的。 如果一个值的类型可以转换为另一个值，则值有一点不同的空间。 在这种情况下，即使您将value显式转换为int ，另一个值也是double ，因此会发生二进制数字提升，并将int重新提升为double 。 这就是打印2.0的原因。

JLS的第15.25节涵盖了?:运算符， 第15.25.2节涵盖了该运算符的数值。

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

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

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

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

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

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

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

（强调我的）