我有一个简单的类层次结构,它表示一个类似图形的结构,其中包含使用案例类实现的几种不同类型的顶点:
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) 在特定于顶点类型和非特定于顶点类型的匹配块中,检查模式匹配的穷举性。
但是,不推荐从案例类继承,并且编译器建议使用提取器来支持非叶节点上的匹配(即,在上面的示例中,区分弧和顶点,但不区分顶点类型)。
问题:是否可以在不使用案例类继承的情况下实现类似的类层次结构,但在上面显示的两个用例中仍然由编译器执行模式详尽性检查?
编辑:我在 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)不会,这相当令人困惑。