Kiedy dokładnie obliczana jest głowa strumienia?

Question

Normalnie po utworzeniu Stream obiekt, szef będzie chętnie oceniane:

scala> Stream({println("evaluating 1"); 1} , 2, 3) 
evaluating 1 
res63: scala.collection.immutable.Stream[Int] = Stream(1, ?) 

Jeśli stworzymy Stream do którego poprzedzić w tym samym oświadczeniu, wydaje się nieco zaskakujące, że szef nie jest oceniana przed konkatenacja. tj

scala> 0 #:: Stream({println("evaluating 1"); 1} , 2, 3) 
res65: scala.collection.immutable.Stream[Int] = Stream(0, ?) 

(#:: jest tuż-asocjacyjne i jest metoda prepend na ConsWrapper, który jest niejawny klasa Stream.)

Jak to nie ocenia jego głowę przed poprzedzenie 0? Czy to jest, że Strumień Ogonowy (lub komórka po) nie istnieje na stercie, dopóki nie przyjmiemy wartości z powstałego strumienia? Ale jeśli tak, jak nazwać metodę #:: na obiekcie, który jeszcze nie istnieje?

Answer 1

-Xprint:typer jest twoim przyjacielem, za każdym razem, gdy chcesz zrozumieć, jak dokładnie kod jest oceniany lub typy są wnioskowane.

scala -Xprint:typer -e '0 #:: Stream({println("evaluating 1"); 1} , 2, 3)' 

val x$1: Int = 0; 
Stream.consWrapper[Int](Stream.apply[Int]({ 
    println("evaluating 1"); 
    1 
}, 2, 3)).#::(x$1) 

Parametrem consWrapper jest według nazwy. Więc nawet to działa:

scala> (1 #:: (sys.error("!!"): Stream[Int])).head 
res1: Int = 1 

Answer 2

Głowa jest oceniana w momencie utworzenia strumienia.

Ale w twoim drugim przykładzie nie przekazujesz Streemy jako drugiego argumentu dla #::, że przekazujesz parametr nazwy, tzn. Całe wyrażenie Stream({println("evaluating 1"); 1} , 2, 3) nie jest w ogóle oceniane.