集合中通用多态数据的上下文边界

Question

我有简化的情况：

abstract sealed trait Top
class A[T] extends Top
class B[T] extends Top

class Typeclass[T]
implicit def a[T] = new Typeclass[A[T]]
implicit def b[T] = new Typeclass[B[T]]

现在我有一个 Map[String, Top] 并希望对映射中的所有值使用操作，这些值需要存在 Typeclass 的实例才能在上下文中可用。这将无法编译，因为映射中值的具体类型从其类型中不可见，因此我无法为它们设置上下文绑定。

有没有办法告诉编译器事实上总会有一个可用的实例？在这个例子中，这是因为有隐式函数为Top 的每个具体子类型生成这些实例。

或者是使用 HList 并递归其类型的唯一解决方案，要求所有实例都在上下文中？

Answer 1

我建议在这种情况下对 Oleg 的 Existentials as universals 的这种改编使用一些变体......将类型类实例与其实例的值一起打包，

abstract sealed trait Top
class A[T] extends Top
class B[T] extends Top

class Typeclass[T]
implicit def a[T] = new Typeclass[A[T]]
implicit def b[T] = new Typeclass[B[T]]

trait Pack {
  type T <: Top
  val top: T
  implicit val tc: Typeclass[T]
}

object Pack {
  def apply[T0 <: Top](t0: T0)(implicit tc0: Typeclass[T0]): Pack =
    new Pack { type T = T0 ; val top = t0 ; val tc = tc0 }
}

val m = Map("a" -> Pack(new A[Int]), "b" -> Pack(new B[Double]))

def foo[T: Typeclass](t: T): Unit = ()

def bar(m: Map[String, Pack], k: String): Unit =
  m.get(k).map { pack =>
    import pack._ // imports T, top and implicit tc
    foo(top)      // instance available for call of foo
  }

bar(m, "a")

Answer 2

正如评论中所讨论的，在Top 上定义类型类会更方便，并且可以通过模式匹配来完成。

假设类型类的部分定义是

def f[T](t: T): FResult[T], 

你有相应的实现

def fOnA[T](t: A[T]): FResult[A[T]] = ...
def fOnB[T](t: B[T]): FResult[B[T]] = ...

然后你可以定义

def fOnT(t: Top) : FResult[Top] = t match {
  case a: A[_] => fOnA(a) 
    // provided an FResult[A[T]] is an FResult[Top], 
    // or some conversion is possible
  case b: B[_] => fOnB(b)
}

如果调用泛型方法既合法又安全，例如 fOnA[T] 与存在（a 匹配 A[_]）

但是，考虑到存在的信息减少，可能很难让编译器相信您传递给f 的参数或您得到的结果是好的。如果是这样，请张贴您需要的签名。