Scala 中嵌套类型的模式匹配

Question

我正在尝试在 Scala 中实现一个有效的枚举。我想使用案例类来做到这一点，以便编译器能够检测到任何非详尽的模式匹配。

这在非常基本的形式中工作得很好，例如：

sealed abstract class HorizontalAlignment
case object Left extends HorizontalAlignment
case object Right extends HorizontalAlignment
case object Center extends HorizontalAlignment
case object AsIs extends HorizontalAlignment
...
def test (x : HorizontalAlignment) = 
  x match {
    case Left => ...
    ...  
  } 

但是这并不理想，因为案例对象的名称很容易发生冲突：

sealed abstract class HorizontalAlignment
case object Left extends HorizontalAlignment
case object Right extends HorizontalAlignment
case object Center extends HorizontalAlignment
case object AsIs extends HorizontalAlignment

sealed abstract class VerticalAlignment
case object Top extends VerticalAlignment
case object Bottom extends VerticalAlignment
case object Center extends VerticalAlignment
case object AsIs extends VerticalAlignment

// "Center" and "AsIs" clash

明显的解决方案是将案例对象放入单独的命名空间中：

sealed abstract class HorizontalAlignment {
  case object Left extends HorizontalAlignment
  case object Right extends HorizontalAlignment
  case object Center extends HorizontalAlignment
  case object AsIs extends HorizontalAlignment
}

sealed abstract class VerticalAlignment {
  case object Top extends VerticalAlignment
  case object Bottom extends VerticalAlignment
  case object Center extends VerticalAlignment
  case object AsIs extends VerticalAlignment
}

但是如何在匹配块中引用这些类？

它们不能用 Java 风格的点引用：

def test (x : HorizontalAlignment) = 
x match {
  case HorizontalAlignment.Left => 0  //  error: not found: value HorizontalAlignment
}

“#”符号似乎也不起作用：

def test (x : HorizontalAlignment) = 
x match {
  case HorizontalAlignment#Left => 0 // error: '=>' expected but '#' found 
}

而且这种形式也不起作用：

def test (x : HorizontalAlignment) = 
x match {
  case _ : HorizontalAlignment#Left => 0  // error: type Left is not a member of Test.HorizontalAlignment
}

这是有道理的，因为“Left”在这种情况下是一个实例而不是类型，并且我怀疑有一种简单的方法来引用该类型。我能达到的最接近的目标是：

sealed abstract class HorizontalAlignment {
  case class Left extends HorizontalAlignment
  case class Right extends HorizontalAlignment
  case class Center extends HorizontalAlignment
  case class AsIs extends HorizontalAlignment

  object Left
  object Right
  object Center
  object AsIs

}

但是，尽管这使得匹配块编译得很好，但我找不到任何方法来实际引用这些对象，例如将此“枚举”的成员传递给函数。这是因为 Horizo​​ntalAlignment 是一种类型而不是对象，因此不可能使用字段访问引用其中一个嵌套对象，另一方面，这些对象不是类型，因此不可能使用“＃“ 象征。

有没有办法从类外部引用嵌套在该类中的对象？

编辑

到目前为止，我发现包对象是解决这个问题的最好方法。

package object HorizontalAlignment  {
  sealed abstract class HorizontalAlignment
  case object Left extends HorizontalAlignment
  case object Right extends HorizontalAlignment
  case object Center extends HorizontalAlignment
  case object AsIs extends HorizontalAlignment
}

package object VerticalAlignment {
  sealed abstract class VerticalAlignment 
  case object Top extends VerticalAlignment 
  case object Bottom extends VerticalAlignment 
  case object Center extends VerticalAlignment 
  case object AsIs extends VerticalAlignment 
}


object Test {
  import HorizontalAlignment.HorizontalAlignment
  import VerticalAlignment.VerticalAlignment 

  def test (x : HorizontalAlignment, y : VerticalAlignment) =  {
    x match {
      case HorizontalAlignment.Left => ...
      ...
    }

    y match {
      case VerticalAlignment.Top => ...
      ...
    }
  }

  def testTest = test (HorizongalAlignment.Left, VerticalAlignment.Top)

然而

，上述问题（访问类中的嵌套对象）仍然存在。

Answer 1

您不必使用包对象，它可能具有一些额外的不需要的语义：常规的旧伴生对象同样好：

sealed trait HorizontalAlignment
object HorizontalAlignment {
  case object Left extends HorizontalAlignment
  case object Right extends HorizontalAlignment
  case object Center extends HorizontalAlignment
  case object AsIs extends HorizontalAlignment
}

scala> def test (x : HorizontalAlignment) = x match {
     |   case HorizontalAlignment.Left => "got left"
     | }

scala> test(HorizontalAlignment.Left)
res0: java.lang.String = got left

您遇到的问题是，由于 Horizo​​ntalAlignment 是一个抽象类，因此没有实例Horizo​​ntalAlignment 的取消引用。使用原始的命名空间公式，您需要实例化一个 Horizo​​ntalAlignment 实例，并且内部对象将特定于该实例。但是，由于 Horizo​​ntalAlignment 是密封的，因此您无法在定义它的编译单元之外的任何其他编译单元中创建这样的实例，因此您的枚举值实际上永远无法通过任何方式获得。

与 Java 不同，没有与类关联的“静态命名空间”；要获得等效的效果，您必须使用伴生对象。

Answer 2

您已经明智地避开了这种结构，但要回答剩下的问题：要引用您没有实例的类的 a 值成员，您将不得不诉诸存在主义。

sealed abstract class HorizontalAlignment {
  case object Left extends HorizontalAlignment
  case object Right extends HorizontalAlignment
  case object Center extends HorizontalAlignment
  case object AsIs extends HorizontalAlignment
}

object Test {
  type LeftOb = x.Left.type forSome { val x: HorizontalAlignment }

  def test(x: HorizontalAlignment): Int = x match {
    case _: LeftOb => 0
  }
}

毫不奇怪（好吧，如果你是我的话，也就不足为奇了）尝试在模式匹配中使用该类型会使编译器崩溃。但原则上这是表达它的方式。

编辑：人们似乎因我指出模式匹配器崩溃而分心。让我以一种不那么仓促的方式说明：a）这是表达相关概念的唯一方法，b）它有效。

sealed abstract class HorizontalAlignment {
  case object Left extends HorizontalAlignment
  case object Right extends HorizontalAlignment
  case object Center extends HorizontalAlignment
  case object AsIs extends HorizontalAlignment
}

object Test {
  type LeftOb = x.Left.type forSome { val x: HorizontalAlignment }

  def f(x: Any) = x.isInstanceOf[LeftOb]

  def main(args: Array[String]): Unit = {
    val ha = new HorizontalAlignment { }
    println(f(ha.Left))
    println(f(ha.Right)) 
  }
}

输出：

true
false