java - 是 || ('or' ) 符号和 Stream.of(..).anyMatch(e-> e==true) 功能等效吗？

Question

这个问题已经有答案了:

Why is Streams.allMatch(in Java8) trying to evaluate all the expressions even if the value can be determined midway? (2 个回答)

已关闭 3 年前。

是||和Stream.of(..).anyMatch(e-> e==true)以相同顺序应用于同一系列条件时功能等效吗？

任务:对一系列条件运行快速测试，以确定是否有任何条件成立。

可能的解决方案: - 用“或”符号分隔每个条件 ( || ) - 将每个条件包含在 Stream.of(..) 中附加 .anyMatch(e-> e==true) 的语句

anyMatch(..) 的文档状态，“返回该流的任何元素是否与提供的谓词匹配。 如果不需要确定结果，则可能不会评估所有元素上的谓词[强调]。”

根据这个说法，我的理解是，上面指出的两个解决方案在功能上是相同的，因此，如果四个元素中的第二个元素是第一个元素，即 true ，那么元素三和元素四将不会被求值。

但实际上，这似乎并非如此。考虑以下情况，其中 item是 null , empty是 true和UtilMethods.isEmpty(..)是一个自定义库方法，用于测试给定参数是否为 null或空 String (“”):

@Override
protected void updateItem(Pair<K, V> item, boolean empty) {
    super.updateItem(item, empty);

    boolean test1 = empty
             || Objects.isNull(item)
             || UtilMethods.isEmpty(item.toString())
             || Objects.isNull(item.getValue());

    boolean test2 = Stream.of(
        empty,
        isNull(item),
        UtilMethods.isEmpty(item.toString()),
        isNull(item.getValue()))
    .anyMatch(e -> e == true);
}

||代码按预期运行。然而，Stream.of(..).anyMatch(..)抛出 NullPointerException当到达第三个元素时，因为 item是 null .

鉴于 anyMatch(..) 的文档，这是没有意义的上面提到的，这表明甚至不应该达到第三个元素。或者我在这里遗漏了什么？

谢谢

Answer 1

UtilMethods.isEmpty(item.toString())在 Stream.of() 之前评估被执行，所以它会抛出 NullPointerException无论您是否调用anyMatch之后。

Stream.of()与任何方法调用一样，在执行之前会评估其所有参数，因此它必须评估 UtilMethods.isEmpty(item.toString()) .

您可以在更简单的代码片段中看到相同的行为:

String s = null;
Stream<Integer> stream = Stream.of (5,s.length());

因此，anyMatch 的文档与您观察到的行为无关。