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

Pin*_*nch 5 scala

我有一个:

val a : Stream[Boolean] = ...
Run Code Online (Sandbox Code Playgroud)

当我按如下方式折叠时

val b = a.foldLeft(false)(_||_)
Run Code Online (Sandbox Code Playgroud)

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

ste*_*tew 3

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

val b = a.exists(identity)
Run Code Online (Sandbox Code Playgroud)