嵌套可选。get在orElse（）中选中并链接时生成警告

Question

我刚刚偶然发现了一个由IntelliJ生成的警告，我想知道，我是错过了什么，还是IntelliJ只是忽略了下面or子句的右侧？

示例代码：

  Random random = new Random();
  public void test(){
    Optional<String> a = Optional.ofNullable(random.nextInt(10)>5?"something":null);
    Optional<String> b = Optional.ofNullable(random.nextInt(10)>5?"something":null);
    if(a.isPresent() || b.isPresent()){
      log.info(a.orElse(b.get()));
    }
  }

警告是可选的。没有“isPresent（）”检查的get（）'显示在b上。get（）。我知道or是以一种惰性的方式从左到右计算的，但我假设无论是a还是b都必须有一个值，因为它在if中被显式检查。

这是IntelliJ静态代码分析中的错误吗？

Answer 1

我知道or是以一种懒惰的方式从左到右计算的

是的，这意味着如果a.isPresent（）返回true，b.isPresent（）将不会被计算，并且无论如何条件都将为true。此时您的b.get（）将在b.isPresent（）为false时抛出异常。

由于您正在进一步使用a.orElse，您可以简单地检查b.isPresent（）是否为空，因为如果a为空，orElse不会引发异常。所以

if(b.isPresent()){
  log.info(a.orElse(b.get()));
}

不应该发出警告。

（我假设这是一个玩具示例，因此我不会进一步评论这里正在发生的滥用可选）

Answer 2

是的|短路，但orElse没有短路，因此如果不存在b，即使存在a，get仍会运行并引发异常。这就是为什么Java提供了orElseGet，如果我们确实需要运行“else”部分，它需要调用一个供应商（即零参数函数）。

log.info(a.orElseGet(() -> b.get()));

现在，我在这台电脑上没有IntelliJ，但我怀疑它仍然会抱怨。静态分析引擎（可能）不理解orElseGet和|之间的交互。通常，当我遇到这样的情况时，我会将有问题的代码分解成一个单独的函数。

void onFirst<T>(Optional<T> first, Optional<T> second, Consumer<T> consumer) {
  if (first.isPresent()) {
    consumer.accept(first.get());
  } else if (second.isPresent()) {
    consumer.accept(second.get());
  }
}

// Then call as
onFirst(a, b, (value) -> log.info(value));

有点冗长，但它通过了静态分析集合。额外的冗长在一个可以重用的单独帮助函数中消失了。