嵌套懶理解

Question

我有一個深深的「嵌套」的理解，簡化到3層以下：x，y和z。我希望做只有X A Stream將使y和z計算懶惰太：

val stream = for { 
    x <- List(1, 2, 3).toStream 
    y <- List("foo", "bar", "baz") 
    z = { 
    println("Processed " + x + y) 
    x + y 
    } 
} yield z 

stream take (2) foreach (doSomething) 

但這種計算所有3個元素，由3個打印證明。我只想計算前兩個，因爲這些都是我從流中提取的。我可以通過在第二個List等上調用toStream來解決此問題。有沒有更好的方法比在理解的每個級別上調用？

Answer 1

它所打印的是：

Processed 1foo 
Processed 1bar 
Processed 1baz 
stream: scala.collection.immutable.Stream[String] = Stream(1foo, ?) 

scala> stream take (2) foreach (println) 
1foo 
1bar 

一個Stream的頭始終嚴格評估，這就是爲什麼你看到Processed 1foo等，而不是Processed 2foo等，當你創建流，或者更準確地說這是印，當stream的頭被評估。

你是對的，如果你只希望逐個處理每個結果元素，那麼所有的生成器都必須是流。如下例所示，您可以通過讓Streams開始，呼叫toStream。

stream是Stream[String]，它的頭部需要評估。如果你不想急於計算值，你既可以在前面加上一個虛擬值，或更好的，讓你的價值streamlazy：

lazy val stream = for { 
    x <- Stream(1, 2, 3) 
    y <- Stream("foo", "bar", "baz") 
    z = { println("Processed " + x + y); x + y } 
} yield z 

這並不做任何「處理」，直到你把每價值：

scala> stream take 2 foreach println 
Processed 1foo 
1foo 
Processed 1bar 
1bar