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

Question

我正在处理现有的代码：

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[_] => f(s.asInstanceOf[Option[String]] }

我知道它仍然不是类型安全的，但是我们得到了警告，并且该风险现在已明确显示在代码中。 但这更冗长...

那么，您如何看待这种解决方法？ 还有更好的方法吗？

Answer 1

略显冗长的语法可以抑制警告：

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

在这种情况下（ Option[String]匹配），您还可以拥有更安全的版本，如果Option String不是String则该版本将立即失败：

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

Answer 2

我建议改用Shapeless：

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) }