scala - Stream 中的 isEmpty 方法是否评估整个 Stream？

Question

在 Scala 中，是否调用 isEmtpy Stream 实例上的方法类导致流被完全评估？我的代码是这样的:

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。