Question

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

如果/ ELSE：

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节涵盖{{1}}运算符，Section 15.25.2涵盖此运算符的数值。

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



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



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



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



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



如果其中一个操作数是T类型，其中T是Byte，Short或Character，另一个操作数是int类型的常量表达式，其值可以在U类型中表示，它是U的结果。将取消装箱转换应用于T，则条件表达式的类型为U。



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

（强调我的）

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

2 个答案: