什么时候斯卡拉的理解是懒惰的？

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

对于斯卡拉的理解,没有任何内在的懒惰; 它的语法糖*不会改变你的两个范围的组合将是渴望的事实.

如果你使用view范围的懒惰,理解的结果也是懒惰的:

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-comprehension无关,但是因为当在某种类型的容器上调用flatMap或map(见下文)时,你会在相同类型的容器中找回结果.因此,for-comprehension将保留你所投入的任何懒惰(或缺乏).

*对于类似的东西:

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

Answer 2

懒惰不是来自理解,而是来自收藏本身.您应该研究集合的严格特征.

但是,对于懒惰的:-),这里是一个摘要:Iterator并且Stream是非严格的,就像view任何集合的选定方法一样.所以,如果你想偷懒,一定要.iterator,.view或者.toStream您的收藏第一.