添加成对差异泛型集合 - 隐分辨率不

Question

好踢，所以我有这样的：

implicit final class RichIterableLike[A, Repr <: IterableLike[A, Repr]](val it: Repr) 
    extends AnyVal { 
    def pairDiff[To](implicit num: Numeric[A], cbf: CanBuildFrom[Repr, A, To]): To = { 
    val b  = cbf(it) 
    val iter = it.iterator 
    if (iter.hasNext) { 
     var pred = iter.next() 
     while (iter.hasNext) { 
     import num.mkNumericOps 
     val succ = iter.next() 
     b += succ - pred 
     pred = succ 
     } 
    } 
    b.result() 
    } 
} 

这将编译，但不踢：

val stabs = IndexedSeq(1.0, 2.0, 3.0) 
stabs.pairDiff 

给出：value pairDiff is not a member of IndexedSeq[Double]

显式转换工作：

new RichIterableLike[Double, IndexedSeq[Double]](stabs).pairDiff 

...如何解决这个问题？

---

编辑

如果我申请的办法of this answer，它的工作原理：

implicit final class RichIterableLike[A, CC[~] <: Iterable[~]](val it: CC[A]) 
    extends AnyVal { 
    def pairDiff[To](implicit num: Numeric[A], cbf: CanBuildFrom[CC[A], A, To]): To = { 
    ... 
} 

但问题仍然存在，有什么关键的差别，使隐性查找踢在后一种情况。

Answer 1

为了隐式查找工作，它需要A和Repr（IterableLike要求链接）之间的链接。您将它作为参数传递，以便参数应输入为Repr[A]。这意味着你需要修改你的签名，以便它会是这个样子：

RichIterableLike[A, Repr[X] <: IterableLike[X, Repr[X]]](val it: Repr[A]) 

使用上述签名你说：

我有一个接受一个类型参数的对象，我会名称对象Repr，当你传递它，我也想捕获类型参数。我将命名该类型参数A。作为一个额外的条件，我希望Repr的类型符合IterableLike的签名