Scala：嵌套类型层次结构上的模式匹配

Question

假设我有

sealed trait AlphaNumericChar

sealed trait AlphaChar
case object A extends AlphaNumericChar with AlphaChar
case object B extends AlphaNumericChar with AlphaChar

sealed trait NumericChar
case object One extends AlphaNumericChar with NumericChar
case object Two extends AlphaNumericChar with NumericChar

此结构允许我在 AlphaNumericChar 上进行模式匹配并获取所有 A,B,One,Two 并在 AlphaChar 和 NumericChar 上进行类似的模式匹配并仅获取相关对象。

它不允许我写的是：

def foo(x: AlphaNumericChar) = ???
def bar(x: AlphaChar) = foo(x)

即，仅针对某些类型代理对foo 的调用。我当然可以改写：

def baz(x: AlphaNumericChar with AlphaChar) = foo(x) 

这会起作用，但这可能有点难看。

另一种方法是使 AlphaChar 和 NumericChar 扩展 AlphaNumericChar 但这会弄乱我在 AlphaNumericChar 上的模式匹配，因为我现在必须处理 _:AlphaChar 和 _:NumericChar 除了我的案例对象这是不可取的。

有没有办法让两全其美？即。

• AlphaChar/NumericChar 上的模式匹配条目的详尽列表只有两个元素。
• AlphaNumericChar 上的模式匹配条目的详尽列表只有两个元素。
• 我可以让上面的bar 函数工作，而无需使用baz 语法。

Answer 1

扩展 AlphaNumericChar 应该不是问题。像这样的东西很好用：

sealed trait AlphaNumericChar

sealed trait AlphaChar extends AlphaNumericChar

case object A extends AlphaChar
case object B extends AlphaChar

sealed trait NumericChar extends AlphaNumericChar

case object One extends NumericChar
case object Two extends NumericChar

def foo(x: AlphaNumericChar) = x match {
  case One => println("hi")
  case Two => println("bye")
  case A => println("foo")
  case B => println("bar")
}

def bar(x: AlphaChar) = foo(x)

def aThirdFunction(y: NumericChar) = y match {
  case One => println("eggs")
  case Two => println("beans")
}

foo(One)  // hi
foo(Two)  // bye
foo(A)    // foo
foo(B)    // bar
bar(A)    // foo
bar(B)    // bar
aThirdFunction(One) // eggs
aThirdFunction(Two) // beans

除非我误解了你想要什么？