用提取器替换案例类继承,保留Scala中的穷举检查

Question

我有一个简单的类层次结构,它表示一个类似于图形的结构,其中有几个不同类型的顶点使用case类实现:

sealed trait Node

sealed abstract case class Vertex extends Node
case class Arc extends Node

case class VertexType1 (val a:Int) extends Vertex
case class VertexType2 (val b:Int) extends Vertex

这允许我写这样的匹配块:

def test (x: Node) = x match {
  case _ : Arc => "got arc"
  case _ : Vertex => "got vertex"
}

或者像这样:

def test (x: Node) = x match {
  case _ : Arc => "got arc"
  case c : Vertex => c match {
    case _ : VertexType1(a) => "got type 1 vertex " + a
    case _ : VertexType2(a) => "got type 2 vertex " + a
  }
}

请注意,此实现具有以下属性:

1)它允许写入区分弧和顶点的匹配块,但不能在特定的顶点类型之间进行区分,还可以匹配区分顶点类型的块.

2)在特定于顶点类型和非顶点类型的匹配块中,检查模式匹配的穷举.

但是,不推荐使用case类继承,并且编译器建议使用提取器来支持非叶节点上的匹配(即,在上面的示例中,区分弧和顶点,但不区分顶点类型).

问题:是否可以在不使用案例类继承的情况下实现类似的类层次结构,但仍然在上面显示的两种用例中都由编译器执行模式穷举检查？

编辑:我已经向VertexType类添加了一个构造函数参数,以便不仅对类型执行匹配.

我目前没有案例类的实现如下:

sealed trait Node

sealed abstract class Vertex extends Node
class Arc extends Node

class VertexType1 (val a:Int) extends Vertex
class VertexType2 (val b:Int) extends Vertex

object VertexType1 {
  def unapply (x : VertexType1) : Some[Int] = Some(x.a)
}

object VertexType2 {
  def unapply (x : VertexType2) : Some[Int] = Some(x.b)
}

和测试代码:

def test (x: Node) = x match {
  case _ : Arc => "got arc" 
  case v : Vertex => v match {
    case VertexType1(a) => "got vertex type 1 " + a 
  }
}

我期望第二个块中的非穷举匹配警告(VertexType2从不匹配),但没有一个.

实际上,在2.9.0-RC3之前的Scala编译器产生了一个我希望看到的警告,但是从RC3开始的版本(包括2.9.0和2.9.0-1)没有,这是相当混乱的.

Answer 1

来自 scala-lang.org 的引用：

如果模式匹配的选择器是密封类的实例，则模式匹配的编译可以发出警告，诊断给定的模式集并不详尽，即有可能在运行时引发 MatchError。