懒惰的scala中的理解评估

时间:2012-06-12 05:33:42

标签: scala functional-programming immutability lazy-evaluation for-comprehension

我是scala和大多数函数式语言的新手,我现在正试图计算一个数字。我写了代码:

lazy val factors = for(int <- 2 until  math.ceil(math.sqrt(number)).toInt if number%int == 0) yield int

我想知道如果我宣布scala val是懒惰的,那么当我打电话给factors.head时它不会评估整个理解吗?

2 个答案:

答案 0 :(得分:10)

你的factors变量是懒惰的; for理解不是。当您第一次访问factors时,您的for理解将得到全面评估。

在Scala中,for理解仅仅是flatMapmapwithFilter方法调用的糖。因此,如果您的支持数据结构是严格的(例如Range - 您正在使用的那个),那么您的for理解也将是严格的。如果数据结构是惰性的(例如Stream),那么将for理解。

观察差异:

scala> val number = 50
number: Int = 50

scala> lazy val factors = for(int <- 2 until  math.ceil(math.sqrt(number)).toInt if number%int == 0) yield int
factors: scala.collection.immutable.IndexedSeq[Int] = <lazy>

scala> factors.head
res5: Int = 2

scala> factors
res6: scala.collection.immutable.IndexedSeq[Int] = Vector(2, 5)

scala> lazy val factors = for(int <- Stream.range(2, math.ceil(math.sqrt(number)).toInt - 1) if number%int == 0) yield int
factors: scala.collection.immutable.Stream[Int] = <lazy>

scala> factors.head
res7: Int = 2

scala> factors
res8: scala.collection.immutable.Stream[Int] = Stream(2, ?)

答案 1 :(得分:1)

没有。这是完全不同的事情:lazy表示该值是在您第一次访问它时计算的。如果您想要对集合进行延迟计算,则应使用Stream或使用视图。可以使用Stream从集合构建view