1

为什么这段代码对列表和向量工作正常，但对 WrappedString 失败？

implicit class TraversableExt[A, CC[A] <: TraversableLike[A, CC[A]]](lst: CC[A]) {
  def filterPairs(f: (A, A) => Boolean)(implicit bf: CanBuildFrom[CC[A], A, CC[A]]): CC[A] = {
    def filterPairs(lst: TraversableLike[A, CC[A]], result: Builder[A, CC[A]]): CC[A] = {
      if(lst.isEmpty) result.result
      else if(lst.tail.isEmpty) (result += lst.head).result
      else if(!f(lst.head, lst.tail.head)) filterPairs(lst.tail, result)
      else filterPairs(lst.tail, result += lst.head)
    }
    filterPairs(lst, bf())
  }
}
println(List(1,2,2,3).filterPairs(_ != _))

如果我显式调用该方法

println(TraversableExt(new WrappedString("hi thhere")).filterPairs(_ != _))

我收到这个错误

error: inferred type arguments [Char,scala.collection.AbstractSeq] do not conform to method TraversableExt's type parameter bounds [A,CC[A] <: scala.collection.TraversableLike[A,CC[A]]]
println(TraversableExt(new WrappedString("hi thhere")).filterPairs(_ != _))
4

1 回答 1

3

[A, CC[A] <: TraversableLike[A, CC[A]]](lst: CC[A])

WrappedString是TraversableLike[Char, WrappedString]。WrappedString没有类型参数，所以它不能是CC[A].

你可以使用IsTraversableOnce：

import collection.generic.{IsTraversableOnce, CanBuildFrom}
import collection.GenTraversableOnce

class TraversableExt[A, Repr](val lst: GenTraversableOnce[A]) {
  def filterPairs[That](f: (A, A) => Boolean)(implicit cbf: CanBuildFrom[Repr, A, That]): That = {
    val b = cbf()
    var prev: Option[A] = None
    for ( e <- lst ) {
      for {
        pr <- prev
        if f(pr, e)
      } b += pr
      prev = Some(e)
    }
    b ++= prev
    b.result
  }
}
implicit def toTraversableExt[Repr](coll: Repr)(implicit tr: IsTraversableOnce[Repr]) =
  new TraversableExt[tr.A, Repr](tr.conversion(coll))

scala> List(1,2,2,3).filterPairs(_ != _)
res0: List[Int] = List(1, 2, 3)

scala> "abbcccddddeaa".filterPairs(_ != _)
res1: String = abcdea
于 2013-05-16T14:48:05.763 回答