爪哇 8 流短路

Question

阅读了一下Java8，我读到了这篇博文，解释了一些关于流和它们的减少，以及什么时候可以短路减少。在底部，它说：

请注意，在查找第一个或查找任何情况下，我们只需要与谓词匹配的第一个值（尽管查找任何值不能保证返回第一个值）。但是，如果流没有排序，那么我们希望“查找第一”的行为类似于“查找任何”。所有匹配、无匹配和 anyMatch 操作可能根本不会使流短路，因为可能需要计算所有值来确定运算符是真还是假。因此，使用这些的无限流可能不会终止。

我知道findFirst或findany可能会使还原短路，因为一旦您找到一个元素，您就不需要进一步处理。

但是，为什么这对于< code>allMatch 、< code>noneMatch和< code>anyMatch是不可能的呢？对于< code>allMatch，如果发现一个与谓词不匹配的，可以停止处理。一样都没有。而< code>anyMatch对我来说尤其没有意义，因为它几乎等于< code>findAny(除了返回的内容)？

说这三个可能不会短路，因为可能需要计算所有值，也可以说findFirst/Any。

我遗漏了一些根本的区别吗？我真的不明白发生了什么吗？

Answer 1

根据Oracle的流文档:https://docs . Oracle . com/javase/8/docs/API/Java/util/Stream/package-summary . html # Stream ops

如果当存在无限输入时，终端操作可能在有限的时间内终止，则该终端操作是短路的。在管道中发生短路操作是处理无限流的必要条件，但不是充分条件，以便在有限的时间内正常终止。

所有五个函数都有一行：

这是一个短路终端操作。

在函数的说明中。

Answer 2

答案已更新

我会说博客文章是错误的，当它说“找到第一个或找到任何我们只需要与谓词匹配的第一个值”。

在用于allMatch（谓词）、anyMatch（Predicate）、noneMatch（Predicate”）、findAny（）和findFirst（）的javadoc中：

这是一个短路终端操作。

但是，请注意findFirst和findAny没有0.05谓词。因此，它们都可以在看到第一个/任何值时立即返回。其他3个是有条件的，如果条件从不触发，则可能永远循环。

Answer 3

这有一个微妙的区别，因为anyMatchfamily使用谓词，而findAnyfamily不使用谓词。从技术上讲，findAny（）看起来像anyMatch（x-

Stream<Integer> s = Stream.generate(() -> 1);

因此，将findany（）应用于此类流确实总是会短路并完成，而应用anyMatch（pred）取决于谓词。但是让我们过滤我们的无限流：

Stream<Integer> s = Stream.generate(() -> 1).filter(x -> x < 0);

结果流也是无限的吗？这是一个棘手的问题。它实际上不包含元素，但要确定它（例如，使用.iterator（））。hasNext（））我们必须检查基础流元素的无限数量，因此此操作永远不会完成。我也会把这样的溪流称为无限。然而，使用这样的流anyMatch和findAny永远不会完成：

Stream.generate(() -> 1).filter(x -> x < 0).anyMatch(x -> true);
Stream.generate(() -> 1).filter(x -> x < 0).findAny();

所以findany（）也不能保证完成，它取决于之前的中间流操作。

最后，我认为这篇博文非常具有误导性。在我看来，无限流行为在官方JavaDoc中得到了更好的解释。