如何将for循环的Seq输出重写为流输出

Question

我尝试将这个Scala函数转换为返回一个惰性流，而不是急切地检索所有结果，并在所有结果都存在时将它们从Seq转换为流。我感觉问题在于(for (I <- 1 to 9;Z <-解(xs)。update (pos, i)， pos)) yield z) toStream。

任何建议都是感激的。我正在寻找的另一个解决方案是在找到它时返回结果。使用这个解决方案，我可能只返回1个结果。由于

isConflictAt(xs.updated(pos, 0), pos, xs(pos)是约束检查函数。

  def solve(xs : List[Int], pos: Int): Stream[List[Int]] = {
    if (!isConflictAt(xs.updated(pos, 0), pos, xs(pos))) {
      val pos = xs.indexOf(0)
      if (pos < 0) {println(xs); Stream(xs) } else (for (i <- 1 to 9; z <- solve(xs.updated(pos, i), pos)) yield z) toStream
    } else Stream.empty
  }

Answer 1

for (i <- 1 to 9; z <- solve(???)) yield z表示(1 to 9).flatMap{i => solve(???)}。请看这个答案

要生成惰性结果，您应该使用(1 to 9).view或(1 to 9).toStream使源(1 to 9)惰性。

试试这个:

scala> def solve(pos: Int): Stream[List[Int]] = {
     |   println(pos)
     |   Stream.fill(3)((1 to pos).map{ _ => util.Random.nextInt}.toList)
     | }
solve: (pos: Int)Stream[List[Int]]
scala> for{
     |   i <- (1 to 9).toStream
     |   z <- solve(i)
     | } yield z
1
res1: scala.collection.immutable.Stream[List[Int]] = Stream(List(-1400889479), ?)
scala> res1.force
2
3
4
5
6
7
8
9