如何解决类型的发散隐式扩展

Question

我想让我的案例类 Event[K, V] 始终按键 K 排序。但我需要能够比较不同值的事件V。如何解决这种发散的隐式展开？

import scala.math.Ordering

object Event {
  case class Event[K, V](key: K, value: V)
    (implicit o: Ordering[K]) extends Ordered[Event[K, _]] {
      override def compare(that: Event[K, _]): Int = o.compare(key, that.key)
    }
}

object Main extends App {
  // mimicking a librarys function 
  def lala[O](e: O)(implicit ordering: Ordering[O]) = ???

  val b = Event.Event("a", 12) <= Event.Event("a", 11.99)    
  lala(Event.Event("a", 12))
}

由于这种发散的隐式扩展，对lala 的调用无法编译：

diverging implicit expansion for type   
scala.math.Ordering[Event.Event[String,Int]] starting with method $conforms 
in object Predef lala(Event.Event("a", 12))

Answer 1

如果您的库方法期望您的类型有一个 Ordering 实例，则您应该提供该类型的扩展 Ordered，从编译器的角度来看，它完全被低估了。请尝试以下方法：

case class Event[K, V](key: K, value: V)

object Event {
  implicit def eventOrdering[K, V](implicit o: Ordering[K]) =
    new Ordering[Event[K, V]] {
      // ...
    }
}