scala - 带有类型标记的集合在扩展方法中无法识别

Question

我想使用 tagged types指示集合是否已排序。例如:

type Tagged[U] = { type Tag = U }
type @@[T, U] = T with Tagged[U]

class Tagger[U] {
  def apply[T](t : T) : T @@ U = t.asInstanceOf[T @@ U]
}
def tag[U] = new Tagger[U]

trait Sorted

现在我想定义一个需要对集合进行排序的方法:

implicit final class RichIndexedSeq[A, CC <: IndexedSeq[A]](val sq: CC) 
  extends AnyVal {

  /** Nearest percentile (rounded index, no interpolation). */
  def percentile(n: Int)(implicit sorted: CC <:< Tagged[Sorted]): A = 
    sq((sq.size * n - 50) / 100)
}

我更愿意将标记检查作为隐式证据参数，因为将有其他方法进入 RichIndexedSeq，而没有该约束。

不过，我一定是做错了什么。我希望这会起作用:

val x = Vector.fill(10)((math.random * 100).toInt)
val y = tag[Sorted](x.sorted)

但事实并非如此:

y.percentile(50)

<console>:44: error: value percentile is not a member of 
                     @@[scala.collection.immutable.Vector[Int],Sorted]
              y.percentile(50)
                ^

问题一定出在扩展方法的间接寻址上，因为它有效:

implicitly[Vector[Int] @@ Sorted <:< Tagged[Sorted]]

Answer 1

implicit final class RichIndexedSeq[A, CC[_] <: IndexedSeq[_]](val sq: CC[A] @@ Sorted)
  extends AnyVal {

  def percentile(n: Int) = 
    sq((sq.size * n - 50) / 100)
}