scala - 使用依赖于上下文绑定(bind)的选择编写类型类

我的初始代码:

sealed trait Adder[L <: HList, U] extends DepFn2[L, Vector[U]]

object Adder {
  def apply[L <: HList, U: Ordering](implicit adder: Adder[L, U]): Aux[L, U, adder.Out] = adder

  type Aux[L <: HList, U, Out0] = Adder[L, U] { type Out = Out0 }

  implicit def found[T <: HList, U: Ordering]: Aux[Vector[U] :: T, U, Vector[U] :: T] =
    new Adder[Vector[U] :: T, U] {
      type Out = Vector[U] :: T
      def apply(l: Vector[U] :: T, collection: Vector[U]): Out = {
        (l.head ++ collection).sorted :: l.tail
      }
    }

  implicit def notFound[H, T <: HList, U: Ordering, OutT <: HList](implicit ut: Aux[T, U, OutT]): Aux[H :: T, U, H :: OutT] =
    new Adder[H :: T, U] {
      type Out = H :: OutT
      def apply(l: H :: T, collection: Vector[U]): Out = {
        val outT = ut(l.tail, collection)
        l.head :: outT
      }
    }

  implicit def empty[U: Ordering]: Aux[HNil, U, Vector[U] :: HNil] =
    new Adder[HNil, U] {
      type Out = Vector[U] :: HNil
      def apply(l: HNil, collection: Vector[U]): Out = collection :: HNil
    }
}

我发现了一个错误，其中没有上下文绑定(bind)的东西Ordering ，类型通过 notFound 而不是 found 传递，
事后看来，这并不令人惊讶。我试图通过添加来修复错误
没有 Ordering 时应触发的另一个隐式:

  implicit def foundNoOrdering[T <: HList, U]: Aux[Vector[U] :: T, U, Vector[U] :: T] =
    new Adder[Vector[U] :: T, U] {
      type Out = Vector[U] :: T
      def apply(l: Vector[U] :: T, collection: Vector[U]): Out = {
        l.head ++ collection :: l.tail
      }
    }

然而，这导致了foundNoOrdering 和 found 。我怎样才能有不同的代码路径
取决于是否有 Ordering ？

最佳答案

标准技巧是通过将隐含在祖先特征中来降低优先级

object Adder extends LowPriorityAdderImplicits {
   implicit def found...
}

trait LowPriorityAdderImplicits {
  implicit def foundNoOrdering....
}

您会在标准库中找到其中的一些。 LowPriorityImplicits 的名称似乎是惯用的。

在规范中:

SLS §7.2 隐式参数

SLS §6.26.3 :相关位太长，无法完整引用，但您对

有所了解



并衍生出使其更具体并在解决方案中获得优先权。我相信一个是为隐含的。

关于scala - 使用依赖于上下文绑定(bind)的选择编写类型类，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/28924455/