在 Java 的三元运算符中，即使表达式结果为假值，也可以计算第一个参数吗？

Question

我最近通过随机临时测试在我的代码中发现了一个不寻常的错误。所以，我为它做了一个测试用例。

这是我的测试用例：

 SampleRequest request = new SampleRequest();
    request.setA(null);
    request.setB(null);
    assertEquals(null, request.getAOrB());

A 和 B 被定义为 java.lang.Integer 类型，并具有直接的 setter 方法来将它们的值设置到请求中。

这里还涉及到一个枚举。它有一个原始整数值以及此代码中使用的方法。我将在这里发布相关部分：

enum Swapper {
public int c;
Swapper findSwapperToUse(final int a) {
   for(Swapper swapper : values()) {
       if(swapper.c == a) {
          return swapper;
       }
   }
   return null;
}
}

现在，这是令人困惑的方法。对该方法调用测试方法会导致 NPE，但在该方法的最后一行。

    public class SampleRequest {
    private Integer A;
    private Integer B;

    public void setA(final Integer A) {
        this.A = A;
    }

    public void setB(final Integer B) {
        this.B = B;
    }


public Integer getAOrB() {
    return A != null ? Swapper.findSwapperToUse(A).c
         : B;
}
}

在测试中，A和B都设置为null。因此，A != null 返回 false。但是，我在 : B 行的行号处收到 NullPointerException。

我的猜测是，由于某种原因，正在评估第一个表达式 Swapper.findSwaperToUse(A).c，因此通过自动装箱调用 A.intValue()，从而导致 null 值出现 NullPointerException。通过调试发现findSwaperToUse()没有被调用。

然而，根据这个问题，这不应该发生： Java 三元（立即 if）评估

未选择的操作数表达式不会针对条件表达式的特定计算进行计算。

返回 null (B) 不会导致 NullPointerException - 在这里返回 null 结果是完全可以的。

到底是怎么回事？

编辑：我忘记补充一点，我通过使用直接的 if 语句更改了代码以避免这种情况 - 以下代码确实按预期工作：

public Integer getAOrB() {
    if(A != null) {
        return Swapper.findSwapperToUse(A).c;
    }
    return B;
}

Answer 1

我猜问题是由于编译器

A != null ? Swapper.findSwapperToUse(A).c : B

从 Swapper.c 的类型推断出整个表达式的类型为 int ，因此尝试将拆箱转换应用于B。

以下是 JLS，§15.25 的相关摘录：

• 否则，如果第二个和第三个操作数具有可转换的类型
  (§5.1.8)改为数值类型，那么有几种情况：
  • ...
  • 否则，二进制数字提升 (§5.6.2) 将应用于操作数
    类型，并且条件表达式的类型是该类型的提升类型
    第二和第三操作数。 请注意，二进制数字提升执行
    拆箱转换（§5.1.8）和值集转换（§5.1.13）。

您可以通过添加以下强制转换来防止它：

A != null ? (Integer) Swapper.findSwapperToUse(A).c : B

Answer 2

您的 findSwaperToUse 方法返回 null，并且您无法执行 null.c。

为了确保这一点，我会将您的代码更改为：

public Integer getAOrB() {
    if(A != null) {
        Swapper foundSwapper = Swapper.findSwapperToUse(A);
        return foundSwapper.c;
    }
    return B;
}