[英]How to define a context bound with a higher kinded Type (Type Constructor)
我已经尝试了以下
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: Option[T]) = {
val e = implicitly(Ordering[Option[T]].compare(value1, value2))
}
当您编写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"
。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.