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

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)
}

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))
}

Answer 2

当你写 def test[Option[T]: Ordering]... 时，Option 不是指 scala.Option，它是一个新的类型参数（你可以将其表示为 Option 或 F 任何）。所以

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

实际上是

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

又名

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

这不会编译，因为 T 未定义且 Ordering[F] 没有意义。编译的是

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

我建议打开 scalacOptions += "-Xlint:type-parameter-shadow"。

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

How to define a context bound with a higher kinded Type (Type Constructor)

generics

types

scala

higher-kinded-types

context-bound