流中的惰性求值？

Question

给定一个lazy val：

scala> lazy val y = {println("Y!"); 200}
y: Int = <lazy>

我尝试将y放入一个Stream中，以确定它是否会被急切地或惰性地评估。

scala> Stream(100, y)
Y!
res4: scala.collection.immutable.Stream[Int] = Stream(100, ?)

显然它是急切地评估的。

除了以下方法，我如何创建一个惰性评估其成员的Stream？

scala> Stream[() => Int](() => 100, () => 200)
res18: scala.collection.immutable.Stream[() => Int] = Stream(<function0>, ?)

scala> res18.map(_())
res19: scala.collection.immutable.Stream[Int] = Stream(100, ?)

scala> res19.last
res20: Int = 200

scala> res19
res21: scala.collection.immutable.Stream[Int] = Stream(100, 200)

- Kevin Meredith

Answer 1

Stream.apply 接受可变参数，Scala 不支持 by-name 可变参数。不过你可以使用 #:: 语法来创建流：

scala> lazy val y = {println("Y!"); 200}
y: Int = <lazy>

scala> val s = 100 #:: y #:: Stream.empty
s: scala.collection.immutable.Stream[Int] = Stream(100, ?)

scala> s.last
Y!
res0: Int = 200

这是因为用于将 #:: 添加到流中的 ConsWrapper 类和隐式转换都采用了按名称传递的参数。

- Travis Brown

Answer 2

特拉维斯是正确的，但只是为了好玩:

scala> implicit def a2f[T](t : => T) : (() => T) = () => t
a2f: [T](t: => T)() => T

scala> def lazyStream[T]( args : (() => T)* ) : Stream[T] = Stream(args:_*).map(_())
lazyStream: [T](args: () => T*)Stream[T]

scala> lazy val y = {println("Y!"); 200}
y: Int = <lazy>

scala> lazyStream(100, y)
res8: Stream[Int] = Stream(100, ?)

scala> res8.last
Y!
res9: Int = 200

- brandon

---

我不确定我想让 1() 开始有意义。 :) - Travis Brown

是的，我肯定应该用“不要真的这样做”的注释来注释这种恶作剧。 - brandon