每Java SE 8 doc、allMatch(Predicate<? super T> predicate)
"... 评估流元素上谓词的全称量化（对于所有 x P(x)）。如果流为空，则称量化为空满足且始终为真（无论的 P(x))。”
将空列表视为 allMatch true 似乎并不直观。什么是“普遍量化”和“空虚满足”？
【问题讨论】：
allMatch 搜索任何不匹配的项目。由于列表为空，因此您不能指向任何不匹配的项目。因此它返回 true
标签： java java-8 java-stream
假设我有一份馅饼清单。
我想检查是否所有的馅饼都是山核桃。
所以我看第一个馅饼是樱桃，所以我说那是假的。
只有当我能证明我的派不是山核桃时，我才会说这是假的。
所以当我没有馅饼时，没有一个馅饼不是山核桃。
这是一个愚蠢的例子，但这个警告已经让我好几次了
【讨论】：
Predicate 并且正在检查Stream 中的每个项目。您可能会有一个声明，例如if(!predicate.test(item)) return false;。 IE。您将检查某些内容是否不匹配，因为显然如果您检查它是否匹配，那么如果其中任何一个匹配，您将返回 true。因此，要实现为空 Stream 返回 false，您必须添加一个空支票
Stream 返回 true 并不合乎逻辑，但也许我编程时间太长并且已经习惯了这样的约定