为什么在 `orElseGet` 中缺少有关缺少`isPresent()` 检查的 Idea lint 警告？

Question

假设我不知道一个Optional 是空的，还是两者都存在。在后一种情况下，我总是更喜欢a 而不是b：

final Optional<String> a = Optional.of("1");
final Optional<String> b = Optional.empty();
if (a.isPresent() || b.isPresent()) {
  // prefer a over b
  Integer result = a
      .map(s -> s + "0")
      .map(Integer::parseInt)
      .orElseGet(() -> Integer.parseInt(b.get())); // <-- warning for b.get()
  System.out.println(result);
}

在我的真实代码中，Idea 在这一点上警告我：

'Optional.get()' 没有 'isPresent()' 检查。

这是为什么呢？我会事先检查a 或b 是否存在。此外，此代码按预期工作，输出为10。如果我输入b = Optional.of("2")，输出仍然是10，因为我更喜欢a。如果我然后输入a = Optional.empty()，则输出如预期的那样是2。

是我做错了什么，还是 Idea 的 linter 错了？

Answer 1

这里的想法很混乱，它的内部规则可能假设在 same 可选链接中对isPresent 的检查。

由于(a.isPresent() || b.isPresent())，这显然不在Optional 检查本身；由于这些检查，无法判断没有办法在空的可选b 上调用orElseGet...

Answer 2

长话短说：已在 IDEA 2017.3 中修复（请参阅 IDEA-174759）。

是的，保证b 出现在b.get() 点。是的，IDEA 警告是错误的。原因是当前版本的 IDEA 分析不够复杂，无法理解可选链内部发生的情况。请注意，结果还取决于Integer::parseInt 方法引用永远不会产生null 的事实。否则Optional.map 可能会产生空的可选，即使a 存在。例如，考虑以下代码：

private static Integer myParseInt(String s) {
    try {
        return Integer.parseInt(s);
    } catch (NumberFormatException e) {
        return null;
    }
}

...

if (a.isPresent() || b.isPresent()) {
    // prefer a over b
    Integer result = a.map(s -> s + "0").map(MyClass::myParseInt)
                      .orElseGet(() -> Integer.parseInt(b.get()));
    System.out.println(result);
}

在这种情况下，如果a 包含非数字字符串，b 可能不存在，因此此处需要警告。

我们不断改进 IDEA 静态分析。在 2017.3 中，它将了解这些构造：

正如您现在看到的，警告不会显示在原始代码中，而是显示为可为空的myParseInt。

IDEA 2017.3 尚不可用。但是，由于此功能是 IDEA 社区的一部分，您可以使用 master 分支中的GitHub sources 自行构建。

免责声明：我是 IntelliJ IDEA 开发人员，我正在努力解决此问题。

Answer 3

在这种情况下，IDEA 的 linting 似乎是错误的，但这可能与决定 b.isPresent() 是否在 a.orElseGet(...) 后备中得到保证的复杂性有关。

一般来说，我发现如果 IDE 警告某事，修复它通常是一个好主意（双关语），因为下一个查看代码的开发人员也将难以破译代码背后的意图。

由于您已经在使用Optional，我会考虑完全不使用isPresent 方法并使用api 为您完成工作。我可以看到两个应该满足警告的选项（双关语）。

如果两者都不存在，您可以提供合适的后备：

final Optional<String> a = Optional.of("1");
final Optional<String> b = Optional.empty();

// prefer a over b
Integer result = a
    .map(s -> s + "0")
    .map(Integer::parseInt)
    .orElseGet(() -> b.map(Integer::parseInt).orElse(0));

System.out.println(result);

如果您不希望两者都为空，则可以抛出 IllegalStateException 而不是回退：

final Optional<String> a = Optional.of("1");
final Optional<String> b = Optional.empty();

// prefer a over b
Integer result = a
    .map(s -> s + "0")
    .map(Integer::parseInt)
    .orElseGet(() -> b.map(Integer::parseInt).orElseThrow(IllegalStateException::new));

System.out.println(result);

Answer 4

您正在检查 a.isPresent() 和 b.isPresent() 或条件。您会收到警告，因为条件的第一部分可能会变成 true "a.isPresent()" 但 b.isPresent() 是 false 。但是，由于 ||条件块内的代码将开始执行。在这种情况下，b.get 将因“NoSuchElementException”而失败。

尽管根据您的逻辑，如果 b 不存在或为空，则无法访问 b.get()，因为您更喜欢 a 而不是 b。但是 IDE 会主动分析并告诉您所有可能出错的地方或代码中的不良做法。

尝试做类似的事情：

if(a.isPresent()){
//logic if a is there
}
else if(b.isPresent){
//logic if a not there and b is there
}
else{
logic if both are not there
}