2

@specialized下面的特征在没有注释或没有方法的情况下编译得很好map。否则，它将因编译错误而失败，这没有多大意义（至少对我而言）：

[error] (compile:compile) scala.tools.nsc.symtab.Types$TypeError: type mismatch;
[error]  found   : U(in method foreach)(in method foreach)
[error]  required: U(in method foreach)(in method foreach)

这就是我所说的特质：

trait Tuple2Traversable[@specialized(Int, Byte) +A, @specialized(Int, Byte) +B] {

  def foreach[T](fn: (A, B) => T)

  def map[T](fn: (A, B) => T): Traversable[T] = new Traversable[T] {
    def foreach[U](f: T => U) {
      def composed(a: A, b: B) = f(fn(a, b))
      Tuple2Traversable.this.foreach(composed)
    }
  }

  def flatMap[T](fn: (A, B) => Traversable[T]): Traversable[T] = new Traversable[T] {
    def foreach[U](f: (T) => U) {
      def composed(a: A, b: B) = fn(a, b).foreach(f)
      Tuple2Traversable.this.foreach(composed)
    }
  }

  def filter(included: (A, B) => Boolean): Tuple2Traversable[A, B] = new Tuple2Traversable[A, B] {
    def foreach[T](fn: (A, B) => T) {
      def composed(a: A, b: B) = if (included(a, b)) fn(a, b)
      Tuple2Traversable.this.foreach(composed)
    }
  }

  def foldLeft[T](z: T)(fn: (T, A, B) => T): T = {
    var current = z
    def op(a: A, b: B) {
      current = fn(current, a, b)
    }
    foreach(op)
    current
  }

  def asTraversable = new Traversable[(A, B)] {
    def foreach[U](f: ((A, B)) => U) {
      def tupled(a: A, b: B) = f((a, b))
      Tuple2Traversable.this.foreach(tupled)
    }
  }

}

我已经盯着这个看了一段时间了。任何有关如何解决此问题的建议将不胜感激。

也许我应该补充一点，这个类的目的是拥有一个 Traversable 元组，而不是强制创建这些元组。ATraversable[(A,B)]会接受 a Tuple2[A,B] => T作为 的参数foreach。我希望我的“可遍历”接受一个函数(A, B) => T。（如def fn(a: Int, b: Int) = a + b。）

4

1 回答 1

2

看起来像一些内部编译器错误。我在 scala 2.9.2 中遇到了同样的错误，但它在 scala 2.10-RC2 中编译得很好

于 2012-11-22T11:47:54.623 回答