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

问题描述

我尝试了以下

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

解决方法

如果您真的坚持使用上下文绑定，则可以编写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))
}

,

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

def test[Option[T]: Ordering](value1: Option[T],value2))
}

实际上是

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

aka

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"。