文章/答案/技术大牛

发布

社区首页 >问答首页 >为什么allMatch函数在java中的空列表上返回true

问为什么allMatch函数在java中的空列表上返回true
EN

Stack Overflow用户

提问于 2019-03-04 01:52:49

回答 1查看 437关注 0票数 0

Per Java 8文档，allMatch(Predicate<? super T> predicate)

“.评估对流元素的谓词的通用量化(对于所有x P(x))。如果流是空的，则表示该量化是空的，并且总是正确的(不管P(X))。”

将空列表视为allMatch true似乎是不直观的。什么是“普遍量化”和“真空满足”？

java-8

java-stream

java

回答 1

Stack Overflow用户

发布于 2019-03-04 01:54:33

假设我有一份馅饼清单。

我想看看是不是所有的馅饼都是山核桃。

所以我看了第一个馅饼，这是樱桃，所以我说这是假的。

我只说当我能证明我的馅饼不是山核桃的时候这是假的。

所以当我没有馅饼的时候，所有的馅饼都不是山核桃。

这是个愚蠢的例子，但这个警告让我有几次

票数 2

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/54975660

复制

相似问题

问为什么allMatch函数在java中的空列表上返回true
EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问为什么allMatch函数在java中的空列表上返回trueEN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问为什么allMatch函数在java中的空列表上返回true
EN