Scala 集合中泛型多态数据的上下文边界
我有一个简化的情况：Scala 集合中泛型多态数据的上下文边界,scala,generics,polymorphism,implicit,Scala,Generics,Polymorphism,Implicit,我有一个简化的情况： 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]] 现在我有了一个映射[String，Top]，并希望对映射中所有需要在上下文中提供Typeclass实例的值使用一个操作。这不会编译，
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]]
映射[String，Top]TypeclassTop或者是使用
HListTopdef 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)
}
aa[\u]然而，考虑到存在式的简化信息，可能很难让编译器相信传递给
fabstract 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")
abstract
A类[T]扩展到顶部
B类[T]扩展到顶部
类别类别类别[T]
隐式定义a[T]=新类型类[a[T]]
隐式定义b[T]=新类型类[b[T]]
特征包{
T型包装（新B型[双]）
def foo[T:Typeclass]（T:T）：单位=（）
def条（m:Map[String，Pack]，k:String）：单位=
m、 get（k）.map{pack=>
导入包。\导入T、顶部和隐式tc
foo（top）//实例可用于调用foo
}
酒吧（m，“a”）
TypeclassTABTopABttfOnAfOnBTfOnT