为什么Stream.AllMatch（）为空流返回true？

Question

我和我的同事有一个bug，这是由于我们假设调用allmatch()的空流将返回false。

if (myItems.allMatch(i -> i.isValid()) { 
    //do something
}

当然，这是我们假设而不阅读文档的错误。但我不理解的是，为什么空流的默认allmatch()行为返回true。这样做的理由是什么？与anymatch()（相反返回false）一样，该操作以命令方式使用，脱离单子，可能用于if语句。考虑到这些事实，是否有任何理由让空流上的allmatch()默认为true对于大多数用途是可取的？

Answer 1

这被称为空洞的真理。空集合的所有成员都满足您的条件；毕竟，你能指出一个没有的吗？

类似地，anymatch返回false，因为您找不到集合中与条件匹配的元素。这对很多人来说是混淆的，但事实证明它是定义空集的“any”和“all”的最有用和最一致的方法。