我和我的同事有一个错误，这是由于我们假设allMatch()会返回空流调用而导致的false。
if (myItems.allMatch(i -> i.isValid()) {
//do something
}
当然，假设和不阅读文档是我们的错。但是我不明白的是为什么allMatch()空流的默认行为会返回true。这是什么原因呢？像anyMatch()（相反地返回false）一样，此操作以命令式使用，它离开了monad，并且可能在if语句中使用了。考虑到这些事实，是否有任何理由使大多数用途都需要allMatch()默认为true空流？
i -> i.isValid()，请Foo::isValidFoo
Answers:
这就是所谓的虚无事实。空集合的所有成员都满足您的条件；毕竟，您能指出一个没有的吗？
同样，anyMatch返回false，因为找不到匹配条件的集合中的元素。这使很多人感到困惑，但事实证明，这是为空集定义“任何”和“全部”的最有用和一致的方法。
1的总和为0。它们是乘法/加法的中性元素。在布尔值的情况下，你有True and x = x和False or x = x，因此，如果你推广and，并or于序列（这是all和any是）你结束了True和False为空的情况下，即它们各自的中性元素。
anyMatch测试是否存在阳性，allMatch测试是否存在阴性。
这是考虑此问题的另一种方法：
allMatch()是&&什么sum()是+
考虑以下逻辑语句：
IntStream.of(1, 2).sum() + 3 == IntStream.of(1, 2, 3).sum()
IntStream.of(1).sum() + 2 == IntStream.of(1, 2).sum()
这是有道理的，因为这sum()只是的概括+。但是，当您再删除一个元素时会发生什么？
IntStream.of().sum() + 1 == IntStream.of(1).sum()
我们可以看到，IntStream.of().sum()以特定的方式定义或空序列的总和是有意义的。这为我们提供了求和的“身份元素”，或者当它添加到某物时没有作用的值（0）。
我们可以将相同的逻辑应用于Boolean代数。
Stream.of(true, true).allMatch(it -> it) == Stream.of(true).allMatch(it -> it) && true
更笼统地说：
stream.concat(Stream.of(thing)).allMatch(it -> it) == stream.allMatch(it -> it) && thing
如果stream = Stream.of()这样，该规则仍然需要适用。我们可以使用&&的“ identity element”来解决这个问题。true && thing == thing所以Stream.of().allMatch(it -> it) == true。
当我调用list.allMatch（或其他语言的类似物）时，我想检测是否有任何项list与谓词不匹配。如果没有任何项目，则可能没有任何匹配项。我的以下逻辑会选择项目，并期望它们与谓词匹配。对于空列表，我将不选择任何项目，逻辑仍然是正确的。
如果allMatch返回false空列表怎么办？
我直接的逻辑会失败：
if (!myList.allMatch(predicate)) {
throw new InvalidDataException("Some of the items failed to match!");
}
for (Item item : myList) { ... }
我需要记住用代替支票!myList.empty() && !myList.allMatch()。
简而言之，allMatch返回true空列表不仅在逻辑上是合理的，而且还位于执行的快乐路径上，需要较少的检查。
if (!allMatch)
看起来它的基础是数学归纳法。对于计算机科学，此方法的应用可能是递归算法的基本情况。
如果流为空，则称其为空空的定量，并且始终为真。Oracle Docs：流操作和管道
这里的关键是它“天生地满足”，从本质上说，这是令人误解的。维基百科对此进行了不错的讨论。
在纯数学中，虚无的真实陈述本身通常并不令人感兴趣，但是它们经常作为数学归纳法证明的基础。维基百科：空洞的真相
allMatch返回true，那么也应该如此anyMatch。另外，对于空的情况，allMatch(...) == noneMatch(...)这也很奇怪。