我尝试过以下方法
def test[Option[T]: Ordering](value1: Option[T], value2: Option[T]) = {
val e = implicitly(Ordering[Option[T]].compare(value1, value2))
}
但不起作用?知道有什么问题吗?
EDIT
这当然有效
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))
}
或者与善良的投影仪 https://github.com/typelevel/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))
}
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)