Java-Stream - 行为差异：空 stream 的 anyMatch 与 allMatch 和 noneMatch

Question

虽然Stream#anyMatch为空 stream 返回false ，但Stream#allMatch和Stream#noneMatch为空 stream 返回true 。

为什么空 Stream 的allMatch anyMatch noneMatch的行为不同？

Answer 1

Stream#anyMatch在 stream 的元素上评估谓词的存在量化。 对于空集，存在量化总是评估为false 。

另一方面， Stream#allMatch评估 stream 元素上谓词的全称量化， Stream#noneMatch评估 stream 元素上否定谓词的全称量化。 对于空集，全称量化总是为true 。