5
我在如何完成以下操作而没有作弊和使用asInstanceOf
上画了一个空白。模式匹配依赖类型 - 如何避免asInstanceOf?
说我有一些任意密封类型的对象,每个都有自己的类型成员。
sealed trait Part { type A }
case object P1 extends Part { override type A = String }
case object P2 extends Part { override type A = Int }
现在说我捆绑P和P.A值一起...
trait PartAndA {
val p: Part
val a: p.A
}
object PartAndA {
type Aux[P <: Part] = PartAndA {val p: P}
def apply(_p: Part)(_a: _p.A): Aux[_p.type] =
new PartAndA {
override val p: _p.type = _p
override val a = _a
}
}
我怎样才能安全地完成与疲惫检查和无需人工强制转换以下?
def fold[A](pa: PartAndA)(p1: PartAndA.Aux[P1.type] => A,
p2: PartAndA.Aux[P2.type] => A): A =
pa.p match {
case P1 => p1(pa.asInstanceOf[PartAndA.Aux[P1.type]])
case P2 => p2(pa.asInstanceOf[PartAndA.Aux[P2.type]])
}
啊是的,如果我在'pa'上匹配,那么会是这种情况,但是'pa.p'是具体的,我们可以在没有擦除问题的情况下进行匹配。我只是不知道如何构建一个证明,说如果我知道'pa.p'类型,那么我知道'PartAndA.Aux'类型。 – Golly