scala - 如何定义与更高种类的类型绑定的上下文（类型构造函数）

Question

我试过以下

def test[Option[T]: Ordering](value1: Option[T], value2: Option[T]) = {
  val e = implicitly(Ordering[Option[T]].compare(value1, value2))
}

但不起作用？知道有什么问题吗？

编辑

这当然有效

def test[T](value1: Option[T], value2: Option[T]) (implicit ev: Ordering[Option[T]]) = {
  ev.compare(value1, value2)
}

标签： scalagenericstypeshigher-kinded-typescontext-bound

Answer 1

如果您真的坚持使用上下文绑定，您可以编写一个类型 lambda：

def test[T: ({type L[x] = Ordering[Option[x]]})#L](value1: Option[T], value2: Option[T]) = {
  val e = implicitly(Ordering[Option[T]].compare(value1, value2))
}

或者使用kind-projector插件，你应该可以让它更干净一些：

def test[T: Lambda[x => Ordering[Option[x]]]](value1: Option[T], value2: Option[T]) = {
  val e = implicitly(Ordering[Option[T]].compare(value1, value2))
}