scala 的 for 推导式什么时候会变得懒惰？

Question

在Python中，我可以做这样的事情：

lazy = ((i,j) for i in range(0,10000) for j in range(0,10000))
sum((1 for i in lazy))

这需要一段时间，但内存使用是恒定的。

scala 中的相同构造：

(for(i<-0 to 10000; j<-i+1 to 10000) yield (i,j)).count((a:(Int,Int)) => true)

过了一会儿，我得到一个 java.lang.OutOfMemoryError，即使它应该被延迟评估。

Answer 1

Scala 的 for 理解本质上并不是懒惰的。它是语法糖*，不会改变两个范围的组合将是渴望的事实。

如果您使用范围的惰性视图，则理解的结果也将是惰性的：

scala> for(i<-(0 to 10000).view; j<-(i+1 to 10000).view) yield (i,j)
res0: scala.collection.SeqView[(Int, Int),Seq[_]] = SeqViewN(...)

scala> res0.count((a: (Int, Int)) => true)
res1: Int = 50005000

这里的惰性与for理解无关，而是因为当flatMap 或 map （见下文），您会在相同类型的容器中返回结果。因此，for 理解只会保留您输入的内容的惰性（或缺乏）。

---

*对于类似的东西：

(0 to 10000).flatMap(i => (i+1 to 10000).map(j => (i, j)))

Answer 2

懒惰不是来自于理解，而是来自于集合本身。您应该研究集合的严格特征。

但是，对于懒惰的人:-)，这里有一个总结：Iterator 和 Stream 是非严格的，view 的选定方法也是如此。任何集合。因此，如果您想要懒惰，请务必先使用 .iterator、.view 或 .toStream 您的集合。