如何解决如何定义与更高种类的类型类型构造函数绑定的上下文
我尝试了以下
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"
。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。