Stream[Boolean] 中的 foldLeft 提前终止？

Question

我有一个：

val a : Stream[Boolean] = ...

当我按如下方式折叠时

val b = a.foldLeft(false)(_||_)

它会在找到true流中的第一个值时终止吗？如果没有，我该如何做到？

Answer 1

它不会在第一个 true 时终止。您可以使用存在代替：

val b = a.exists(identity)