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]匹配），您还可以拥有更安全的版本，如果String中不包含Option以外的其他内容，则会立即失败：

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

Answer 2

我建议使用无形状：

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

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

2 个答案: