通过摆脱类型参数来修复匹配子句警告

Question

我想实现以下详尽匹配，但我不知道要删除类型参数，因此无法删除它被删除的警告：

sealed trait Q[+V]
case object QEmpty extends Q[Nothing]
sealed trait QNonEmpty[V] extends Q[V] {
  def foo: V
}
final class QLeaf[V](val foo: V) extends QNonEmpty[V]
final class QNode[V](val foo: V, var children: Array[Q[V]]) extends QNonEmpty[V]

def test[V](n: Q[V]): String = n match {
  case QEmpty          => "empty"
  case n: QNonEmpty[V] => n.foo.toString  // warning: type parameter V is erased
}

在我的具体情况下，case n 匹配的主体非常大，我不想添加更多匹配子句，以便我匹配 QLeaf 和 QNode（因为在我的具体情况下，有两个以上的子类，它们也是可变的，因此不应该是案例类）。解析的类型必须是QNonEmpty[V]，不能是QNonEmpty[_]。

我可以为QNonEmpty 创建一个同时匹配QLeaf 和QNode 的提取器吗？

Answer 1

您可以使用存在类型来匹配带有已擦除参数的类型：

type AnyNonEmpty = QNonEmpty[X] forSome { type X }

in match {
  case x: AnyNonEmpty => //...
}

提取器可能如下所示：

object QNonEmpty {
  def unapply(in: QNonEmpty[_]): Option[Any] = Some(in.foo)
}

def test[ V ]( n: Q[ V ]) : String = n match {
   case QEmpty => "empty"
   case QNonEmpty(foo) => foo.toString
}

我认为您不能编写类型安全的提取器，因为在您的示例代码中，该方法的类型参数也被删除了。 也许你应该考虑在你的 trait 中添加一个 fold 方法并像这样重写你的示例：

sealed trait Q[ +V ] {
  def fold[A](e: => A, f: V => A): A = e
}

case object QEmpty extends Q[ Nothing ]

sealed trait QNonEmpty[ V ] extends Q[ V ] {
  def foo: V
  override def fold[A](e: => A, f: V => A) = f(foo)
}

// ...

def test[V](n: Q[V]) = n.fold("empty", _.toString)