Scala中的option [Any]模式匹配

Question

我编写了以下代码来查找与键对应的值并将其返回为Double。

def getDouble (key: String, map: HashMap[String, _]) : Double = {
    if (map contains key) {
        val o = map get key
        o match {
          case Some(i: Int) => return i.asInstanceOf[Int].toDouble;
          case Some(d: Double) => return d.asInstanceOf[Double];
          case Some(s: String) 
              => return  augmentString(s.asInstanceOf[String]).toDouble;
          case Some(int) => return o.asInstanceOf[Int].toDouble;
          case Some(double) => return o.asInstanceOf[Double].toDouble;

          case _ => return -1234567.00;
        }
    }
    else {
      return -1234567.00
    }
}

case Some(int)和case Some(i: Int)什么区别？

我是否需要同时使用case Some(int)和case Some(i: Int)来检查类型int？

Answer 1

Some(int)匹配任何Some ，并从Option的内容中声明一个名为Any int类型的变量。 int在这里只是一个标识符，而不是类型。 因此，例如Some("String")将与其匹配，并且在尝试将其作为Int返回时将引发异常。

Some(i:Int)仅在o是int时才匹配，并声明一个名为i的Int类型的变量。 这意味着在这种情况下您不需要asInstanceOf ，因为它已经是Int 。

您想要的代码是这样的：

def getDouble (key: String, map: HashMap[String, _]) : Double = {
  val o = map get key
  o match {
    case Some(i: Int) => i.toDouble;
    case Some(d: Double) => d;
    case Some(s: String) => augmentString(s).toDouble;
    case _ => -1234567.00;
  }
}

这删除

1. asInstanceOf 。 正确匹配类型使它们不必要，并且通常认为它们是不好的做法。
2. 该map contains key检查，因为如果不map contains key检查，它将返回None ，这由case _ =>捕获。
3. 不必要的return 。 由于match是函数中的最后一项，因此它自己的值将自动成为返回值。