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

时间:2015-06-03 17:53:21

标签: scala pattern-matching type-erasure

我正在处理现有的代码:

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

我知道它仍然不是类型安全的,但我们获得了警告,现在风险显示在代码中。但它更冗长......

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

2 个答案:

答案 0 :(得分: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) }

答案 1 :(得分:0)

我建议使用无形状:

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