如何定义与更高种类的类型绑定的上下文(类型构造函数) [英] 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))
}

但是不起作用?知道是什么问题吗?

but does not work ? Any idea what's the issue ?

编辑

这当然有用

def test[T](value1: Option[T], value2: Option[T]) (implicit ev: Ordering[Option[T]]) = {
  ev.compare(value1, value2)
}

推荐答案

如果您确实坚持使用上下文绑定，则可以编写lambda类型:

If you really insist on using a context bound you can write a type 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 插件，您应该可以使其变得更整洁:

Or with the kind-projector plugin you should be able to make this a bit cleaner:

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

这篇关于如何定义与更高种类的类型绑定的上下文(类型构造函数)的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！