没有案例类的模式匹配

Question

是否可以通过模式匹配来检测非案例类的子类型？

我需要使用现有的 Java 类，所以我不能声明自己的案例类。

Answer 1

是的！您可以在类型上进行模式匹配，因此如果您对不同的子类型有不同的情况，您可以获得您正在寻找的行为：

trait A
class B extends A
class C extends A

def f(a: A) = a match {
  case b: B => "a B!"
  case c: C => "a C!" 
}

f(new B)  // a B!
f(new C)  // a C!