Question

如果之前已经回答，请指出我正确的链接。

我有这段代码：

def getResult(a:Any):Any = a

def getAnswer[T](i:Int) = {
  val result = getResult(i)
  result match {
    case t:T => Some(t)
    case _ => None
  }
}

这给了我一个unchecked warning，一切都与T匹配。例如，当我getAnswer[Int](2)时，我得到Some(2)（正如预期的那样）。但是，如果我执行getAnswer[String](2)，我也会得到Some(2)这不是预期的（我需要None）。

有没有办法解决类型擦除问题，并以某种方式使getAnswer正常工作（即当且仅当结果类型为Some(result)时，才返回T）？

提前致谢。

Answer 1

def getAnswer[T](i:Any)(implicit m:Manifest[T]) = i match {
    case t:Int if m.erasure == classOf[Int] => Some(t)
    case t:Double if m.erasure == classOf[Double] => Some(t)
    //... other Primitives  
    case t if m.erasure.isInstance(t) => Some(t) //this matches AnyRefs
    case _ => None
}

正如阿列克谢所写，你在原语方面遇到了一些麻烦。在这种情况下，Scala源中使用的技术总是涉及每种原始类型的单独匹配，所以我想没有办法解决。

Answer 2

这有一些限制（T必须是类而不是基本类型;如果T是通用的，则忽略参数。）

def getAnswer[T](i:AnyRef)(implicit m:ClassManifest[T]) = {
  val result = getResult(i)
  if (result.getClass == m.erasure) Some(result.asInstanceOf[T]) else None
}

> getAnswer[java.lang.Integer](2.asInstanceOf[AnyRef])
res4: Option[java.lang.Integer] = Some(2)

getAnswer[String](2.asInstanceOf[AnyRef])
res1: Option[String] = None

我们可以将Any与一般类型匹配吗？ [Scala 2.8]

2 个答案: