在 Scala 中创建一个以正确类型包装 map() 的隐式函数：不适合胆小的人

Question

我正在尝试实现一个隐式函数mapMetered，它包装了map，并且在返回正确类型方面与它完全一样。我试过这个：

implicit class MeteredGenTraversablePimp[T, C[T] <: GenTraversable[T]](trav: C[T]) {
  def foreachMetered(m: Meter)(f: T => Unit) =
    m.foreach(trav)(f)

  def mapMetered[B, That](m: Meter)(f: (T) => B)(
    implicit bf: CanBuildFrom[C[T], B, That]
  ): That = {
    m.start()
    try {
      trav.map { x =>
        val z = f(x)
        m.item_processed()
        z
      } (bf)
    } finally { m.finish() }
  }
}

但是当我尝试这个时，我得到一个错误：

[info] Compiling 1 Scala source to /Users/benwing/devel/textgrounder/target/classes...
[error] /Users/benwing/devel/textgrounder/src/main/scala/opennlp/textgrounder/util/metering.scala:223: type mismatch;
[error]  found   : scala.collection.generic.CanBuildFrom[C[T],B,That]
[error]  required: scala.collection.generic.CanBuildFrom[scala.collection.GenTraversable[T],B,That]
[error]         } (bf)
[error]            ^
[error] one error found

有类似的 Stack Overflow 问题，包括 Daniel Sobral 提出的一个问题，他建议写 (trav: C[T] with GenTraversableLike[T])，但这并不能解决问题。

Answer 1

CanBuildFrom 和 *Like 集合类型中的 Repr 参数已经用于表示最精确的集合类型。 您的问题的解决方案是包装 GenTraversableLike[A,Repr] 而不是 C[T]。 编译器会推断出确切的类型为Repr，一切都会完美无缺：

implicit class MeteredGenTraversablePimp[A, Repr](trav: GenTraversableLike[A,Repr]) {
  def foreachMetered(m: Meter)(f: A => Unit) = {
    m.start()
    try {
      trav.foreach{ e => f( e ); m.item_processed() }
    } finally {
      m.finish()
    }
  }

  def mapMetered[B, That](m: Meter)(f: A => B)(
    implicit bf: CanBuildFrom[Repr, B, That]
  ): That = {
    m.start()
    trav.map { x: A =>
      try {
        val z: B = f(x)
        m.item_processed()
        z
      } finally { m.finish() }
    }(bf)
  }
}