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”。