Stream中的isEmpty方法是否評估整個Stream？

Question

在斯卡拉，在Stream類的實例上調用isEmtpy方法是否會導致流被完全評估？我的代碼是這樣的：

import Stream.cons 

private val odds: Stream[Int] = cons(3, odds.map(_ + 2)) 
private val primes: Stream[Int] = cons(2, odds filter isPrime) 

private def isPrime(n: Int): Boolean = n match { 
    case 1 => false 
    case 2 => true 
    case 3 => true 
    case 5 => true 
    case 7 => true 
    case x if n % 3 == 0 => false 
    case x if n % 5 == 0 => false 
    case x if n % 7 == 0 => false 
    case x if (x + 1) % 6 == 0 || (x - 1) % 6 == 0 => true 
    case x => primeDivisors(x) isEmpty 
} 


import Math.{sqrt, ceil} 
private def primeDivisors(n: Int) = 
    primes takeWhile { _ <= ceil(sqrt(n))} filter {n % _ == 0 } 

那麼，這是否調用isEmpty就行case x => primeDivisors(x) isEmpty導致所有的素因子進行評估或只有第一個？

Answer 1

只有當流實際上是空的:)

否則，它只會看是否流有頭和尾（匹配Stream.cons）並返回false。

Answer 2

查看源：

https://lampsvn.epfl.ch/trac/scala/browser/scala/trunk/src///library/scala/collection/immutable/Stream.scala#L550

建議，一旦你有一個Stream.Cons例如，它不能是空的，所以總是返回false。因此，它很可能是Stream.cons工廠方法是評估的第一要素，你可以運行一個命令顯示一個：

Stream.cons(print("Hello"), Stream(print(" World!"))) 

在解釋

，看到這也打印「Hello」。