为什么我的集合模式匹配在 Scala 中失败？

Question

我的代码如下，

  val hash = new HashMap[String, List[Any]]
  hash.put("test", List(1, true, 3))
  val result = hash.get("test")
  result match {
    case List(Int, Boolean, Int) => println("found")
    case _ => println("not found")
  }

我希望打印“找到”，但打印“未找到”。我试图匹配任何具有 Int、Boolean、Int 类型三个元素的列表

Answer 1

您正在检查包含伴随对象的列表 Int 和 布尔值。这些与类 Int 和 布尔值。

请改用键入模式。

val result: Option[List[Any]] = ...
result match {
  case Some(List(_: Int, _: Boolean, _: Int)) => println("found")
  case _                                      => println("not found")
}

Scala 参考，第 8.1 节描述了您可以使用的不同模式。

Answer 2

第一个问题是 get 方法返回一个 Option：

scala>   val result = hash.get("test")
result: Option[List[Any]] = Some(List(1, true, 3))

因此您需要匹配 Some(List(...)) ，而不是List(...)。

接下来，您将再次检查列表是否包含对象 Int、Boolean 和 Int，而不是是否包含类型再次为 Int、Boolean 和 Int 的对象。

Int 和 Boolean 都是类型和对象同伴。考虑：

scala> val x: Int = 5
x: Int = 5

scala> val x = Int
x: Int.type = object scala.Int

scala> val x: Int = Int
<console>:13: error: type mismatch;
 found   : Int.type (with underlying type object Int)
 required: Int
       val x: Int = Int
                    ^

所以正确的匹配语句是：

case Some(List(_: Int, _: Boolean, _: Int)) => println("found")

Answer 3

以下也适用于 Scala 2.8

List(1, true, 3) match {
  case List(a:Int, b:Boolean, c:Int) => println("found")
  case _ => println("not found")
}