模式匹配依賴類型 - 如何避免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類型的擦除有關 。 沒有它你的問題可以簡化為：

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
  }

根據我的知識，jvm類型擦除沒有更短（比你的或帶有typeTags / classTags ）的解決方法。