Scala 模式匹配和逻辑不匹配

Question

我有:

 x match { 
  case a: SomeType => doSomething()
  case _ => doSomethingElse()
 }

有没有办法检查“a”是否属于给定类型？

像这样:

x match { 
  case !(a: SomeType) => doSomething()
  case _ => doSomethingElse()
}

编辑:我同意这个问题可能不是很清楚，但我的兴趣主要是合乎逻辑的不是，并且已经得到了回答。

Answer 1

像这样的东西:

x match { 
  case a: if !a.isInstanceOf[MyFirst] => doSomething()
  case b: MySecond => doSomething()
  case _ => doSomethingElse()
}