IntStream：：NoneMatch不能计算流的所有元素上的谓词吗？

Question

我读了IntStream：：NoneMatch. 的Javadoc

返回此流中是否没有元素与提供的谓词匹配。如果不是确定结果所必需的，则不能计算所有元素上的谓词。如果流为空，则返回true并且不计算谓词。 

我想知道是否存在一种实际情况，其中noneMatch不会对流的所有元素求值谓词并返回true（在noneMatch返回false的情况下，很明显，只有在找到第一个匹配项之前，才对元素求值谓词）。

我能想到的唯一情况是，如果流管道有一个谓词与noneMatch的谓词完全相反的过滤器，那么noneMatch可能会返回true而不测试任何元素。

但是，当使用以下代码进行测试时：

boolean out = IntStream.range(1, 10000)
                  .filter(i -> i % 2 == 0)
                  .peek(System.out::println)
                  .noneMatch(i -> i % 2 == 1);
System.out.println(out);

我得到一个从2到9998的偶数输出：

2
4
6
...
9998
true

这意味着计算了整个流，尽管筛选器只返回偶数整数，而nonematch的谓词不需要找到奇数整数，因此它应该能够返回true而不计算任何元素。

编辑：

我只是想澄清一下，我的问题不是为什么我发布的代码会计算整个流。我的问题是，是否存在nonematch返回true而不计算整个流的场景。

Answer 1

因此它应该能够返回true而不计算任何元素

不，为了检查所有元素都不匹配，它必须检查所有元素。换句话说，如果它返回true，那么它肯定已经查看了所有内容。换一种说法--你的逻辑依赖于谓词的作用，那么它怎么能在不求任何元素的情况下返回，而这意味着谓词永远不会被应用呢？

它可以返回true而不求所有元素的值的唯一方法是，它可以通过流的类型和有关谓词的信息来判断。例如，如果流“知道”它是uuid引用的流，并且谓词是“match strings”，那么它就不需要计算东西了--但我怀疑是否有任何东西试图进行这种优化。

例如，如果将代码更改为：

boolean out = IntStream.range(1,10000)
               .peek(System.out::println)
               .noneMatch(i->i%4==3);
System.out.println(out);

那么您将得到以下输出：

1
2
3
false