Обычно, если вы создаете объект Stream
, голова будет с нетерпением оценена:
scala> Stream( {println("evaluating 1"); 1} , 2, 3)
evaluating 1
res63: scala.collection.immutable.Stream[Int] = Stream(1, ?)
Если мы создадим Stream, к которому мы добавим тот же оператор, кажется немного удивительным, что голова не оценивается до конкатенации. то есть.
scala> 0 #:: Stream( {println("evaluating 1"); 1} , 2, 3)
res65: scala.collection.immutable.Stream[Int] = Stream(0, ?)
(#::
является право-ассоциативным и является методом prepend на ConsWrapper
, который является неявным классом Stream
.)
Как это не оценивает свою голову перед тем, как добавить 0? Неужели хвост Stream (или cons cell) не существует в куче, пока мы не примем значения из результирующего потока? Но если это так, как мы называем метод #::
для объекта, который еще не существует?