模式匹配依赖类型 - 如何避免asInstanceOf？

Question

我在如何完成以下操作时没有作弊和使用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和PA值捆绑在一起......

  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]])
    }

Answer 1

我认为您的问题与jvm typeerasure有关。没有它你的问题可以简化为：

sealed trait Part { type A }
case class P1() extends Part { override type A = String }
case class P2() extends Part { override type A = Int }

trait PartAndA[P <: Part] {
  val p: P
  val a: p.A
}

object PartAndA {
  type Aux[P <: Part] = PartAndA[P]

  def apply(_p: Part)(_a: _p.A): PartAndA[_p.type] =
    new PartAndA[_p.type] {
      override val p: _p.type = _p
      override val a          = _a
    }
}

def fold[A, T: ClassTag](pa: PartAndA[T])(p1: PartAndA[P1] => A,
                          p2: PartAndA[P2] => A): A =
  pa match {
    case s: PartAndA[P1]  => p1(pa) // here P1 is lost, err 
    case i: PartAndA[P2] => p2(pa) // here P2 is lost, err
  }

据我所知，没有比您的或typeTags/classTags更短的 jvm 类型擦除解决方法。