如何解决Scala中的模式匹配和类型擦除

我正在处理一段现有的代码：

def f(s: Option[String]) = …
def matchAny(a: Any) = a match { case s: Option[String] => f(s) }

编译器警告我（这是正常的，因为它不是类型安全的）

我知道它仍然不是类型安全的，但是我们得到了警告，风险现在在代码中显式地出现了。但它更冗长

---

那么，你觉得这个解决方法怎么样？还有更好的方法吗？

稍微减少抑制警告的冗长语法：

def matchAny(a: Any) = a match { case s: Option[String@unchecked] => f(s) }

在这种情况下（

Option[String]

matching），您还可以使用更安全的版本，如果

选项中有
String
以外的内容，该版本将立即失败：

def matchAny(a: Any) = a match { case s@(None | Some(_: String)) => f(s) }

我建议改为使用无形状：

import shapeless._
def f(s: Option[String]) = Some("hello world")
val optionType: TypeCase[Option[String]] = TypeCase[Option[String]]
def matchAny(a: Any) = a match { case optionType(s) => f(s) }

import shapeless._
def f(s: Option[String]) = Some("hello world")
val optionType: TypeCase[Option[String]] = TypeCase[Option[String]]
def matchAny(a: Any) = a match { case optionType(s) => f(s) }