Eclipse为可访问代码（变体）提供死代码警告

Question

我有以下代码：

public String myMethod(String keyValue) {
    Map<String, Integer> keyValueToRowIndex = ...
    Integer rowIndex = (keyValue == null) ? 0 : keyValueToRowIndex.get(keyValue);
    if (rowIndex == null)
      return null;
    ...
}

Eclipse在返回null时发出“死代码”警告 。删除对keyValue==null的测试也会删除警告，但我不知道额外的测试如何使return语句变成死代码。显然，如果映射不包含某些非null的keyValue条目，则rowIndex仍然可以为null。还是我在这里遗漏了什么？

我见过类似的Eclipse问题（例如这里），但这一个似乎是不同的，更琐碎的问题。




Answer 1

我猜第3行被解释为

Integer rowIndex = Integer.valueOf((keyValue == null) ? 0 : keyValueToRowIndex.get(keyValue).intValue());

（所以两个参数？：统一为int）-奇怪的是，Eclipse现在没有显示任何警告，即使现在很明显rowIndex永远不会为空...

您还可以将0替换为整数。valueOf（0）使警告消失。

Answer 2

匿名用户

（令人惊讶的）简短回答：Eclipse是正确的！这是死代码！

原因

重要的部分是以下代码行中的三元表达式：

    Integer rowIndex = (keyValue == null) ? 0 : keyValueToRowIndex.get(keyValue);

Java语言规范（JLS）提到了“条件运算符”，即，如果第一个表达式的类型为int，而第二个表达式的类型为Integer，则整个表达式的类型将为int。

在您的例子中，第一个表达式是常量文本值0，它是一个int。第二个表达式是get方法的结果，该方法返回类型为Integer的对象。因此，根据JLS，整个表达式具有基元类型int！

这意味着，如果第二个表达式（get-调用）将被计算，结果将从整数到整数。然后，此int值将再次自动装箱为整数，以便能够将其分配给左操作数行索引。

但是，如果映射返回一个null值，会发生什么呢？在这种情况下，无法从Integer到int取消装箱，将抛出NullPointerExpression！

因此eclipse是正确的，因为表达式永远不会返回null，rowIndex也永远不会是null，if语句的then块永远不会执行，因此是死代码！

解决方案

解决方案很简单：对于第一个表达式，使用整数对象而不是原语int值：

Integer rowIndex = (keyValue == null) ? Integer.valueOf(0) : keyValueToRowIndex.get(keyValue);