如何在 Scala 2.9.0 中重写 Iterable.flatMap？

Question

我刚刚将一些代码更新到 2.9.0，但遇到了问题。我有一个称为“NonStrictIterable”的特征（本质上，一切都应该尽可能懒惰——NonStrictIterable 本身之外的任何代码都不应运行，直到有人真正请求一个元素）。

然而，在 2.9.0 中，我似乎无法覆盖 flatMap。这是一个精简版本，显示了错误：

import scala.collection.generic.CanBuildFrom

trait NonStrictIterable[A] extends Iterable[A] { self =>
  def iterator: Iterator[A]

  override def flatMap[B, That](f: A => TraversableOnce[B])(implicit bf: CanBuildFrom[Iterable[A], B, That]): That = {
    new NonStrictIterable[B] {
      def iterator = self.iterator flatMap { a: A => f(a).toIterable.iterator }
    }.asInstanceOf[That]
  }
}

这曾经在 2.9.0 之前工作，但现在我得到“方法 flatMap 不覆盖任何内容”。查找 Iterable.flatMap 的方法签名，我发现类型签名中的 TraversableOnce 已更改为 enTraversableOnce。进行相应的更改后，

import scala.collection.GenTraversableOnce
import scala.collection.generic.CanBuildFrom

trait NonStrictIterable[A] extends Iterable[A] { self =>
  def iterator: Iterator[A]

  override def flatMap[B, That](f: A => GenTraversableOnce[B])(implicit bf: CanBuildFrom[Iterable[A], B, That]): That = {
    new NonStrictIterable[B] {
      def iterator = self.iterator flatMap { a: A => f(a).toIterable.iterator }
    }.asInstanceOf[That]
  }
}

我收到编译器错误“错误或无法访问的类型”。

发生什么事了？有人可以提出解决方法吗？

Answer 1

您需要升级到2.9 Final。这是之前 RC 中的一个错误，现已修复。

Answer 2

对我有用。我怀疑您实际上是针对 RC3 中的 scala-library.jar 进行编译。

 ~/code/scalaz[scala-2.9.x*]: scala29
Welcome to Scala version 2.9.0.final (Java HotSpot(TM) 64-Bit Server VM, Java 1.6.0_22).
Type in expressions to have them evaluated.
Type :help for more information.

scala> import scala.collection.GenTraversableOnce
import scala.collection.GenTraversableOnce

scala> import scala.collection.generic.CanBuildFrom
import scala.collection.generic.CanBuildFrom

scala> 

scala> trait NonStrictIterable[A] extends Iterable[A] { self =>
     |  def iterator: Iterator[A]
     | 
     |  override def flatMap[B, That](f: A =>
     | GenTraversableOnce[B])(implicit bf: CanBuildFrom[Iterable[A], B,
     | That]): That = {
     |    new NonStrictIterable[B] {
     |      def iterator = self.iterator flatMap { a: A => f(a).toIterable.iterator }
     |    }.asInstanceOf[That]
     |  }
     | }
defined trait NonStrictIterable